loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'04)
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata
Budapest, Hungary
October 21-October 23
ISBN: 0-7695-2232-7
ASCII Text
x 
 
Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz, "Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata," Distributed Simulation and Real-Time Applications, IEEE International Symposium on, pp. 188-195, Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/DS-RT.2004.39,
author = {Mostefa Belarbi and Jean-Philippe Babau and Jean-Jacques Schwarz},
title = {Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata},
journal ={Distributed Simulation and Real-Time Applications, IEEE International Symposium on},
volume = {0},
year = {2004},
issn = {1550-6525},
pages = {188-195},
doi = {http://doi.ieeecomputersociety.org/10.1109/DS-RT.2004.39},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Simulation and Real-Time Applications, IEEE International Symposium on
TI - Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata
SN - 1550-6525
SP188
EP195
A1 - Mostefa Belarbi,
A1 - Jean-Philippe Babau,
A1 - Jean-Jacques Schwarz,
PY - 2004
KW - Communicating
KW - Timed Automata
KW - Exhaustive Simulation
KW - RTOS
KW - Temporal Verification
KW - Observer Automata
VL - 0
JA - Distributed Simulation and Real-Time Applications, IEEE International Symposium on
ER -
 
Mostefa Belarbi, CITI/INSA Lyon
Jean-Philippe Babau, CITI/INSA Lyon
This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlocks and secondly global properties such as data age, deadline, and time interval verification. These properties are represented by observer automata and verified by the IF2C tool exhaustive simulation. The notion of phrase is used to reduce the IF representation graph by partitioning the application on the basis of phases.
Index Terms:
Communicating, Timed Automata, Exhaustive Simulation, RTOS, Temporal Verification, Observer Automata
Citation:
Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz, "Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata," ds-rt, pp.188-195, Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.