Architectural Modeling to Verify Security and Nonfunctional Behavior

摘要

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.