A Dynamic Flowgraph Methodology (DFM) based on an integrated approach to modeling and analyzing the behavior of software-driven embedded systems for assessing and verifying reliability and safety is discussed. DFM is based on an extension of the Logic Flowgraph Methodology to incorporate state transition models. System models which express the logic of the system in terms of causal relationships between physical variables and temporal characteristics of software modules are analyzed to determine how a certain state can be reached. This is done by developing timed fault trees which take the form of logical combinations of static trees relating the system parameters at different point in time. The resulting information concerning the hardware and software states can be used to eliminate unsafe execution paths and identify testing criteria for safety critical software functions.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Development of a methodology for assessing the safety of embedded software systems


    Beteiligte:
    Garrett, C. J. (Autor:in) / Guarro, S. B. (Autor:in) / Apostolakis, G. E. (Autor:in)

    Kongress:

    AIAA, AHS, and ASEE, Aerospace Design Conference ; 1993 ; Irvine, CA, United States


    Erscheinungsdatum :

    01.02.1993


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :




    Safety Analyse fuer Embedded Software

    Kemmann,S. / Trapp,M. / Kalmar,R. et al. | Kraftfahrwesen | 2009


    Methodology for Software Safety Standards

    Herrmann | Online Contents | 1996


    Safety-Analyse für Embedded-Software

    Kemmann, Sören / Trapp, Mario / Kalmar, Ralf | Tema Archiv | 2009