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].