An Approach to Develop Architecture of ARINC653-Based Avionic Software

lei wang,dianfu ma,yongwang zhao,xianqi zhao,ying wang
DOI: https://doi.org/10.1007/978-3-662-45402-2_38
2015-01-01
Abstract:Avionics software is safety-critical embedded software, so it has higher security and reliability requirements. How to effectively develop safe and reliable avionics software and control the development time and cost becomes a significant problem. An approach to develop the ARINC653-based software architecture is proposed. It converted the high-level requirements into the software architecture model, and then generated the source code of architecture from the software architecture model. The process helps to keep the consistency and traceability between requirements and architecture.
What problem does this paper attempt to address?