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...
Uloženo v:
| Vydáno v: | Software, practice & experience Ročník 45; číslo 7; s. 893 - 924 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Bognor Regis
Blackwell Publishing Ltd
01.07.2015
Wiley Subscription Services, Inc |
| Témata: | |
| ISSN: | 0038-0644, 1097-024X |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | 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. |
|---|---|
| Bibliografie: | 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 |