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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

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


    Beteiligte:
    Stuphorn, Jörn (Autor:in) / Sieker, Bernd (Autor:in) / Ladkin, Peter B. (Autor:in)


    Erscheinungsdatum :

    2009


    Format / Umfang :

    21 Seiten, 15 Bilder, 12 Tabellen, 8 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Dependable Automotive Systems based on Model Certified Components

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

    Freier Zugriff

    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. | Kraftfahrwesen | 2006


    Evolving Dependable Real-Time Systems

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