For the past decade systems engineers and Real-Time, Embedded, and Safety-Critical (RTESC) systems and software engineers have struggled to comply with the demands of ARP4754, DO-178C/330/331, and DO-254 . These specifications mandate requirements be systematically traced from high-level requirements to low-level detail design specifications. A task that seems simple but becomes extremely costly as system design complexity increases. Model-Based Systems Engineering (MBSE) practices have greatly aided this process, but have required the use of two different industry standard languages, SAE (Architecture Analysis & Design Language) AADL (a RTESC systems architecture modeling language) and OMG SysML (a systems engineering modeling language). Furthermore, the tools for applying these two languages are also different with little data interoperability between them. Consequently, systems engineers have had no choice but to use manual document-centric methods for end-to-end traceability. To resolve this short coming, SAE and OMG have joined together to merge AADL into SysMLv2 by creating a domain extension library in SysMLv2 that captures the needed concepts, constructs, and constrains for modeling and analyzing RTESC systems. This library provides definitions and examples to support concepts from the SAE AADLv2 standard in SysMLv2.
For more information on this work-in-progress or to contribute, please join the OMG RTESC WG - A System Modeling Community (SMC) Working Group. All working documents supporting this work are available on the RTESC WG Causeway collaboration site. It is the intension of the OMG RTESC WG to submit this body of work to SAE and OMG as a new joint standard for RTESC system development.
The library is released under the CC-BY-ND - Attribution-NoDerivatives 4.0 license. See LICENSE.txt for details.
aadl.librarycontains the main libraryexamples: various commented examples
-
Most of the AADLv2 core language has been translated as a collection of SysMLv2 parts, ports, and attributes. Typing rules have not been translated, they will be part of future releases of the library.
-
Most AADLv2 properties have been translated as either SysMLv2 attributes, or specific SysMLV2 patterns (such as Actual_*_Binding properties). See
examplesfor details. Some properties have been omitted as they are either seldom used, or influence AADL behavioral semantics. The latter will be reviewed in a future iteration. -
The following elements of have not been translated:
- AADL flows
- AADL modes
- AADL Behavioral annex property set has been translated.
- AADL Data Modeling annex property set has been translated and is available for testing.
- Jerome Hugues, Galois Inc,
- Joe Seibel, CMU/SEI
- Lutz Wrage, CMU/SEI
- Pierre Dissaux, Ellidiss
