A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach
Ricardo J. Machado, Joao Miguel Fernandes, Henrique Santos · 2000
Introduction The vast majority of embedded systems are control-dominated systems and traditionally designers specify them using only a state-oriented model, such as FSMs. However, real-time embedded systems are getting quite complex, which implies that a different approach is necessary. The system specification has to fulfil several requirements, namely support for concurrency, timing constraints, hierarchy, data and control flow, and distributed computations. Thus, for modelling more aspects of the systems (namely, data and function), it is important to consider genuine multiple-view models. There is also absolutely no doubt that IT organisations can improve efficiency and productivity if they share the same notation. In this context, the authors recommend the utilisation of some UML views to specify embedded systems, because it is a notation that covers the most relevant modelling aspects of systems and it is an OMG standard. Figure 1. The HIDRO lines. This paper