In this paper, the authors show that it is both possible and practical to generate safety analysis from design models by augmenting the design descriptions with information in failure propagation. This has the beneficial effect of keeping the safety analysis consistent with the design. There is not yet sufficient project experience to show how cost-effective this approach is, but early experience suggests that it is relatively easy to procude the definition of 'local' failure propagation, hence the technique is likely to give economic benefit. However the approach the authors have developed does not provide a 'complete' solution. There are many issues which also need to be adressed, but the authors focus on two which are particularly pertinent. First, they have not discussed how to obtain evidence that the failure propagation of the software modules is as predicted, or no worse than predicted. However the authors note that their approach gives the opportunity for some targets, hazard directed, analysis of the design and implementation, either using formal techniques or testing. For example it may be possible to use model checking on state machines representing Matlab-Simulink blocks to verify the failure propagation. Alternatively, the authors could employ hazard directed testing, e.g. using heuristics to search for data which simulate failure conditions, and thus to verify the failure propagation. Second, there is an issue of how to allocate requirements of failure propagation in order to make safety more a controlled facet of the design process rather than allowing it to become an emergent property. The civil aerospace standards recommend the use of fault trees to do preliminary system safety assessment (PSSA) whereby they allocate failure rate budgets to failure modes of components. These techniques need some extension to be fully effective but could naturally complement the technique described above. 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.


    Zugriff

    Zugriff über TIB

    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


    Weitere Titelangaben:

    Modellbasierte halbautomatische Sicherheitsanalyse programmierbarer Fahrzeug-Systeme


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


    Erscheinungsdatum :

    2001


    Format / Umfang :

    5 Seiten, 4 Bilder, 8 Quellen





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

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


    Safety analysis of programmable automotive systems

    Jesty, P.H. / Ward, D.D. / Rivett, R.S. et al. | IET Digital Library Archive | 2006


    Programmable Aging Sensor for Automotive Safety-Critical Applications

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


    Semiautomatic bounding device

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

    Freier Zugriff

    Semiautomatic External Defibrillator

    Altman, V. / Southern California Safety Institute | British Library Conference Proceedings | 1997