Automatic analysis technology for aviation equipment software requirements

DOI

10.2991/icmmcce-15.2015.254How to use a DOI?

Keywords

aviation equipment software, requirement safety, requirement modeling, safety analysis rule, safety analysis automatically

Abstract

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

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  - 10.2991/icmmcce-15.2015.254
ID  - Zhou2015/12
ER  -