67 search results - page 6 / 14 » Scenario-based verification of real-time systems using Uppaa... |
ENTCS
2006
13 years 6 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
CAV
2003
Springer
13 years 10 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
WORDS
2005
IEEE
14 years 8 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
ISORC
2000
IEEE
13 years 10 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...