A methodology for complex embedded systems design: Petri nets within a UML approach

IFIP Advances in Information and Communication Technology

Volumn 61, Issue , 2001, Pages 1-10

  Machado, R J ^a   Fernandes, J M ^a   Santos, H D ^a  

^a UNIVERSITY OF MINHO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE; PETRI NETS; SPECIFICATIONS;

DESIGNING COMPLEX; DYNAMIC BEHAVIOURS; UML-BASED APPROACH;

EMBEDDED SYSTEMS;

EID: 84904257297     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35409-5_1     Document Type: Conference Paper

References (22)

1. Booch, G., Rumbaugh, J., Jacobson, I. (1999). The Unified Modeling Language User Guide, Addison-Wesley.
2. David, R., Alla, H. (1992). Petri Nets & GRAFCET: Tools for Modelling Discrete Event Systems, Prentice-Hall.
3. Douglass, B. P. (1998). Real-Time UML: Developing Efficient Objects for Embedded Systems, Addison-Wesley.
4. 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.
5. Fernandes, J. M., Machado, R. J., Santos, H. D. (2000). "Modeling Industrial Embedded Systems with UML. " 8th JEEEIJFIPIACM International Workshop on Hardware/Software Co-Design-CODES'2000, pp. 18-22, San Diego, U. S. A., May, 2000, ACM Press.
6. Gajski, D., Vahid, F., Narayan, S. (1994). Specification and Design of Embedded Systems, Prentice-Hall.
7. Software Jacobson, I., Christerson, M., Jonsson, P., Overgaard, G. (1992). Object-Oriented Engineering: A Use Case Driven Approach, Addison-Wesley.
8. Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. I, Springer-Verlag.
9. 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-/SORC'2000, pp. 210-203, Newport Beach, U. S. A., March.
10. 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.
11. Kleinjohann, B., Tacken, I., Tahedl, C. (1997). "Towards a Complete Design Method for Embedded Systems Using Predicatetrransition-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 & Hall.
12. Lakos, C. (1995). "The Object Orientation in Object Petri Nets. " 1st Workshop on Object-Oriented Programming and Models of Concuffency, Torino, Italy.
13. Lanusse, A., Gerard, 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.
14. Lyons, A. (1998). UMLfor Real-Time Overview, ObjecTime Limited, April.
15. Machado, R. I., Fernandes, I. M., Proenra A. I. (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 & Hall.
16. Machado, R. I., Fernandes, I. M., Proenra. A. I. (1997b). "Specification of Industrial Digital Controllers with Object-Oriented Petri Nets. " IEEE International Symposium on Industrial Electronics-/SIE'97, vol. I, pp. 78-83, Guimaraes, Portugal, July.
17. Machado, R. I., Fernandes, J. M., Proenra, A. J. (1998a). "An Object-Oriented Model for Rapid-Prototyping of Data Path/Control Systems-A Case Study. " 9th IFACIIFIP Symposium on Information Control in Manufacturing-INCOM'98, vol. II, pp. 269-274, Nancy & Metz, France, June.
18. Machado, R. I., Fernandes, I. M., Proenra A. I. (1998b). "Hierarchical Mechanisms for High-level Modeling and Simulation of Digital Systems. " 5th IEEE International Conference on Electronics, Circuits and Systems-ICECS'98, vol. III, pp. 229-232, Lisbon, Portugal, September.
19. Machado, R. J., Fernandes, I. M., Esteves, A. I., 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.
20. McLaughin, M., Moore, A. (1998). "Real-Time Extensions to UML. " Dr. Dobb's Journal, (292), 82-93, December.
21. 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.
22. Zave, P. (1984). "The Operational vs. the Conventional Approach. " Communications of the ACM, 27(2): 104-18, 1984.