The usage of object oriented methodologies in conjunction with formal description
techniques has arisen as a promising way of dealing with the increasing complexity of
embedded real-time systems. These methodologies are currently well supported by a set of
tools that allow the specification, simulation and validation of the functional aspects of these
systems. However most of these methodologies do not take into account non-functional
aspects as hardware interaction and real-time constraints, which are especially important in …