Model-Based Design and Verification of Embedded Software

The widespread use of embedded systems mandates a rigorous engineering approach towards embedded software development, i.e. model-based design and verification of embedded software. The paper presents a number of models that have been developed in the context of the COMDES framework. These have been used to derive design patterns for reusable and reconfigurable components, such as the state logic controller and the hybrid state logic controller, whose principles of operation are presented in the paper. The implications of the adopted modeling technique are discussed in the context of model-based verification of component-based embedded systems.