The ever-increasing complexity of cyber physical systems drives the need for assurance of critical infrastructure and embedded systems. Building assurance cases is a way to increase confidence in systems. In general, the construction of assurance cases is a manual process and the resulting artifacts are not machine analyzable. The High Assurance Systems team at GE Research is developing technology to support generation of formalized assurance cases for systems, which are both human-readable and machine-analyzable. We have developed a Semantic Application Design Language Assurance Toolkit (SADL-AT) including a semantic model to formalize the Goal Structuring Notation for assurance cases. This paper describes the toolkit SADL-AT and demonstrates the capabilities and effectiveness of SADL-AT by building security and safety assurance case fragments for an unmanned aerial vehicle-based example – a delivery drone.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards Developing Formalized Assurance Cases


    Beteiligte:
    Meng, Baoluo (Autor:in) / Moitra, Abha (Autor:in) / Crapo, Andrew W. (Autor:in) / Paul, Saswata (Autor:in) / Siu, Kit (Autor:in) / Durling, Michael (Autor:in) / Prince, Daniel (Autor:in) / Herencia-Zapana, Heber (Autor:in)


    Erscheinungsdatum :

    11.10.2020


    Format / Umfang :

    1124247 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formalized electromagnetic support of systems

    Schulz, R.B. / Baker, A. | Tema Archiv | 1976


    Formalized Design Procedure for Networked Control Systems

    Shin, M. / Han, J. / Youn, J. et al. | British Library Conference Proceedings | 2007


    Formalized design procedure for networked control systems

    Shin,M. / Han,J. / Youn,J. et al. | Kraftfahrwesen | 2007


    Formalized Design Procedure for Networked Control Systems

    Han, Jaehyun / Youn, Jeamyoung / Shin, Minsuk et al. | SAE Technical Papers | 2007


    The Shift to Formalized Shipbuilding Standards

    Walker, L. M. | British Library Conference Proceedings | 1993