loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach
Magdeburg, Germany
May 02-May 04
ISBN: 0-7695-1089-2
ASCII Text
x 
 
C. André, M-A. Peraldi-Frati, J-P. Rigault, "Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 0438, Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, 2001.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2001.922869,
author = {C. André and M-A. Peraldi-Frati and J-P. Rigault},
title = {Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2001},
isbn = {0-7695-1089-2},
pages = {0438},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2001.922869},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach
SN - 0-7695-1089-2
SP
EP
A1 - C. André,
A1 - M-A. Peraldi-Frati,
A1 - J-P. Rigault,
PY - 2001
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
C. André, Université de Nice Sophia Antipolis
M-A. Peraldi-Frati, Université de Nice Sophia Antipolis
J-P. Rigault, Université de Nice Sophia Antipolis
Abstract: This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/ controller consistency, and safety properties. For this, a strengthening of UML behavioral models is necessary: SyncCharts are used instead of Statecharts, and Sequence Diagrams are modified by adding synchronously sound constructs akin to Message Sequence Charts. The formal foundations of the approach and the associated tools are briefly presented.
Citation:
C. André, M-A. Peraldi-Frati, J-P. Rigault, "Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach," isorc, pp.0438, Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, 2001
Usage of this product signifies your acceptance of the Terms of Use.