TY - GEN
T1 - Certification Considerations of Software-Defined Radio Using Model-Based Development and Automated Testing
AU - Bao, Lin
AU - Fuhrman, Christopher
AU - Landry, René
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023
Y1 - 2023
N2 - In this article, we present a set of methods to accelerate the development process and the verification process of certifiable Software-Defined Radio (SDR) applications, including both Model-Based Development (MBD) methodology and automated testing (unit and integration) technology. We demonstrate the feasibility with a case study, where an Instrument Landing System (ILS) in the domain of SDR avionics applications is presented, in which part of the code (for signal processing) is automatically generated from models and the remaining (for integration) code is not. The proposed methods strive to accelerate the compliance with the DO-178C standard's dynamic testing requirements. We consider the integration of the proposed methods to a system's certification processes in the context of the case study. The main contribution of this paper consists of integrating the MBD and the automated testing methods, and mapping them to the certification processes of SDR by respecting the set of instructions specified in the standard DO-178C.
AB - In this article, we present a set of methods to accelerate the development process and the verification process of certifiable Software-Defined Radio (SDR) applications, including both Model-Based Development (MBD) methodology and automated testing (unit and integration) technology. We demonstrate the feasibility with a case study, where an Instrument Landing System (ILS) in the domain of SDR avionics applications is presented, in which part of the code (for signal processing) is automatically generated from models and the remaining (for integration) code is not. The proposed methods strive to accelerate the compliance with the DO-178C standard's dynamic testing requirements. We consider the integration of the proposed methods to a system's certification processes in the context of the case study. The main contribution of this paper consists of integrating the MBD and the automated testing methods, and mapping them to the certification processes of SDR by respecting the set of instructions specified in the standard DO-178C.
KW - Automated software testing
KW - DO-178C
KW - Model-Based Development
KW - Safety-critical systems
KW - Software-Defined Radio
KW - certification
UR - https://www.scopus.com/pages/publications/85178667537
U2 - 10.1109/DASC58513.2023.10311167
DO - 10.1109/DASC58513.2023.10311167
M3 - Contribution to conference proceedings
AN - SCOPUS:85178667537
T3 - AIAA/IEEE Digital Avionics Systems Conference - Proceedings
BT - DASC 2023 - Digital Avionics Systems Conference, Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 42nd IEEE/AIAA Digital Avionics Systems Conference, DASC 2023
Y2 - 1 October 2023 through 5 October 2023
ER -