A Study on Airborne Software Safety Requirements Patterns

摘要

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.