DocumentCode
283856
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
fYear
1991
fDate
25-26 Oct 1991
Firstpage
31
Lastpage
41
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location
Como
Print_ISBN
0-8186-2320-9
Type
conf
DOI
10.1109/IWSSD.1991.213079
Filename
213079
Link To Document