Accurate risk assessment of safety-related systems involving software is a hard engineering problem for well-known reasons. The authors present two case studies in the use of Ontological Hazard Analysis (OHA), a semi-formal method for hazard identification and analysis aiding Correct-by-Construction (CbC) approaches to developing such systems. OHA controls very carefully the means of expression of safety requirements, starting with a simple semi-formal language and proceeding to more expressive requirements through formal refinement, a decades-old technique for CbC program development developed in the computerscience theory community. In the case studies, the use of OHA allows the risk assessment of the systems through known techniques, avoiding the general problems posed by non-continuity which are inherent in attempting to assess the risk of systems based on software.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Dependable risk analysis for systems with E/E/PE components: Two case studies


    Additional title:

    Abhängige Risikoanalyse für Systeme mit E/E/PE-Komponenten: Zwei Fallstudien


    Contributors:


    Publication date :

    2009


    Size :

    21 Seiten, 15 Bilder, 12 Tabellen, 8 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Dependable Automotive Systems based on Model Certified Components

    Larsson, Tony / Taha, Walid / Årzen, Karl-Erik | BASE | 2011

    Free access

    Can AI-based Components be Part of Dependable Systems?

    Hinrichs, Torge / Buth, Bettina | IEEE | 2020


    Dependable Systems of Systems

    McKinney, Francis / Tudor, Nick / McMurran, Ross et al. | SAE Technical Papers | 2006


    Dependable systems of systems

    McMurran,R. / McKinney,F. / Milam,W.P. et al. | Automotive engineering | 2006


    Evolving Dependable Real-Time Systems

    Sha, L. / Rajkumar, R. / Gagliardi, M. et al. | British Library Conference Proceedings | 1996