| Popis: |
Quality of software requirement is an important factor to safety of aviation equipment software. With the increase of software complexity, Artificial software requirement analysis is difficult to find requirement defect caused by multi state combination, multi fault concurrent, multi condition conflict and multi path migration. This paper presents an automatic analysis technology for aviation equipment software requirement safety. First of all, formal modeling of software requirement and extracting safety analysis rules from the failure data are introduced. After that, how to analyze the interfaces, functions and states information automatically in requirement model based on analysis rules and requirement model is discussed. A platform based on this technology is developed and applied to a certain type of aviation engine control software safety analysis project successfully. |
