loading...
Strengthening Property Preservation in Concurrent Real-Time Systems
Sydney, Australia August 16-August 18
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.2006.5812th IEEE International Conference on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Oana Florescu, Eindhoven University of Technology, The Netherlands
Jinfeng Huang, Eindhoven University of Technology, The Netherlands
Jeroen Voeten, Eindhoven University of Technology, The Netherlands
Henk Corporaal, Eindhoven University of Technology, The Netherlands
To build a "correct" implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its corresponding implementation. In this paper, the behaviour of a system is described with timed action sequences. Based on a notion of distance that expresses the observable property preservation between timed action sequences, we show that a stronger observable property preservation between model and implementation is obtained when urgency on the execution of observable actions is imposed over the execution of unobservable ones. Furthermore, we present a model synthesis approach and, by means of a case study, we show how it can be applied in the synthesis of real-time systems.
Citation:
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal, "Strengthening Property Preservation in Concurrent Real-Time Systems," rtcsa, pp.106-109, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.