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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

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


    Publication date :

    1993-02-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English





    Methodology for Software Safety Standards

    Herrmann | Online Contents | 1996


    Safety-Analyse für Embedded-Software

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


    Software Development Tools for Embedded Systems

    Kapur, S. / Sriprasad, C. / IEEE et al. | British Library Conference Proceedings | 1995


    Safety Analyse fuer Embedded Software

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