Title :
Requirements engineering for real-time systems
Author :
Goldsack, S.J. ; Finkelstein, A.C.W.
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
fDate :
5/1/1991 12:00:00 AM
Abstract :
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 :
formal specification; real-time systems; systems analysis; FOREST approach; Formal Requirements Specification Techniques; Modal Action Logic; real-time embedded systems; real-time systems; requirements engineering;
Journal_Title :
Software Engineering Journal
