Galois Releases AADL Library for SysMLv2

System engineers often rely on multiple modeling languages to do their work. The SAE Architecture Analysis and Design Language (AADL) harnesses substantial semantic and analytic capabilities to create, simulate, and validate system architecture, while OMG SysML serves as a powerful tool for specification, analysis, design, and verification. 

Together, these two standardized languages enable model-based systems engineering (MBSE), but using them together can be time-consuming, error-prone, and just plain hard – typically requiring manual translation from SysML v1 into AADL. Galois has supported customers with this translation work in the past – using the CAMET Library’s SysML to AADL Bridge Tool – but in doing so recognized the need to address the problem at its source. The September 2025 release of SysML v2 created an opportunity to rethink this workflow. With improved syntax and more expressive semantics, the new language supports richer architectural representations and opens the door for a more seamless integration with AADL.

Now, as part of ongoing standardization efforts, Galois Principal Scientist Jérôme Hugues and i3’s Gene Shreve are leading the development of an AADL Library for SysML v2. This work, done in collaboration with partners at Ellidiss, CMU/SEI, and Collins Aerospace, led to the recent release of the AADL Library for SysMLv2 on GitHub.

This integration brings the best of both worlds together – SysML’s descriptive capacity and AADL’s analysis – within the SysML v2 ecosystem. Instead of switching between modeling environments, engineers can now work within a single modeling framework that supports high-level system architecture modeling, precise embedded system representations, and analysis-ready semantics for safety and performance. The result is a more unified modeling workflow that saves time and money, maintains consistency across architectural design and systems analysis, and reduces modeling friction in a streamlined MBSE process. 

As MBSE adoption continues to accelerate across the DoW, DIB, and beyond, fragmentation – of languages, tools, and modeling conventions – represents one of the biggest challenges to scalable, real-world impact. Efforts like Galois’s lead in building an AADL Library for SysML v2 represent a step towards a more cohesive shared modeling ecosystem. 

At Galois, we’re excited to contribute to this rapidly evolving landscape and to support the development of modeling approaches, languages, and tools that make complex systems more understandable, analyzable, and trustworthy.

Interested in learning more? Check out Jérôme’s recent presentation at the SysMLv2 Transition forum – “Leveraging SysMLv2 for Continuous Systems Engineering” or the GitHub page of the AADL Library for SysMLv2.