Co-model structuring and design patterns

Abstract

In the design of potentially complex control software for embedded systems, it is essential to have the ability to structure collaborative models (co-models) in order to manage complexity and support re-use. This chapter presents aspects of the Crescendo modelling framework that support the organisation of co-models, and in particular their discrete-event constituent models that describe elements that will ultimately be realised as computer software. The role of inheritance in object-orientation is presented, along with the concept of a design pattern. Such co-modelling patterns are illustrated using a torsion bar example, with patterns for sensors and actuators and for reuse of concurrent thread definitions.