loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
ASCII Text
x 
 
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal, "Strengthening Property Preservation in Concurrent Real-Time Systems," Real-Time Computing Systems and Applications, International Workshop on, pp. 106-109, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.2006.58,
author = {Oana Florescu and Jinfeng Huang and Jeroen Voeten and Henk Corporaal},
title = {Strengthening Property Preservation in Concurrent Real-Time Systems},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {2006},
issn = {1533-2306},
pages = {106-109},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2006.58},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - Strengthening Property Preservation in Concurrent Real-Time Systems
SN - 1533-2306
SP106
EP109
A1 - Oana Florescu,
A1 - Jinfeng Huang,
A1 - Jeroen Voeten,
A1 - Henk Corporaal,
PY - 2006
KW - null
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
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.