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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

    Modellbasierte halbautomatische Sicherheitsanalyse programmierbarer Fahrzeug-Systeme


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


    Publication date :

    2001


    Size :

    5 Seiten, 4 Bilder, 8 Quellen





    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




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

    Papadopoulos, Y. / McDermid, J. / Mavrides, A. et al. | IEEE | 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