Case Study on Formal Modeling and Analysis of Airborne Software Requirements

被引：0

作者：

Hu J. ^{[1
,2
]}

Lü J.-R. ^{[1
]}

Wang L.-S. ^{[1
,2
]}

Kang J.-X. ^{[3
]}

Wang H. ^{[3
]}

Gao Z.-J. ^{[3
]}

机构：

[1] College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing

[2] Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing

[3] Software Department, Chinese Aeronautical Radio Electronics Research Institute, Shanghai

来源：

Ruan Jian Xue Bao/Journal of Software | 2022年 / 33卷 / 05期

关键词：

Formal method; Formal modeling for airborne system; Natural language requirement modelling; Variable relation model (VRM);

D O I：

10.13328/j.cnki.jos.006554

中图分类号：

学科分类号：

摘要：

While the function and complexity of modern civil aircraft airborne software are growing rapidly, those safety standards for airborne software (such as DO-178B/C, etc.) must be satisfied at the same time. It raises more challenge to analyze and verify the consistency and integrity of airborne software requirements on the early stage of system development. This study introduces a formal modeling and analysis tool platform (avionics requirement tools, ART) for airborne software natural language requirements, and carries out a case study of the requirements of cockpit display and control software subsystem (EICAS). Firstly, the semantics of a formal variable relationship model (VRM) is given, also the platform architecture and tool chain of ART are descripted. Then, a methodology of formal analysis of requirement consistency and integrity based on multi-paradigm is given. After that, some details of the case study of EICAS are shown including: how to make a pre-modeling process of initial natural language requirements and the automatic analysis process of requirement model, such as the preprocessing and standardization of original requirement items, automatic generation of VRM models and multi-paradigm based formal analysis, etc. Finally, some experiences of this case study are drawn. © Copyright 2022, Institute of Software, the Chinese Academy of Sciences. All rights reserved.

引用

页码：1652 / 1673

页数：21

共 45 条

[1]

Heimdahl M, Leveson N, Redler J, Felton M, Lee G., Software assurance approaches, considerations, and limitations: Final report, (2016)

[2]

Leveson NG., Role of software in spacecraft accidents, Journal of Spacecraft and Rockets, 41, 4, pp. 564-575, (2004)

[3]

Rierson L., Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance, (2013)

[4]

Conradi K., Report on the serious incident to Boeing B787-8, ET-AOP London Heathrow Airport 12 July 2013, (2015)

[5]

Aircraft serious incident investigation report All Nippon Airways Co, (2014)

[6]

Software Considerations in Airborne Systems and Equipment Certification, (1992)

[7]

Lempia DL, Miller SP., Requirements engineering management findings report, (2008)

[8]

Lempia DL, Miller SP., Requirements engineering management handbook, (2009)

[9]

Advanced Avionics Handbook, (2011)

[10]

Rierson Leanna, Developing Safety-critical Software: A Practical Guide for Aviation Software and DO-178c Complia, (2013)

← 1 2 3 4 5 →