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.


    Access

    Download


    Export, share and cite



    Title :

    Formal Safety and Security Assessment of an Avionic Architecture with Alloy


    Contributors:


    Publication date :

    2014




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    Unknown




    AN AVIONIC DISPLAY ARCHITECTURE

    SAYARLAR MEHMET FATIH / CAKIR MAHIR | European Patent Office | 2022

    Free access

    AN AVIONIC COMPUTER ARCHITECTURE

    KAZANBAS MEHMET CEMIL / SAYARLAR MEHMET FATIH | European Patent Office | 2022

    Free access

    Generic advanced avionic architecture concepts

    Bunday, D. / Ingwell, S.M. | Tema Archive | 1990


    EXOMARS Composite Spacecraft Avionic Architecture

    Cassi, C. / Montagna, M. / European Space Agency et al. | British Library Conference Proceedings | 2006


    Avionic systems performance assessment

    Beeny, M. / Waters, J.H. | Tema Archive | 1990