A Petri net meta-model to develop software components for embedded systems

This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify, the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together with a generalised arc set capable of coping with the complexity of the current embedded systems. This new Petri net meta-model can also be used to support a component-based development approach in the design of generic and parametrisable control-oriented software components for embedded systems.

[1]  Pamela Zave,et al.  The operational versus the conventional approach to software development , 1984, CACM.

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

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

[4]  Ricardo J. Machado,et al.  A Methodology for Complex Embedded Systems Design , 2001 .

[5]  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).

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

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

[8]  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.

[9]  Luciano Lavagno,et al.  Synthesis of embedded software using free-choice Petri nets , 1999, DAC '99.

[10]  Alberto José Proença,et al.  VHDL generation from hierarchical Petri net specifications of parallel controllers , 1997 .

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

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

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

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

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

[16]  Alexandre Yakovlev,et al.  Designing an asynchronous processor using Petri nets , 1997, IEEE Micro.

[17]  João M. Fernandes,et al.  A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach , 2000, DIPES.

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

[19]  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).

[20]  Bruce Powell Douglass,et al.  Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

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

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

[23]  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).

[24]  Cris Kobryn.  UML 2001: a standardization odyssey , 1999, CACM.

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