DocumentCode
1510784
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
Volume
6
Issue
3
fYear
1991
fDate
5/1/1991 12:00:00 AM
Firstpage
101
Lastpage
115
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
76597
Link To Document