Requirements analysis for real-time automation projects

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.<>