Title :
A tool for modeling and verifying real-time systems
Author :
Elseaidy, Wael M. ; Cleaveland, Race
Author_Institution :
Alphatronix Inc., Research Triangle Park, NC, USA
Abstract :
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
Keywords :
formal verification; real-time systems; software tools; visual languages; Modechart; Temporal CCS; active structural control systems; equivalence checking; graphical design la; modeling tool; real-time systems verification; system minimization; textually based language; verification environment; Algebra; Analytical models; Carbon capture and storage; Concurrent computing; Control system synthesis; Control systems; Minimization methods; Real time systems; Timing; Vibrations;
Conference_Titel :
Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
0-8186-7123-8
DOI :
10.1109/ICECCS.1995.479307
