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.
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.