A tool for modeling and verifying real-time systems

Author

Elseaidy, Wael M. ; Cleaveland, Race

Author_Institution

Alphatronix Inc., Research Triangle Park, NC, USA

fYear

1995

fDate

6-10 Nov 1995

Firstpage

70

Lastpage

71

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICECCS.1995.479307

Filename

479307