search menu icon-carat-right cmu-wordmark

Integrating Safety and Security Engineering for Mission-Critical Systems (2019)

This poster provides an update on research to make systems safer and more secure.

Software Engineering Institute


This project consists of four efforts, all of which utilize the Architecture Analysis and Design Language (AADL), an SEI-created, internationally standardized language for designing critical systems. The four efforts are (1) security annex and patterns, (2) archtecture-supported audit processor, (3) Slang and High-Assurance Modeling and Rapid Engineering for embedded systems, and (4) architecture-led incremental system assurance.