The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (2010 vol. 8)
ISSN: 1540-7993
pp: 43-49
Lutz Wrage , Software Engineering Institute, Carnegie Mellon University
Jérôme Hugues , Institut Telecom, ParisTech, France
Peter H. Feiler , Software Engineering Institute, Carnegie Mellon University
Jörgen Hansson , Software Engineering Institute, Carnegie Mellon University
John Morley , Software Engineering Institute, Carnegie Mellon University
Bruce Lewis , Software Engineering Institute, Carnegie Mellon University
ABSTRACT
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.
INDEX TERMS
security, verification, architectural modeling, AADL, Architecture Analysis and Design Language
CITATION
Lutz Wrage, Jérôme Hugues, Peter H. Feiler, Jörgen Hansson, John Morley, Bruce Lewis, "Architectural Modeling to Verify Security and Nonfunctional Behavior", IEEE Security & Privacy, vol. 8, no. , pp. 43-49, January/February 2010, doi:10.1109/MSP.2009.143
89 ms
(Ver )