Extending AADL for Security Design Assurance of the Internet of Things Poster (SEI 2015 Research Review)
October 2015 • Poster
Rick Kazman, Carol Woody
This poster describes a project that aims to extend AADL to better address security in the architecture
Software Engineering Institute
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.