|
Abstract : |
This paper provides a Safety Checklist for usc during the analysis of software requirements for spacecraft and other safety-critical, embedded systems, The checklist specifically targets the two most common causes of safety-related software errors: (1) inadequate interface requirements and (2) discrepancies between the documented requirements and the requirements actually needed for correct functioning of the system. Use of the checklist to enhance the software-recluirements analysis is shown to reduce the number of safety-related software errors. I., |
