search menu icon-carat-right cmu-wordmark

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

October 2019 Poster
Sam Procter

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 sysems. The four efforts are (1) security annex and patterns, (2) archtiecture-supported audit processor, (3) Slang and High-Assurance Modeling and Rapid Engineering for embedded systems, and (4) architecure-led incremental system assurance.