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.
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
Integration von Standard-Komponenten für eine Sicherheitsbewertung mit SaveCCM
2006
15 Seiten, 5 Bilder, 3 Tabellen, 33 Quellen
Aufsatz (Konferenz)
Englisch
Antwortzeit , Applikationsentwicklung , Ausfallwahrscheinlichkeit , Bremssystem , Echtzeitsystem , eingebettetes Software-Engineering , Fallstudie , Framework (Programmierung) , Gefahrenanalyse , Konferenzbericht , Kosteneffizienz , modellbezogener Entwurf , Programmanalyse , Programmiersprache , Programmleistungsbewertung , Programmverifikation , Sicherheitsarchitektur , sicherheitskritisches Software-Design , Sicherheitsmanagement , Software-Architektur , Software-Design-Tool , Software-Engineering , Software-Integrationstest , Software-Modul , Software-Systemtest , Spezifikationssprache , systematischer Fehler , Systemzuverlässigkeit , Vorhersagetheorie , Zuverlässigkeitsvoraussage
Towards standard component parts in silicon carbide CMOS
IEEE | 2015
|Defence standard 00-56 issue 4: Towards evidence-based safety standards
Tema Archiv | 2009
|