A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software-Reference-Cited by-同舟云学术

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

Published:2014-07-02 Issue:7 Volume:45 Page:893-924
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw. Pract. Exper.

Author:

Wu Ji¹,Yue Tao²,Ali Shaukat²,Zhang Huihui¹

Affiliation:

1. State Key Laboratory of Software Development Environment, School of Computer Science and Engineering; Beihang University; Beijing China

2. Certus Software Verification and Validation Center, Simula Research Laboratory; Lysaker Norway

Funder

Aeronautics Science Foundation of China

Ministry of Education of China

Research Council of Norway

State Key Laboratory of Software Development Environment

Publisher

Wiley

Subject

Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/spe.2281/fullpdf

Reference46 articles.

1. Introduction to IMA (Integrated Modular Avionics) http://en.wikipedia.org/wiki/Integrated_modular_avionics

2. Avionics Application Software Standard Interface ARINC Specification 653 (ARINC 653) 2010

3. Bagnato A Sadovykh A Paige RF Kolovos DS Baresi L Morzenti A Rossi M MADES: Embedded Systems Engineering Approach in the Avionics Domain Proceedings of HoPES workshop at ECMFA 2010 2010

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Design and Testing of Data Communication System Integration on RX-450.03 Sounding Rocket;2023 IEEE Asia-Pacific Conference on Geoscience, Electronics and Remote Sensing Technology (AGERS);2023-12-19

2. Modelling guidance in software engineering: a systematic literature review;Software and Systems Modeling;2023-07-17

3. Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL;2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2019-10

4. Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design;IEEE Access;2019

5. Building a software requirements specification and design for an avionics system;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09