The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the currently available frameworks, the joint description of hardware and software ends with the partitioning. Within this paper, we want to propose a new view of object-oriented systems, that allows the refinement of such systems from the abstract object-oriented description of the underlying algorithms down to the register transfer level within one single framework. The key contribution of this work is the separation of the representation of behaviour and its usage. We introduce a graph based model for the structural representation of concurrent object-oriented systems, that supports alternative behaviours as well as inheritance, polymorphism, reconfiguration and mobility.
Joachim K. Anlauf, Philipp A. Hartmann