loading...
A tool for modeling and verifying real-time systems
Ft. Lauderdale, Florida November 06-November 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479307First IEEE International Conference o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
W.M. Elseaidy, R. Cleaveland, "A tool for modeling and verifying real-time systems," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 70, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.1995.479307,
author = {W.M. Elseaidy and R. Cleaveland},
title = {A tool for modeling and verifying real-time systems},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7123-8},
pages = {70},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479307},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - A tool for modeling and verifying real-time systems
SN - 0-8186-7123-8
SP
EP
A1 - W.M. Elseaidy,
A1 - R. Cleaveland,
PY - 1995
KW - formal verification; real-time systems; visual languages; software tools; modeling tool; real-time systems verification; verification environment; graphical design la; Modechart; textually based language; Temporal CCS; system minimization; equivalence checking; active structural control systems
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
W.M. Elseaidy, Alphatronix Inc., Research Triangle Park, NC, USA
R. Cleaveland, Alphatronix Inc., Research Triangle Park, NC, USA
This paper describes a modeling and verification environment for real-time systems. The environment supports both a graphical design language (Modechart) and a textually based one (Temporal CCS) and implements different methodologies, including simulation, system minimization, and equivalence checking, for analyzing systems. The tool has been applied to the verification of active structural control systems.
Index Terms:
formal verification; real-time systems; visual languages; software tools; modeling tool; real-time systems verification; verification environment; graphical design la; Modechart; textually based language; Temporal CCS; system minimization; equivalence checking; active structural control systems
Citation:
W.M. Elseaidy, R. Cleaveland, "A tool for modeling and verifying real-time systems," iceccs, pp.70, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.