TY - GEN
T1 - A FACE-based Simulation and Verification Approach for Avionics Systems
AU - Du, Xiaoyan
AU - Du, Chenglie
AU - Chen, Jinchao
AU - Liu, Yifan
AU - Han, Pengcheng
N1 - Publisher Copyright:
© 2019 IEEE.
PY - 2019/10
Y1 - 2019/10
N2 - Avionics systems have to integrate and to manipulate numerous sensors, actuators and controllers while maintaining high quality of safety and reliability. Traditional chimney development method, which has shortages in the ability and efficiency, cannot be able to meet the increasing requirements of large scale avionics systems applications. In order to solve these problems, this paper proposes a FACE-based simulation and verification approach for avionics systems. First, by analysing the FACE standard, a FACE-based framework of avionics systems is designed to develop and deploy applications on different platforms. Then, based on the proposed framework, a simulation and verification approach for avionics systems designed by adopting the component packaging technology. Finally, the simulation and verification platform is established by integrating the component applications, exciter applications and display processing units in the avionics systems. Experimental results show that this approach not only guarantees the correctness and reliability of software applications, but also increases the flexibility, scalability and the cross-platform capability of avionics systems.
AB - Avionics systems have to integrate and to manipulate numerous sensors, actuators and controllers while maintaining high quality of safety and reliability. Traditional chimney development method, which has shortages in the ability and efficiency, cannot be able to meet the increasing requirements of large scale avionics systems applications. In order to solve these problems, this paper proposes a FACE-based simulation and verification approach for avionics systems. First, by analysing the FACE standard, a FACE-based framework of avionics systems is designed to develop and deploy applications on different platforms. Then, based on the proposed framework, a simulation and verification approach for avionics systems designed by adopting the component packaging technology. Finally, the simulation and verification platform is established by integrating the component applications, exciter applications and display processing units in the avionics systems. Experimental results show that this approach not only guarantees the correctness and reliability of software applications, but also increases the flexibility, scalability and the cross-platform capability of avionics systems.
KW - Avionics systems
KW - Component
KW - FACE
KW - Simulation
KW - Verification
UR - https://www.scopus.com/pages/publications/85081162022
U2 - 10.1109/IMCEC46724.2019.8983850
DO - 10.1109/IMCEC46724.2019.8983850
M3 - 会议稿件
AN - SCOPUS:85081162022
T3 - Proceedings of 2019 IEEE 3rd Advanced Information Management, Communicates, Electronic and Automation Control Conference, IMCEC 2019
SP - 1509
EP - 1513
BT - Proceedings of 2019 IEEE 3rd Advanced Information Management, Communicates, Electronic and Automation Control Conference, IMCEC 2019
A2 - Xu, Bing
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 3rd IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference, IMCEC 2019
Y2 - 11 October 2019 through 13 October 2019
ER -