Add to ORKGThis thesis is aimed to specify and implement multi-purpose framework able to deal with graphical real-time system specification. This tool allows to use arbitrary verification approach to resulting system model check. Description of basic formal specification methods based on mathematic logic is done. Some well-known hierarchical graphical specifications for real-time systems are depictured. Author proposed suitable cases for functionality examination of resulting framework
The tool Moby/RT supports the design of realtime systems at the levels of requirements, design speci...
A modeling and specification method for real-time, reactive systems is described. Modeling is perfor...
The importance of real-time systems has enormously increased in the last decade. Application areas t...
The complexity and requirements of embedded real-time systems have reached the limit where current d...
This title is devoted to presenting some of the most important concepts and techniques for describin...
Formal methods are becoming mature enough to be used on non trivial examples. They are particularly ...
Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly w...
The development of digital systems is particularly challenging, if their correctness depends on the ...
Abstract: Aiming at the requirements specification and related checking of embedded real-time softwa...
The purpose of this document is to provide a complete description of Uppaal, including its theoretic...
AbstractThis paper studies the relations between two specification formalisms and verification metho...
Concurrent real-time systems are among the most difficult systems to design because of the many poss...
This paper is about modeling and verification languages with their pros and cons. Modeling is dynami...
Abstract The task of checking if a computer system satisfies its timing specifications is extremelyi...
The methodology of system reąuirements verification presented in this paper is a proposition of a pr...
The tool Moby/RT supports the design of realtime systems at the levels of requirements, design speci...
A modeling and specification method for real-time, reactive systems is described. Modeling is perfor...
The importance of real-time systems has enormously increased in the last decade. Application areas t...
The complexity and requirements of embedded real-time systems have reached the limit where current d...
This title is devoted to presenting some of the most important concepts and techniques for describin...
Formal methods are becoming mature enough to be used on non trivial examples. They are particularly ...
Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly w...
The development of digital systems is particularly challenging, if their correctness depends on the ...
Abstract: Aiming at the requirements specification and related checking of embedded real-time softwa...
The purpose of this document is to provide a complete description of Uppaal, including its theoretic...
AbstractThis paper studies the relations between two specification formalisms and verification metho...
Concurrent real-time systems are among the most difficult systems to design because of the many poss...
This paper is about modeling and verification languages with their pros and cons. Modeling is dynami...
Abstract The task of checking if a computer system satisfies its timing specifications is extremelyi...
The methodology of system reąuirements verification presented in this paper is a proposition of a pr...
The tool Moby/RT supports the design of realtime systems at the levels of requirements, design speci...
A modeling and specification method for real-time, reactive systems is described. Modeling is perfor...
The importance of real-time systems has enormously increased in the last decade. Application areas t...