DYNAMO: Dynamic Assembly From Models
Abstract
The DYNAMO project is concerned with assembling high-assurance systems from components, and, specifically, with guaranteeing correct interaction of sets of large, heterogeneous components. Several problems must be overcome to provide such guarantees: I) dealing with the sheer complexity of the individual components and their interoperation; 2) maintaining design integrity and information hiding in the individual components; 3) providing the desired guarantees; and 4) not compromising efficiency while accomplishing the other goals. DYNAMO addresses these problems with several techniques: I) a layered, implicit invocation architecture limits complexity by reducing the quantity and nature of allowed interactions; 2) a declarative specification mechanism abstracts away low-level details such as event dispatch and handling and variable updates; and 3) compile time component wrapper generation removes expensive, inter-layer procedure calls.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 2004
- Accession Number
- ADA421751
Entities
People
- Kurt Stirewalt
- Spencer Rugaber
Organizations
- Georgia Tech