Implementing a verifier for real-time systems
- 1 January 1990
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The SARTOR project has as one of its goals the development of an environment for the development of correct real-time systems. Modechart is a specification language for real-time systems developed as part of this project. Verify4 is an implementation of a verifier for certain classes of properties of systems specified using Modechart. The author describes the program Verify4 and addresses implementation issues surrounding three of the key algorithms used in the program.Keywords
This publication has 3 references indexed in Scilit:
- Semantics of Modechart in real time logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Analyzing safety and fault tolerance using Time Petri netsPublished by Springer Nature ,1985