Title :
Experiences using statecharts for a system requirements specification
Author :
Leveson, N.G. ; Heimdahl, M. ; Hildreth, H. ; Reese, J. ; Ortega, R.
Author_Institution :
California Univ., Irvine, CA, USA
Abstract :
Some lessons learned and issues raised while building a system requirements specification for a real aircraft collision avoidance system using statecharts are described. Some enhancements to statecharts were necessary to model the complete system and a few notational changes were made to improve reviewability
Keywords :
aerospace computer control; formal specification; position control; systems analysis; notational changes; real aircraft collision avoidance system; reviewability; statecharts; system requirements specification; Air traffic control; Aircraft; Algorithm design and analysis; Collision avoidance; Failure analysis; Hazards; Risk analysis; Software safety; System testing; Systems engineering and theory;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213079
