Abstract
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.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35409-5_23
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Booch, G., Rumbaugh, J., Jacobson, I. (1999). The Unified Modeling Language User Guide,Addison-Wesley.
David, R., Alla, H. (1992). Petri Nets and GRAFCET: Tools for Modelling Discrete Event Systems,Prentice-Hall.
Douglass, B. P. (1998). Real-Time UML: Developing Efficient Objects for Embedded Systems,Addison-Wesley.
Fehling, R. (1993). “A Concept of Hierarchical Petri Nets with Building Blocks.” Advances in Petri Nets 1993, Lecture Notes in Computer Science, vol. 674, pp. 148–168, Springer-Verlag.
Fernandes, J. M., Machado, R. J., Santos, H. D. (2000). “Modeling Industrial Embedded Systems with UML.” 8th IEEE/IFIP/ACM International Workshop on Hardware/Software Co-Design - CODES’2000, pp. 18–22, San Diego, U.S.A., May, 2000, ACM Press.
Gajski, D., Vahid, F., Narayan, S. (1994). Specification and Design of Embedded Systems,Prentice-Hall.
Jacobson, I., Christerson, M., Jonsson, P., Övergaard, G. (1992). Object-Oriented Software Engineering: A Use Case Driven Approach,Addison-Wesley.
Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use,vol. I, Springer-Verlag.
Jigorea, R., Manolache, S., Eles, P., Peng, Z. (2000). “Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML.” 3rd IEEE International Symposium on Object-Oriented Real-Time, Distributed Computing–ISORC ‘2000, pp. 210–203, Newport Beach, U.S.A., March.
Kabous, L., Nebel, W. (1999). “Modeling Hard Real-Time Systems with UML: The OOHARTS Approach.” 2nd International Conference on the Unified Modeling Language - UML’99, Fort Collins, U.S.A., October.
Kleinjohann, B., Tacken, J., Tahedl, C. (1997). “Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets.” Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems, chapter 1, pp. 4–23, C. Delgado Kloos e E. Cerny (editors), Chapman and Hall.
Lakos, C. (1995). “The Object Orientation in Object Petri Nets.” 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy.
Lanusse, A., Gérard, S., Terrier, F. (1998). “Real-Time Modeling with UML: The ACCORD Approach.” International Workshop on the Unified Modeling Language: Beyond the Notation - UML’98, Mulhouse, France.
Lyons, A. (1998). UML for Real-Time Overview, ObjecTime Limited, April.
Machado, R. J., Fernandes, J. M., Proença, A. J. (1997a). “SoFHIA: A CAD Environment to Design Digital Control Systems.” Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems, chapter 10, pp. 86–88, C. Delgado Kloos e E. Cerny (editors), Chapman and Hall.
Machado, R. J., Femandes, J. M., Proença, A. J. (1997b). “Specification of Industrial Digital Controllers with Object-Oriented Petri Nets ” IEEE International Symposium on Industrial Electronics–ISIE’97, vol. I, pp. 78–83, Guimarâes, Portugal, July.
Machado, R. J., Femandes, J. M., Proença, A. J. (1998a). “An Object-Oriented Model for Rapid-Prototyping of Data Path/Control Systems–A Case Study.” 9th IFAC/IFIP Symposium on Information Control in Manufacturing–INCOM’98, vol. II, pp. 269–274, Nancy and Metz, France, June.
Machado, R. J., Fernandes, J. M., Proença, A. J. (1998b). “Hierarchical Mechanisms for High-level Modeling and Simulation of Digital Systems.” 5th IEEE International Conference on Electronics, Circuits and Systems–ICECS ‘88, vol. III, pp. 229–232, Lisbon, Portugal, September.
Machado, R. J., Fernandes, J. M., Esteves, A. J., Santos, H. D. (2000). “An Evolutionary Approach to the Use of Petri Net based Models: From Parallel Controllers to HW/SW Co-Design.” Hardware Design and Petri Nets, chapter 11, pp. 205–222, A. Yakovlev, L. Gomes e L. Lavagno (editors), Kluwer Academic Publishers.
McLaughin, M., Moore, A. (1998). “Real-Time Extensions to UML.” Dr. Dobb’s Journal, (292),82–93, December.
Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A. (1998). “Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets.” 1st Workshop on Hardware Design and Petri Nets - HWPN’98, Lisbon, Portugal, June.
Zave, P. (1984). “The Operational vs. the Conventional Approach.” Communications of the ACM, 27 (2): 104–18, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Machado, R.J., Fernandes, J.M., Santos, H.D. (2001). A Methodology for Complex Embedded Systems Design. In: Kleinjohann, B. (eds) Architecture and Design of Distributed Embedded Systems. DIPES 2000. IFIP — The International Federation for Information Processing, vol 61. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35409-5_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-35409-5_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4535-1
Online ISBN: 978-0-387-35409-5
eBook Packages: Springer Book Archive