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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    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 Archive | 2009