Developing safety-critical systems usually takes place in a regulated environment. Some examples include systems that control aircraft, nuclear reactors, and medical devices. Regulatory agencies require these products to meet stringent certification requirements, including embedded software and databases. An error in software development can cause loss of life or other catastrophic consequences. Therefore, safety-critical software requires a robust development process, verification, configuration management, and quality assurance. The correctness and completeness of such software need to be demonstrated with high assurance. Consequently, this concern extends to databases as well. Our work proposes to create a requirements specification and verification process for databases in safety-critical systems that satisfies various regulatory standards and ensures data completeness and correctness. The main contributions of this work are: (i) compatibility to regulatory needs in RTCA DO-178C and RTCA DO-200B; (ii) organized construction of databases guided by requirements; and (iii) mitigation of errors introduced in database construction from specification to integration with application software.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Process for Database Specification and Verification in Airborne Systems




    Erscheinungsdatum :

    29.09.2024


    Format / Umfang :

    1229841 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Verification Matrix Applied During Verification Process of Airborne Software

    Liu, Yuan / Guo, Qing / Liu, Wen et al. | British Library Conference Proceedings | 2022


    Verification Matrix Applied During Verification Process of Airborne Software

    Liu, Yuan / Guo, Qing / Liu, Wen et al. | Springer Verlag | 2021


    Formal specification and analysis of airborne mission systems

    Kristensen, L.M. / Billington, J. / Petrucci, L. et al. | IEEE | 2002


    Verification Matrix Applied During Verification Process of Airborne Software

    Liu, Yuan / Guo, Qing / Liu, Wen et al. | TIBKAT | 2022


    General Environmental Verification Specification

    Milne, J. Scott, Jr. / Kaufman, Daniel S. | NTRS | 2003