A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach

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.

[1]  R.J. Machado,et al.  Hierarchical mechanisms for high-level modeling and simulation of digital systems , 1998, 1998 IEEE International Conference on Electronics, Circuits and Systems. Surfing the Waves of Science and Technology (Cat. No.98EX196).

[2]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[3]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[4]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[5]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[6]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[7]  Alberto José Proença,et al.  An object-oriented model for rapid prototyping of data path/control systems - a case study , 1998 .

[8]  A. Moore,et al.  REAL-TIME EXTENSIONS TO UML , 1998 .

[9]  Alberto José Proença,et al.  SOFHIA: a CAD environment to design digital control systems , 1997 .

[10]  R.J. Machado,et al.  Specification of industrial digital controllers with object-oriented Petri nets , 1997, ISIE '97 Proceeding of the IEEE International Symposium on Industrial Electronics.

[11]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[12]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[13]  Janusz Zalewski,et al.  Object-oriented software engineering. A use case driven approach , 1993 .

[14]  Henrique M. Dinis Santos,et al.  Modeling industrial embedded systems with UML , 2000, Proceedings of the Eighth International Workshop on Hardware/Software Codesign. CODES 2000 (IEEE Cat. No.00TH8518).

[15]  Luciano Lavagno,et al.  Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets , 1999 .

[16]  Bernd Kleinjohann,et al.  Towards a complete design method for embedded systems using predicate/transition-nets , 1997 .

[17]  Ricardo J. Machado,et al.  An Evolutionary Approach to the Use of Petri Net Based Models , 1998 .

[18]  Andrew Lyons,et al.  UML for Real-Time Overview , 1998 .

[19]  Bruce Powel Douglass.  Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[20]  Charles Lakos,et al.  The Object Orientation of Object Petri Nets , 1995 .

[21]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[22]  Sébastien Gérard,et al.  Real-Time Modeling with UML: The ACCORD Approach , 1998, UML.

[23]  Wolfgang Nebel,et al.  Modeling Hard Real Time Systems with UML , 1999, UML.

[24]  Petru Eles,et al.  Modelling of real-time embedded systems in an object-oriented design environment with UML , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).