Strengthening property preservation in concurrent real-time systems

Proceedings - 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2006

Volumn , Issue , 2006, Pages 106-109

  Florescu, Oana ^a   Huang, Jinfeng ^a   Voeten, Jeroen ^a   Corporaal, Henk ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; MATHEMATICAL MODELS;

MODEL SYNTHESIS; OBSERVABLE ACTIONS; PROPERTY PRESERVATION;

REAL TIME SYSTEMS;

EID: 34249890280     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2006.58     Document Type: Conference Paper

References (13)

1. Telelogic TAU2. http://www.telelogic.com/corp/products/tau/index.cfm.
2. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-235, 1994.
3. O. Florescu, J. Huang, J. Voeten, and H. Corporaal. Towards stronger property preservation in real-time systems synthesis. Technical Report ESR-2006-02, 2006.
4. M. G. Geilen. Formal Techniques for Verification of Complex Real-Time Systems. PhD thesis, Eindhoven University of Technology, 2002.
5. T. A. Henzinger, Z. Manna, and A. Pnueli. An Interleaving Model for Real Time. In Proc. of the 5th Jerusalem Conference on Information Technology, pages 717-730, 1990.
6. J. Huang, J. Voeten, and M. Geilen. Real-time property preservation in concurrent real-time systems. In Proc. of 10th RTCSA, 2004.
7. J. Huang, J. P. Voeten, A. Ventevogel, and L. J. van Bokhoven. Platform-independent design for embedded real-time systems. In Proc. of FDL, 2003.
8. R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.
9. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proc. of the Real-Time: Theory in Practice, REX Workshop, 1992.
10. X. Nicollin and J. Sifakis. The algebra of timed processes ATP: Theory and application. Information and Computation, 114(1):131-178, 1994.
11. POOSL. http://www.es.ele.tue.nl/poosl.
12. L. J. van Bokhoven, J. P. Voeten, and M. C. Geilen. Software synthesis for system level design using process execution trees. In Proc. of 25th Euromicro Conference, 1999.
13. M. D. Wulf, L. Doyen, and J.-F. Raskin. Systematic implementation of real-time models. LNCS 3582. Springer, 2005.