12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06)
Strengthening Property Preservation in Concurrent Real-Time Systems
Sydney, Australia
August 16-August 18
ISBN: 0-7695-2676-4
Oana Florescu, Eindhoven University of Technology, The Netherlands
Jinfeng Huang, Eindhoven University of Technology, The Netherlands
Jeroen Voeten, 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