We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considering as a case study an avionic system developed by Thales, which provides guidance to aircraft. We show how to define in Alloy a metamodel of avionic architectures with a focus on failure propagations. We then express the specific architecture of the case study in Alloy. Finally, we express and check properties that refer to the robustness of the architecture to failures and attacks.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Formal Safety and Security Assessment of an Avionic Architecture with Alloy


    Beteiligte:

    Erscheinungsdatum :

    2014


    Anmerkungen:

    In Proceedings ESSS 2014, arXiv:1405.0554
    EPTCS 150, 2014, pp. 8-19



    Medientyp :

    Preprint


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Formal Safety and Security Assessment of an Avionic Architecture with Alloy

    Julien Brunel / Laurent Rioux / Stéphane Paul et al. | DOAJ | 2014

    Freier Zugriff

    Architecture-Driven Assurance for Safety-Critical Avionic Systems

    Bliek, Dan | British Library Conference Proceedings | 2018


    AN AVIONIC DISPLAY ARCHITECTURE

    SAYARLAR MEHMET FATIH / CAKIR MAHIR | Europäisches Patentamt | 2022

    Freier Zugriff

    AN AVIONIC COMPUTER ARCHITECTURE

    KAZANBAS MEHMET CEMIL / SAYARLAR MEHMET FATIH | Europäisches Patentamt | 2022

    Freier Zugriff

    AN AVIONIC COMPUTER ARCHITECTURE

    KAZANBAS MEHMET CEMIL / CAN YIGIT | Europäisches Patentamt | 2025

    Freier Zugriff