Search Results

Zero trust (ZT) is an emerging initiative that focuses on securely providing access to resources based on defined policies. The core tenet of ZT is “never trust, always verify”, meaning that even within trusted zones of operation, resource access must be explicitly granted. ZT has proven effective in improving the security posture in domains such as information technology infrastructure; however, additional research and development is needed to define and apply zero trust principles to cyber-physical system domains. To work toward this objective, we have identified an initial set of ZT architectural patterns targeted specifically at cyber-physical systems. We created ZT architecture patterns in the Architecture Analysis and Design Language (AADL), a modeling language that enables engineers to describe the key elements of embedded system architectures using a well-defined semantics.

In recent years, the increasing complexity of modern aerospace systems has driven the rapid adoption of robust Model-Based Systems Engineering (MBSE). MBSE is a development methodology centered around computational models, which are instrumental in supporting the design and analysis of intricate systems. In this context, the Architecture Analysis and Design Language (AADL) and Systems Modeling Language (SysML) are two prominent modeling languages for specifying and analyzing the structure and behavior of a cyber-physical system. Both languages have their own specific use cases and tool environments and are typically employed to model different aspects of system design. Although multiple software tools are available for transforming models from one language to another, their effectiveness is limited by fundamental differences in the semantics of each language.

Certification standards for high-assurance systems include objectives for demonstrating compliance of process artifacts such as requirements and code with style guidelines and other standards. With the emergence of model-based development, similar objectives have been specified that apply to models. Demonstration of compliance is often achieved by employing a static analysis linter tool. This paper describes Resolint, an open-source, lightweight linter tool for checking compliance of Architecture Analysis and Design Language (AADL) models with modeling guidelines. AADL enables engineers to describe the key elements of distributed, real-time, embedded system architectures with a sufficiently rigorous semantics. In addition, AADL provides an annex mechanism for extending the base language, enabling new kinds of analyses and tool support. Resolint uses the AADL annex capability to provide a language for specifying style guide rule sets.