search menu icon-carat-right cmu-wordmark

Extending AADL for Security Design Assurance of the Internet of Things Poster (SEI 2015 Research Review)

This poster describes a project that aims to extend AADL to better address security in the architecture

Software Engineering Institute


Important decisions that establish security in a system are made in the architecture.
Formal modeling provides a means to continually verify that design and code changes are consistent with security requirements. We extended the core modeling concepts of AADL with security properties, to formally model architectural properties relevant to security.