Title :
Requirements analysis for real-time automation projects
Author_Institution :
Fac. for Inf., Karlsruhe Univ., West Germany
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;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93728
