**Description**
We describe how we apply the Architecture Analysis & Design Language (AADL) to reason about contextual and  architectural concerns for cyber security. A system's cyber security  certification requires verification that 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 the mechanism  resides.
Understanding that context and validating the system's evolving  design against that context is a primary objective for the  Architecture-Centric Virtual Integration Process (ACVIP), an SAE AS5506 AADL -based approach  to model and detect system design defects before they become very costly  to fix. We describe our work to apply AADL to assess non-bypassability  and tamper-resistance as well as the tools developed to AS5506 for that  purpose. The results of our research - OSATE  plugins for cyber security architectural validation - support  developers today in developing embedded safety and security critical  aviation systems.

**Author(s) - ranked in descending order of contribution / as it should appear when published**
Charles Payne, Adventium Labs (a Galois Inc company) Hazel Shackleton,  Adventium Labs (a Galois Inc company) August Schwerdfeger. Adventium  Labs (a Galois Inc company) John Shackleton, Adventium Labs (a Galois  Inc company) Bruce Lewis, Adventium Labs (a Galois  Inc company) Alex Boydston, U.S. Army



Using AADL to Assess Architectural Properties for Cyber Security

SAE International’s AeroTech is the premier global aerospace technology conference and exhibition focused on and celebrating innovation in virtually every facet of modern aerospace and defense mobility, including platform, system, subsystem, component, and material research and development, engineering, manufacturing, assembly, test and validation, certification, integration, deployment, sustainment, safety, security, and sustainability. Innovators and thought-leaders from the global aerospace community convene annually at AeroTech to share and learn about the latest advancements and achievements, advance technical knowledge and innovation, discuss challenges and practical solutions, discover new technologies and techniques, uncover trends and opportunities, network, and collaborate.