Given the fast changing market demands, the growing complexity of features, the shorter time to market, and the design/development constraints, the need for efficient and effective verification and validation methods are becoming critical for vehicle manufacturers and suppliers. One such example is fault-tree analysis. While fault-tree analysis is an important hazard analysis/verification activity, the current process of translating design details (e.g., system level and software level) is manual. Current experience indicates that fault tree analysis involves both creative deductive thinking and more mechanical steps, which typically involve instantiating gates and events in fault trees following fixed patterns. Specifically for software fault tree analysis, a number of the development steps typically involve instantiating fixed patterns of gates and events based upon the structure of the code. In this work, we investigate a methodology to translate software programs to fault trees. In particular we investigate software architectures for dual-path safety checking. Dual-path checking is used to verify computations; a primary chain of functions computes the desired variable, and a secondary chain of functions computes an approximation of the desired variable. The end results of the two paths are compared. If the computed values are within a certain tolerable range of each other, then the computation of the primary path is accepted. If the computed values are out of the tolerable range, then an error is indicated, and an error handler is invoked. For dual-path checking to function as intended, one needs to identify any common cause failures resulting from the dependencies on a shared variable across the two paths, and mitigate the risk of failures for those variables. In this paper, we focus on detecting safety-critical variables for dual path implementations using fault trees. The work discusses different issues in dual path checks and possible templates that can be used to generate fault trees for dual paths.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Fault-Tree Generation for Embedded Software Implementing Dual-Path Checking


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    SAE 2011 World Congress & Exhibition ; 2011



    Erscheinungsdatum :

    2011-04-12




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Fault-Tree Generation for Embedded Software Implementing Dual-Path Checking

    Ghosal, A. / Czerny, B. / D Ambrosio, J. et al. | British Library Conference Proceedings | 2011


    PATH CHECKING DEVICE AND PATH CHECKING METHOD

    XIANG JINGYU / SUGIYAMA SHUNICHIRO / OHSAWA HIROYUKI | Europäisches Patentamt | 2023

    Freier Zugriff

    Automated Software Fault-Tree Analysis

    Friedman, M. A. / Zenga, T. / Air Traffic Control Association | British Library Conference Proceedings | 1992


    FAULT TREE GENERATION DEVICE

    NAGANO TAKEHIKO / TAGUCHI KENTARO / CHIDA TAKAFUMI et al. | Europäisches Patentamt | 2018

    Freier Zugriff