Automatic analysis technology for aviation equipment software requirements
Han-Qing Zhou, Hai-Feng Li, Yan-Bing Huang
Available Online December 2015.
- https://doi.org/10.2991/icmmcce-15.2015.254How to use a DOI?
- aviation equipment software, requirement safety, requirement modeling, safety analysis rule, safety analysis automatically
- 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.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Han-Qing Zhou AU - Hai-Feng Li AU - Yan-Bing Huang PY - 2015/12 DA - 2015/12 TI - Automatic analysis technology for aviation equipment software requirements BT - Proceedings of the 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering 2015 PB - Atlantis Press SN - 2352-538X UR - https://doi.org/10.2991/icmmcce-15.2015.254 DO - https://doi.org/10.2991/icmmcce-15.2015.254 ID - Zhou2015/12 ER -