Specification Of Embedded, Real-time Systems
- 1 January 1992
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
An approach to requirements specification and subsequent verification of designs for embedded, real-time systems is presented. A system is given by a conventional mathematical model for a dynamic system, where application specific state variables denote total finctions of real time. Specifications are formulas in a real-time, interval temporal logic, where atomic predicates define durations of states. Requirements are specified by a conjunction of formulas, which reflect safety and functionality constraints on the total system. A design specifies the behaviour of components and the conjunction of component specifications can be shown to imply the requirements. Designs can be refined in a similar fashion.Keywords
This publication has 4 references indexed in Scilit:
- Guest editor's introduction - RE 02: a major step toward a mature requirements engineering communityIEEE Software, 2003
- Duration specifications for shared processorsPublished by Springer Nature ,1992
- PROVABLY CORRECT SAFETY CRITICAL SOFTWAREPublished by Elsevier ,1990
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985