We describe how we apply the SAE AS 5506 Architecture and Analysis Design Language (AADL) [4] to reason about contextual and architectural concerns for cyber security. A system’s cyber security certification requires verification that the system’s cyber security mechanisms are correct, non-bypassable, and tamper-resistant. We can verify correctness by examining the mechanism itself, but verifying the other qualities requires us to examine the context in which that mechanism resides. Understanding that context and validating the system’s evolving design against that context is an objective for the Architecture Centric Virtual Integration Process (ACVIP), an AADL-based approach to model and detect system design defects before they become too costly to fix. We describe our work to apply AADL to assess non-bypassability and tamper-resistance. The results of our research - tool plugins for cyber security architectural validation - support system developers today in their ACVIP activities.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Using AADL to Assess Architectural Concerns for Cyber Security


    Additional title:

    Sae Int. J. Adv. and Curr. Prac. in Mobility


    Contributors:

    Conference:

    2023 AeroTech ; 2023



    Publication date :

    2023-03-07


    Size :

    10 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    SW Architectural Modeling and Assurance with AADL

    Munoz Fernandez, Michela / Cheng, Shang-Wen / Evensen, Kenneth et al. | NTRS | 2012


    AADL and Aerospace

    S. Miller / P. Feiler / M. Hecht | NTIS | 2021


    AADL Behavioural Annex

    Dissaux, P. / Bodeveix, J. P. / Filali, M. et al. | British Library Conference Proceedings | 2006


    Architectural and Behavioral Analysis for Cyber Security

    Siu, Kit / Moitra, Abha / Li, Meng et al. | IEEE | 2019