loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04)
Simulation and Verification Tool for Hierarchical Real-Time Systems
Brno, Czech Republic
May 24-May 27
ISBN: 0-7695-2125-8
ASCII Text
x 
 
J. Sebesty?nov?, "Simulation and Verification Tool for Hierarchical Real-Time Systems," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 255, 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2004.1316707,
author = {J. Sebesty?nov?},
title = {Simulation and Verification Tool for Hierarchical Real-Time Systems},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2004},
isbn = {0-7695-2125-8},
pages = {255},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316707},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - Simulation and Verification Tool for Hierarchical Real-Time Systems
SN - 0-7695-2125-8
SP
EP
A1 - J. Sebesty?nov?,
PY - 2004
KW - null
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
J. Sebesty?nov?, Slovak Academy of Sciences, Bratislava, Slovakia
The computerized tool for Statecharts based modeling and simulation of reactive systems with timing constraints is described in the paper. GUI enables to draw and edit the Statecharts, and to specify the required behavior of the system. Useful types of properties, such as state reachability, safety, and response, can be specified and verified. The model-checking algorithm for Statecharts verification works without constructing the flat state-transition graph. If the required property does not hold in the system, the counter-example can be found without searching the whole state space.
Citation:
J. Sebesty?nov?, "Simulation and Verification Tool for Hierarchical Real-Time Systems," ecbs, pp.255, 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.