To deliver complex functionalities in a cost effective manner, embedded software should ideally be developed with standardised interoperable components. At the same time, most of these embedded systems must be demonstrably safe and reliable. This paper aims to extend SaveCCM, a modelling language for component-based embedded systems, with standard safety evaluation models. Based on this extension, failure and hazard probabilities can be estimated early in the development process and can be used to check if a system can fulfil its safety requirements. The procedure of the safety evaluation is demonstrated with the case study of a computer assisted braking system.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Towards standard component parts in silicon carbide CMOS

    Matthew Francis, A. / Moudy, Tyler / Holmes, James A. et al. | IEEE | 2015



    Preliminary Component Integration Using Rapid Prototyping Techniques

    Cooper, Ken / Salvail, Pat / Gordon, Gail | NTRS | 2001


    Defence standard 00-56 issue 4: Towards evidence-based safety standards

    Menon, Catherine / Hawkins, Richard / McDermid, John | Tema Archiv | 2009