We discuss our work towards the development of a safety analysis method. The analysis in the proposed method is performed using an algorithm for the automatic synthesis of fault trees that can be applied on the system at different stages of its design. At the early stages of the design, the algorithm can generate fault trees on the basis of abstract functional specifications of the system. Mechanical analysis of those fault trees, cut-set analysis for example, can help to identify conceptual design flaws and refine the initial design. This process can then be repeated down to low levels of the hardware and software implementation. By partly mechanising the safety analysis process, the proposed method could help, we believe, in managing the increasing complexity that the automotive sector is likely to experience in safety assessments with the introduction of safety-related integrated driver assistance systems in the future.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model-based semiautomatic safety analysis of programmable systems in automotive applications


    Beteiligte:
    Papadopoulos, Y. (Autor:in) / McDermid, J. (Autor:in) / Mavrides, A. (Autor:in) / Scheidler, C. (Autor:in) / Maruhn, M. (Autor:in)


    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    571543 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Model-based semiautomatic safety analysis of programmable systems in automotive applications

    Papadopoulos, Y. / McDermid, J. / Mavrides, A. et al. | Tema Archiv | 2001


    Model-based semiautomatic safety analysis of programmable systems in automotive applications

    Papadopoulos, Y. / McDermid, J. / Mavrides, A. et al. | British Library Conference Proceedings | 2001


    Programmable Aging Sensor for Automotive Safety-Critical Applications

    Vazquez, J.C. / Champac, V. / Teixeira, I.C. et al. | Tema Archiv | 2010


    Semiautomatic d-c block for railroad line safety

    Leuenberger, E. | Engineering Index Backfile | 1953


    Semiautomatic bounding device

    KIM JEOM GOO / SEO JEONG GYEONG / LEE CHANG HUN et al. | Europäisches Patentamt | 2020

    Freier Zugriff