The embedded software has played an increasing role in safety-critical systems. At the same time the current development process of “build, then integrate” has proven unaffordable for the Aerospace industry. This paper outlines challenges in safety-critical embedded systems in addressing system-level faults that are currently discovered late in the development life cycle. We then discuss an architecture-centric approach to model-based engineering, i.e., to complement the validation of systems with analysis of different operational quality aspects from an architecture model. A key technology in this approach is the Architecture Analysis & Design Language (AADL), an SAE International standard for embedded software system. It supports analysis of operational qualities such as responsiveness, safety-criticality, security, and reliability through model annotations. A number of industry initiatives have been underway to demonstrate the feasibility of using this technology in industrial practice.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Challenges in Validating Safety-Critical Embedded Systems


    Weitere Titelangaben:

    Sae Int. J. Aerosp


    Beteiligte:

    Kongress:

    Aerospace Technology Conference and Exposition ; 2009


    Erschienen in:

    Erscheinungsdatum :

    10.11.2009


    Format / Umfang :

    8 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






    VALIDATING AUTOMOTIVE SAFETY FUNCTIONS

    SCHWINDT OLIVER F / GARCIA BORDES MARIA EUGENIA / PELOSSE JEAN-FRANCOIS et al. | Europäisches Patentamt | 2016

    Freier Zugriff

    Validating automotive safety functions

    SCHWINDT OLIVER F / GARCIA BORDES MARIA EUGENIA / PELOSSE JEAN-FRANCOIS et al. | Europäisches Patentamt | 2018

    Freier Zugriff

    Validating cell/battery safety

    Chua, D. | NTRS | 1983