Title :
A Study on Airborne Software Safety Requirements Patterns
Author :
Chang Wei ; Bao Xiaohong ; Li Xuefei
Author_Institution :
Sch. of Reliability & Syst. Eng., Beijing Univ. of Aeronaut. & Astronaut., Beijing, China
Abstract :
Software safety requirements elicitation is very important for assuring software safety. Making use of general safety requirements and criterion through pattern is an effective manner. In this paper software safety requirement pattern definition and description template were given. Classification principles were made to assure the classification rationale. Software safety requirements patterns classification was given to guide patterns building. Hazard command requirement pattern was finally given as an example. Effective organization and description ability for general safety requirements and criterion were verified through the building process and result. This provides the basis for guiding software safety requirements elicitation and analysis.
Keywords :
aerospace computing; pattern classification; security of data; airborne software safety requirements patterns; classification principles; classification rationale; description template; general safety requirements; hazard command requirement pattern; patterns building process; software safety requirement pattern definition; software safety requirements elicitation; software safety requirements patterns classification; Buildings; Hazards; Pattern classification; Security; Software safety; Hazard command; airborne software; classification; pattern; requirement; safety;
Conference_Titel :
Software Security and Reliability-Companion (SERE-C), 2013 IEEE 7th International Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
978-1-4799-2924-5
DOI :
10.1109/SERE-C.2013.44