A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software

Summary Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such s...

Full description

Saved in:
Bibliographic Details
Published in:Software, practice & experience Vol. 45; no. 7; pp. 893 - 924
Main Authors: Wu, Ji, Yue, Tao, Ali, Shaukat, Zhang, Huihui
Format: Journal Article
Language:English
Published: Bognor Regis Blackwell Publishing Ltd 01.07.2015
Wiley Subscription Services, Inc
Subjects:
Architecture (computers)
Avionics
avionics software
component-based architecture design
Computer programs
DO-178B/C
Guidelines
Methodology
Safety
Software
UML profile
ISSN:0038-0644, 1097-024X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO‐178B/C, which provides guidelines (e.g., development process and objectives to satisfy in development activities) for meeting safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component‐based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO‐178B/C) and current engineering practices in the domain of avionics systems. The methodology automatically enforces these safety requirements. We have applied the methodology on an industrial autopilot system, and several previously uncaught faults were revealed. Copyright © 2014 John Wiley & Sons, Ltd.
Bibliography:This paper is the extended version of the conference paper published in the 13th International Conference on Quality Software (QSIC 2013) [27]. This paper is sponsored jointly by State Key Laboratory of Software Development Environment (SKLSDE-2013ZX-12), Aeronautics Science Foundation of China (20121951021), Research Council of Norway under the Certus SFI project, and the Ministry of Industry and Trade of Norway, Ministry of Education of China under the Triple-One Program (grant number:B12025).
istex:915FDE0803461658FDCEEEE4E139FD0D9219A538
ArticleID:SPE2281
ark:/67375/WNG-1VJX30V0-V
th
This paper is the extended version of the conference paper published in the 13
International Conference on Quality Software (QSIC 2013) [27]. This paper is sponsored jointly by State Key Laboratory of Software Development Environment (SKLSDE‐2013ZX‐12), Aeronautics Science Foundation of China (20121951021), Research Council of Norway under the Certus SFI project, and the Ministry of Industry and Trade of Norway, Ministry of Education of China under the Triple‐One Program (grant number:B12025).
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:0038-0644
1097-024X
DOI:10.1002/spe.2281