A formal component framework for distributed embedded systems

Abstract

The widespread use of embedded systems mandates the development of industrial software design methods based on formal models (frameworks) and prefabricated components. This paper presents a formal specification of the COMDES framework, focusing on the main architectural issues and the specific line of reasoning that was followed while developing a hierarchy of executable models describing relevant aspects of system structure and behaviour. The above framework has been used to systematically define a hierarchy of reusable and reconfigurable components - simple and composite function blocks, reconfigurable state machines and function units - implementing the executable models presented in the paper. © Springer-Verlag Berlin Heidelberg 2006.