icon-carat-right menu search cmu-wordmark

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

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

Software Engineering Institute

Abstract

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.