Proceedings of the 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering 2015

Automatic analysis technology for aviation equipment software requirements

Authors
Han-Qing Zhou, Hai-Feng Li, Yan-Bing Huang
Corresponding Author
Han-Qing Zhou
Available Online December 2015.
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)

Volume Title
Proceedings of the 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering 2015
Series
Advances in Computer Science Research
Publication Date
December 2015
ISBN
10.2991/icmmcce-15.2015.254
ISSN
2352-538X
DOI
10.2991/icmmcce-15.2015.254How to use a DOI?
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/).

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