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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Papadopoulos, Y. (author) / McDermid, J. (author) / Mavrides, A. (author) / Scheidler, C. (author) / Maruhn, M. (author)


    Publication date :

    2001-01-01


    Size :

    571543 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



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

    Papadopoulos, Y. / McDermid, J. / Mavrides, A. et al. | Tema Archive | 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 Archive | 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. | European Patent Office | 2020

    Free access