Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models

ABSTRACT

System-level specification can benefit from the feature-rich UML visual notations. However, it is necessary to integrate UML into current SoC design flows. Unlike previous approaches that relied on code generation or static analysis, this paper proposes the direct co-simulation of SoC specifications and UML sequence diagrams. In order to cope with the lack of formal execution semantics in UML sequence diagrams, we benefit from the flexibility of actor-orientation so that alternative execution semantics can be assigned to a given diagram by the designer using an extensible library of directors.

REFERENCES

• 1: Eker, J. et al. Taming heterogeneity-the Ptolemy approach. Proc. of the IEEE, 91, 1 (2003), 127--144.
• 2: Axel Jantsch, Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2003
• 3: Lee, E. A., Neuendorffer, S., and Wirthlin, M. J. Actor-Oriented Design of Embedded Hardware and Software Systems. Journal of Circuits, Systems, and Computers, 12, 3 (2003), 231--260.
• 4: Blaise Genest , Anca Muscholl, Message Sequence Charts: A Survey, Proceedings of the Fifth International Conference on Application of Concurrency to System Design, p.2-4, June 07-09, 2005 [doi>10.1109/ACSD.2005.25]
• 5: Edwards, S., Lavagno, L., Lee, E. A., and Sangiovanni-Vincentelli, A. Design of embedded systems: Formal models, validation, and synthesis. Proc. of the IEEE, 85, 3 (1997), 366--390.
• 6: Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
• 7: F. Herrera , E. Villar, A framework for embedded system specification under different models of computation in SystemC, Proceedings of the 43rd annual conference on Design automation, July 24-28, 2006, San Francisco, CA, USA [doi>10.1145/1146909.1147140]
• 8: James Rumbaugh , Ivar Jacobson , Grady Booch, The Unified Modeling Language reference manual, Addison-Wesley Longman Ltd., Essex, UK, 1998
• 9: Oliveira, M. F. S. et al. Embedded SW Design Exploration Using UML-based Estimation Tools. Presented at DAC Workshop on UML for SoC Design (UML-SOC), Anaheim, USA, 2005.
• 10: E. Riccobene , P. Scandurra , A. Rosti , S. Bocchio, A SoC Design Methodology Involving a UML 2.0 Profile for SystemC, Proceedings of the conference on Design, Automation and Test in Europe, p.704-709, March 07-11, 2005 [doi>10.1109/DATE.2005.37]
• 11: Bruschi, F., Sciuto, D. A SystemC based design flow starting from UML models. Presented at European SystemC Users Group Meeting (ESCUG), Lago Maggiore, Italy, 2002.
• 12: Qiang Zhu , Ryosuke Oishi , Takashi Hasegawa , Tsuneo Nakata, System-on-chip validation using UML and CWL, Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, September 08-10, 2004, Stockholm, Sweden [doi>10.1145/1016720.1016745]
• 13: Robertas Damaševičius , Giedrius Majauskas , Vytautas Štuikys, Application of design patterns for hardware design, Proceedings of the 40th conference on Design automation, June 02-06, 2003, Anaheim, CA, USA [doi>10.1145/775832.775847]
• 14: Schattkowsky, T., Mueller, W., and Rettberg, A. A Generic Model Execution Platform for the Design of Hardware and Software. In UML for SOC Design, G. Martin and W. Müller, Eds. Dordrecht: Springer, 2005, p. 63--88.
• 15: Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
• 16: Indrusiak, L. S. and Glesner, M. An Actor-Oriented Model-Based Design Flow for Systems-on-Chip. In Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme II , 2006, pp. 65--73.
• 17: Indrusiak, L. S. and Glesner, M. Experiences on Actor-oriented Design of Reconfigurable Systems. In Proc. Int. Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2005.
• 18: DeJuan-Esteban, C.A. et al. An approach to Co-design of Complex Adaptive Systems. In Proc. Int. Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2006.
• 19: Leandro Soares Indrusiak , Romualdo Begale Prudencio , Manfred Glesner, Modeling and Prototyping of Communication Systems Using Java: A Case Study, Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping, p.225-231, June 08-10, 2005 [doi>10.1109/RSP.2005.32]
• 20: Leandro Soares Indrusiak , Andreas Thuy , Manfred Glesner, Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns, Proceedings of the conference on Design, automation and test in Europe, April 16-20, 2007, Nice, France

INDEX TERMS

Primary Classification:
  J. Computer Applications
  J.6 COMPUTER-AIDED ENGINEERING
      Subjects: Computer-aided design (CAD)

Additional Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: Systems specification methodology

General Terms:
Design, Experimentation, Languages, Verification

Keywords:
UML, actor-orientation, electronic system level, embedded systems, message sequence charts, sequence diagram