A Methodology for Complex Embedded Systems Design

This paper focuses mainly on the analysis phase, describing a UML-based approach for designing complex embedded systems, and specifically the usefulness of using shobi-PN v2.0 specifications, a Petri net extension, for modelling the dynamic behaviour. A relatively complex case study is used to show the usefulness of the suggested specification approach.

[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]  João M. Fernandes,et al.  Modeling industrial embedded systems with UML , 2000, CODES '00.

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

[4]  Luis Gomes,et al.  Hardware Design and Petri Nets , 2000 .

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

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

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

[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]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

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

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

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

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

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

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

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

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

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

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

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

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