The high integration of the civil aircraft avionics systems will lead to an exponential rise in the size of airborne safety-critical software, and cause the numerous and inconsistent sources of its requirements, the transfer of requirements at each level of the avionics system software has duality and other problems. Therefore, how to ensure the consistency of the avionics software has become one of the core issues to be solved during the development of the system. On the basis of the syntax of Safety_SysML state machine, the Safety_SysML consistency verifier is designed, including static data detection and dynamic data detection. The test cases are designed for unit and integration test of the core algorithm and system. Based on the error inference and boundaries, the functional tests are designed and executed to find the defects in the verifier. The results show that the Safety_SysML consistency verifier can effectively identify the problem of duality in avionics system software, and is of significant importance for improving the reliability of the avionics software.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Design and implementation of Safety_SysML consistency verifier for avionics software


    Beteiligte:
    YIN Wei (Autor:in) / WANG Hui (Autor:in) / SUN Haiying (Autor:in) / DING Guohuan (Autor:in) / KANG Jiexiang (Autor:in) / LIU Jing (Autor:in)


    Erscheinungsdatum :

    2023




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    Software Interface Verifier

    Soderstrom, T. J. / Krall, L. A. / Hope, S. A. et al. | British Library Conference Proceedings | 1994


    Simulink design verifier

    Emerald Group Publishing | 2007


    Avionics Software Expert System Design

    J. L. Brink / R. B. Haynes | NTIS | 1988


    Avionics System Design: Software EMI

    Shawlee, W. | British Library Online Contents | 1998