To develop technology for generating custom dependability gauges, which monitor dependability properties (e.g., security, safeity, fault-tolerance, etc.) of a complex, evolving system architecture at runtime. For more details, see this technical summary extracted from the proposal.

• Architecture-Driven Software Component Retrieval

The first product of our DASADA work is the Acme Map Generator (AMG). Acme, an architectural description language (ADL) designed by David Garlan's group at CMU and Dave Wile at Teknowledge, is a DASADA standard for the description of architectural structure. Recently, a draft proposal for adding a map construct to Acme has been produced. Maps provide a means for describing the relationship between two different descriptions of the same architecture. The AMG is a tool for transformationally generating abstractions of architectural descriptions and maps linking the descriptions to the abstractions. These map links can be composed to create maps from very low-level descriptions to very high-level descriptions. Developing such maps "by hand" would be a tedious and error-prone process.

The distribution consists of (copylefted) source code, a standalone executable for Linux on Intel, a little bit of documentation describing how to run and extend the application, and a first approximation to a Tcl/Tk-based GUI. (Note that the GUI doesn't do any error-handling, so it's not really suitable for serious use yet.) The AMG is written in Prolog. The version we're providing is for SICStus Prolog. Modifications needed to make the code work under Ciao Prolog, which is free (in both senses), have been included. (Ciao was used to generate the standalone executable.) Porting to other close-to-ISO-standard Prologs (Quintus, SWI, GNU, etc.) should be easy. (Ask for help if you need it.)

• Robert Riemenschneider

• Intrusion Tolerant Software Architectures  (2001)
• Formal analysis for realtime scheduling  (2000)