Objectives: As systems become more software intensive and complex, managing their development and implementation also becomes more complex. Models in development today are isolated, domain-specific artifacts that are created throughout the design lifecycle. A mechanism is needed to integrate the design models with simulation environments in order to rapidly see the impacts as the design matures. The ability to perform verification, validation, and accreditation (VV&A) early in the modeling process and throughout the lifecycle could greatly improve the model and its contribution. To do that, a precise language would be required to model these systems in an integrated fashion to remove ambiguity and the segmented developmental lifecycle. Objectives of this research included exploring the unique capabilities of Architectural Analysis and Design Language (AADL) for developing high confidence (verified and validated) models as part of a system development lifecycle and to determine the maturity of the AADL tools for VV&A model refinement. To show how AADL could be used to embed the Verification and Validation of architectural models into the development process, an architectural model of the Army’s Systems Integration and Test Laboratory (STIL) was developed and used as a test bed.
Approach: The following process was followed:
Develop a conceptual architectural model that includes the logical functional blocks of the architecture, relevant performance requirements, and traceability to the system specification.
Use automated tools to verify model semantics and completeness.
Develop a runtime architectural model that includes the software and execution platform components of the system, relevant properties for analysis, and traceability to the conceptual architecture model and to the sources used to derive values in the model.
Verify the runtime architectural model for semantics, completeness, and whether the modeled architecture fulfills performance requirements specified in the conceptual architecture.
Validate analyses performed on the architectural models.
Continually engage the stakeholders in an iterative manner to refine the research.
Significant Research Findings & Products: The benefits of using AADL were seen including the ability to perform incremental VV&A on system architectures, perform trade studies on crucial components of the system and to discern deep architectural issues. Long-term benefits include the ability to reduce overall costs as found in the SAVI costs benefits study.