DocumentCode
3294850
Title
Requirements analysis for real-time automation projects
Author
Hagemann, M.
Author_Institution
Fac. for Inf., Karlsruhe Univ., West Germany
fYear
1988
fDate
11-15 Apr 1988
Firstpage
122
Lastpage
129
Abstract
A formal language for specifying and analyzing requirements is introduced. An integrated set of tools support the transition from ideas to a requirements specification. The system is implemented on an IBM PC. The special characteristics of the language and the tools are their suitability for the description of embedded real-time systems. The most useful feature of the system is the possibility of graphical input and output as an alternative of the mere textual specification. Transformation between textual and graphical representation is done by the PROREC system
Keywords
IBM computers; formal languages; microcomputer applications; real-time systems; software tools; specification languages; IBM PC; PROREC system; embedded real-time systems; formal language; graphical input; graphical representation; real-time automation projects; requirements analysis; requirements specification; textual specification; Automatic control; Control systems; Formal specifications; Informatics; Process control; Real time systems; Robot control; Robotics and automation; Software engineering; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN
0-89791-258-6
Type
conf
DOI
10.1109/ICSE.1988.93728
Filename
93728
Link To Document