A study and application on airborne software safety requirements elicitation

Software safety requirements elicitation is a key element of a successful software safety process and the underpinnings of the following software safety work. Though there are many relevant standards, we still could not elicit software safety requirements sufficiently in actual aeronautic projects, because the approaches mentioned are unpractical due to our weak foundation in this area. This article suggests a practical method for software safety requirements elicitation based on the work done by NASA to solve this problem. In this research work, software safety requirements elicitation method consists of generic requirements tailoring and specific software safety requirements developing. The generic safety requirements tailoring process and F-F method that is used to develop specific safety requirements are mainly introduced in this paper. At last, we illustrate the practicability of this method with an application in aircraft de-icing system monitor software.