DocumentCode :
638283
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
fYear :
2013
fDate :
18-20 June 2013
Firstpage :
131
Lastpage :
136
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/SERE-C.2013.44
Filename :
6616335
Link To Document :
بازگشت