Certification Considerations of Software-Defined Radio Using Model-Based Development and Automated Testing

被引：1
作者：
Bao, Lin [1 ]
Fuhrman, Christopher [2 ]
Landry, Rene, Jr. [1 ]
机构：
[1] Ecole Technol Super, Eletr Engn Dept, Montreal, PQ, Canada
[2] Ecole Technol Super, Dept Software & IT Engn, Montreal, PQ, Canada
来源：
2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC | 2023年
关键词：
Automated software testing; certification; DO-178C; Model-Based Development; Safety-critical systems; Software-Defined Radio;
D O I：
10.1109/DASC58513.2023.10311167
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
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.
引用
收藏
页数：8
相关论文
共 21 条
  • [1] [Anonymous], 2017, 2017 IEEE INT C SOFT, DOI [10.1109/QRSC.2017.67, DOI 10.1109/QRSC.2017.67]
  • [2] [Anonymous], 2011, Special Committee 205 of RTCA. DO- 178C: Software considerations in airborne systems and equipment certification
  • [3] Bin Rahim F., 2016, AERONAUTICAL RADIO N
  • [4] D. of T. Federal Aviation Administration, 1988, Technical Standard Order, Subject: TSO-C36E, AIRBORNE ILS LOCALIZER RECEIVING EQUIPMENT OPERATING WITHIN THE RADIO FREQUENCY RANGE OF 108-112 MEGAHERTZ (MHz)
  • [5] Automated Testing of Simulation Software in the Aviation Industry An Experience Report
    Garousi, Vahid
    Tasli, Seckin
    Sertel, Onur
    Tokgoz, Mustafa
    Herkiloglu, Kadir
    Arkin, Hikmet Ferda Ergunes
    Bilir, Osman
    [J]. IEEE SOFTWARE, 2019, 36 (04) : 63 - 75
  • [6] Giacomoni J, 2005, 2005 1st IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks, Conference Record, P526
  • [7] Optimal Test Case Generation for Simulink Models Using Slicing
    Jiang, Zhenying
    Wu, Xiao
    Dong, Zeqian
    Mu, Ming
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 363 - 369
  • [8] Leosrisook Chanan, 2014, 2014 14th International Symposium on Communications and Information Technologies (ISCIT), P131, DOI 10.1109/ISCIT.2014.7011885
  • [9] Marcil Luc, 2011, 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (DASC), DOI 10.1109/DASC.2011.6096142
  • [10] Mathworks, 2021, DO- 178C and related standards
123