Search Results

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.

Abstract Threat identification and security analysis have become mandatory steps in the engineering design process of high-assurance systems, where successful cyberattacks can lead to hazardous property damage or loss of lives. This article describes a novel approach to perform security analysis on embedded systems modeled at the architectural level. The tool, called Security Threat Evaluation and Mitigation (STEM), associates threats from the Common Attack Pattern Enumeration and Classification (CAPEC) library with components and connections and suggests potential defense patterns from the National Institute of Standards and Technology (NIST) Special Publication (SP) 800-53 security standard. This article also provides an illustrative example based on a drone package delivery system modeled in AADL.

Connectivity takes center stage Telematic links have become the norm, helping fleet owners and operators improve efficiency and letting OEMs predict component failures. More power, less noise, fewer emissions These key attributes drive development of new generators both big and small. TARDEC pursues advanced power generation U.S. Army, GM collaborate on fuel-cell-generated electricity to power the vehicle's propulsion system and onboard electronics, while providing off-vehicle power via an Exportable Power Take-Off unit. Developing an alternative engine concept Ricardo's CryoPower engine leverages two unique combustion techniques for reduced emissions and fuel consumption-liquid nitrogen and split combustion. Long-haul trucking and stationary power generation will be the first beneficiaries of the technologies. Technology time-warp The road to autonomous driving has been under construction for decades, as showcased by SAE's Mobility History Committee at the 2018 WCX in Detroit.

SAE International is inviting global participation in its AeroTech® aerospace and defense technology conference and exhibition, which is for the first time co-located with ASM International’s AeroMat, at the Pasadena Convention Center in Pasadena, California, March 15 through 17, 2022.