Software used in safety-critical systems has become a major component in today's system design. Meanwhile, developing certifiable software for safety-critical systems is time- and labor-intensive. Hence, there is a need for an effective and efficient technique to minimize required cost and effort. In this paper, we present a novel reverse engineering technique to generate non-existing, inadequate, or unavailable software life cycle data required for RTCA/DO-178C certification of previously developed software such as a third party library and applications. Our technique has three stages (planning, development, and correctness) in which life cycle data including plan documents, requirements, design, and test cases are created in order to meet DO-178C objectives. We also apply our technique on two previously developed industrial software (third party libraries) to show how we create required data to satisfy the objectives. Furthermore, we discuss important points that can affect the duration of producing certification evidence e.g. a large number of existing test results in a shorter correctness stage. We experimentally validate that our technique makes easier to manage and develop safety-critical software while providing a 2.6× faster certification process.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Adapting DO-178C processes by implementing a reverse engineering technique


    Beteiligte:


    Erscheinungsdatum :

    01.10.2014


    Format / Umfang :

    511344 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Adapting DO-178C processes by implementing a reverse engineering technique

    Bingol, Mehmet Koray / Deniz, Etem / Sari, Mustafa et al. | IEEE | 2014

    Freier Zugriff


    Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software

    Peleska, Jan / Brauer, Jörg / Dahlweid, Markus | SAE Technical Papers | 2015



    Automated DO-178C Compliance Summary through Evidence Curation

    Paul, Saswata / Alexander, Christopher / Durling, Michael et al. | IEEE | 2023