Teknowledge Federal Systems Rick Hayes-Roth rhayes-roth@teknowledge.com
Loral Federal Systems Will Tracz tracz@lfs.loral.com
USC Information Sciences Institute Bob Balzer balzer@isi.edu
TRW Frank Belz belz@vision.sdd.trw.com
Odyssey Research Associates Richard Platek richard@oracorp.com
The Software Engineering Institute (SEI) is a server for DARPA ITO information and is a source of reports on other software architecture projects, including the Software Architecture Technology Initiative.
The school of computer science at Carnegie Mellon University has a Composable Software Systems Project and the Vitruvius Software Architectures Project, which are developing software architecture technologies, including technologies for real-time software.
The Measurement and Computing Systems Laboratory at Vanderbilt University is also working on technologies to integrate multiple discipline-specific models (what we might call architectural styles), with particular emphasis on tools and technologies that make it easier to create multi-model domain-specific development environments.
The Computer Aided Prototyping System project at the Naval Postgraduate School is developing languages and tools for the automated prototyping of real-time systems. The language and toolset focuses on the software and systems integration process and support rapid prototyping of real-time software architectures and systems.
A domain-specific software architecture is a kind of reusable development pattern. The patterns home page contains numerous references to information about patterns and pattern languages.
The goal of the DARPA Software Technology for Adaptable, Reliable Systems (STARS) program is to increase software productivity, reliability and quality by integrating support for modern software development processes and reuse concepts within software engineering environment (SEE) technology. The STARS program maintains a Software Architecture Technology Guide.
The DARPA-sponsored Arcadia Research Project is developing technologies to assist in building and integrating customized toolsets, such as those that might be assembled to support the development and use of software architectures in a particular domain.
Our Ada Software Integrated Development/Verification System program, sponsored by Wright Laboratories, has developed a companion test specification language for ControlH together with tools to automate the testing process and the capture of traceability information between control requirements, test specifications, and control algorithm specifications.
Our Avionics System Performance Management program, sponsored by Wright Laboratories, is developing real-time multi-processor performance instrumentation and measurement software and tools integrated with our MetaH real-time software architecture development system.
Other References
The IEEE
Technical Committee on Real-Time Systems maintains references to a number of
sources of information about real-time computing.
There are World Wide Web Virtual Libraries in the areas of Formal Methods and Safety-Critical Systems.
Proceedings of the Workshops on Software Reuse can be obtained over the network from the University of Maine Department of Computer Science.
Gregory Abowd, Robert Allen and David Garlan, Formalizing Style to Understand Descriptions of Software Architecture, January 1995 (see also the CMU SCS Technical Reports Archive)
J. Krueger, E. Engstrom and J. Ward, "MetaDoME: A Rapid Prototyping Tool Supporting Graphical Modeling Tool Development," Honeywell Technical Report CS-R93-021, Honeywell Technology Center, Minneapolis MN, February 1994.