Requirements engineering for real-time systems

1 January 1991

journal article
Published by Institution of Engineering and Technology (IET) in Software Engineering Journal

Vol. 6 (3) , 101-115
https://doi.org/10.1049/sej.1991.0014

Abstract

This paper outlines techniques to support requirements engineering for real-time systems. The nature of real-time embedded systems requirements are discussed. Some key areas that may be expected to contribute to improved requirements engineering techniques are reviewed. A detailed discussion of the FOREST approach, which has been developed to support requirements engineering for real-time systems, is given and accompanied by an illustrative example.

Keywords

REAL-TIME SYSTEMS
REQUIREMENTS ENGINEERING
MODAL ACTION LOGIC
FOREST APPROACH
FORMAL REQUIREMENTS SPECIFICATION TECHNIQUES
REAL-TIME EMBEDDED SYSTEMS

This publication has 1 reference indexed in Scilit:

Logical animation
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002