Issue No. 01 - January/February (2010 vol. 8)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MSP.2009.143
Jörgen Hansson , Software Engineering Institute, Carnegie Mellon University
Lutz Wrage , Software Engineering Institute, Carnegie Mellon University
Peter H. Feiler , Software Engineering Institute, Carnegie Mellon University
John Morley , Software Engineering Institute, Carnegie Mellon University
Bruce Lewis , Software Engineering Institute, Carnegie Mellon University
Jérôme Hugues , Institut Telecom, ParisTech, France
The modeling of system quality attributes, including security, is often done with low-fidelity software models and disjointed architectural specifications by various engineers using their own specialized notations. These models typically aren't maintained or documented throughout the life cycle and make it difficult to obtain a system view. However, a single-source architecture model annotated with analysis-specific information lets designers reflect changes in the various analysis models with little effort. This approach also lets designers conduct adequate trade-off analyses and evaluate architectural variations prior to system realization. This article describes how model-based development using the Architecture Analysis and Design Language (AADL) and compatible analysis tools provides the platform for multidimensional, multifidelity analysis and verification.
security, verification, architectural modeling, AADL, Architecture Analysis and Design Language
L. Wrage, J. Hugues, P. H. Feiler, J. Hansson, J. Morley and B. Lewis, "Architectural Modeling to Verify Security and Nonfunctional Behavior," in IEEE Security & Privacy, vol. 8, no. , pp. 43-49, 2010.