The HADES Architectural Style - Development and Definition
Technical Report YCS-2004-373, University of York, February 2004
This report describes the development of an architectural style for the description of embedded control software. It identifies the needs of such a style, and defines its components, connectors, rules and patterns. An example of an architecture using this style is implemented using the SPARK Ada language.
NOTE There are some errors in this version of the report, particularly surrounding the synchronization of pool structures. A more up-to-date treatment is available in [smc2006].