Automated Dynamic Assembly of Dependable System Architectures
Abstract
This project was part of the DARPA Dynamic Assembly for Systems Adaptability, Dependability, and Assurance (DASADA) Program. The DASADA program objective was to develop dynamic gauges or measures of component composability or interoperability. As military software systems become more complex, it is evident that they must be able to change themselves by swapping or modifying components, changing component interaction protocols, or changing topology. Particularly for critical military systems, we need to enable changes to be made predictably to ensure safety and reliability. The objective of this project was to develop technology for generating custom dependability gauges which monitor dependability properties (e.g., security, safety, fault tolerance) of a complex, evolving software architecture at runtime. This project's principal innovation consists of focusing on abstractions rather than refinement, and on automatic updating of abstractions and analyses developed at design time after making small well-structured changes to architectural requirements and the system architecture. Their dependability gauge technology is complementary to the more fine-grained runtime analysis that can be performed by monitoring events at component interfaces and within connectors that are being developed by other DASADA contractors.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 2004
- Accession Number
- ADA423392
Entities
People
- R. A. Riemenschneider
Organizations
- SRI International