Title :
An approach to graphical specification of real-time safety systems
Author :
Sen, G. ; Brummer, J.
Author_Institution :
Reactor Control Div., Bhabha Atomic Res. Centre, Bombay, India
Abstract :
The paper describes a specialized graphical language for formally specifying real time safety systems. The language architecture is designed as a transparent high-level language with a dual approach representation: to describe the functionality and for realising the timing and synchronization aspects of real time systems; a relationship is then defined between the two representations for complete system specification in a composite way. A special form of time Petri net is used to represent the time behavior. This also provides a good foundation for system analysis, especially analysis for temporal requirements of real time systems
Keywords :
Petri nets; formal specification; real-time systems; safety systems; specification languages; synchronisation; systems analysis; timing; visual languages; complete system specification; dual approach representation; formal specification; functionality; graphical specification; language architecture; real-time safety systems; specialized graphical language; synchronization; system analysis; temporal requirements; time Petri net; time behavior; timing; transparent high-level language; Analytical models; High level languages; Humans; Inductors; Performance analysis; Proposals; Real time systems; Safety; Timing; Vocabulary;
Conference_Titel :
Software Testing, Reliability and Quality Assurance, 1994. Conference Proceedings., First International Conference on
Conference_Location :
New Delhi
Print_ISBN :
0-7803-2608-3
DOI :
10.1109/STRQA.1994.526391
