Show simple item record

dc.contributor.authorRugaber, Spenceren_US
dc.contributor.authorStirewalt, R. E. Kurt
dc.date.accessioned2005-06-17T17:34:35Z
dc.date.available2005-06-17T17:34:35Z
dc.date.issued2005en_US
dc.identifier.urihttp://hdl.handle.net/1853/6480
dc.description.abstractThe 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: 1) 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: 1) 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.en_US
dc.format.extent613895 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.relation.ispartofseriesCC Technical Report; GIT-CC-05-03en_US
dc.subjectHigh performance systems
dc.subjectInteractivity
dc.subjectQoS guarantees
dc.subjectComponents
dc.titleDynamic Assembly from Models (DYNAMO)en_US
dc.title.alternativeDARPA Dynamic Assembly for System Adaptability, Dependability, and Assurance Program
dc.typeTechnical Reporteng_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record