Characterization of the expressive power of silent transitions in timed automata
Fundamenta Informaticae
TIMES - A Tool for Modelling and Implementation of Embedded Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Bridging the gap between timed automata and bounded time petri nets
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Specification and verification of real-time systems using the POLA tool
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |
Real-time systems are becoming more and more complex, making it hard for the industrial community to actually use experimental tools which are able to resolve some of the specification and verification issues of such systems. This work presents a tool which automatically transforms a domain specific language for the specification of real-time systems into its corresponding time Petri net semantics together with some related logical formulas. Consequently, the validity of the generated formulas are automatically checked with regard to the generated model using the TINA model checking toolbox. Using this automatic tool chain, the users can check the validity of real-time systems without any prerequisite knowledge of how it actually was accomplished.