SystemC/C-based model-driven design for embedded systems

Transactions on Embedded Computing Systems

Volumn 8, Issue 4, 2009, Pages

  Riccobene, Elvinia ^e   Scandurra, Patrizia ^a   Bocchio, Sara ^b   Rosti, Alberto ^b   Lavazza, Luigi ^c   Mantellini, Luigi ^d,f  

^a UNIVERSITY OF BERGAMO   (Italy)

^b STMICROELECTRONICS   (Italy)

^c UNIVERSITY OF INSUBRIA   (Italy)

^d Dial Face Industry ^*

^e UNIVERSITY OF MILAN   (Italy)

^f Industrie Dial Face SpA   (Italy)

Author keywords

C; ES; MDE; SoC; SystemC; UML

Indexed keywords

C; ES; MDE; SOC; SYSTEMC; UML;

ABSTRACTING; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; LINGUISTICS; LOGIC DESIGN; MODEL STRUCTURES; PROGRAMMABLE LOGIC CONTROLLERS; QUERY LANGUAGES; SYSTEMS ANALYSIS; UNIFIED MODELING LANGUAGE;

MATHEMATICAL MODELS;

EID: 69149097478     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1550987.1550993     Document Type: Article

References (59)

1. Arlow, J. and Neustadt, I. 2002. UML and the Unified Process. Addison Wesley, Reading, MA.
2. ASMETA. 2009. The Abstract State Machine mETAmodeling. Web site. http://asmeta.sf.net/.
3. Beziviń, J. 2005. On the unification power of models. Softw. Syst. Model. 4, 2, 171-188.
4. Bocchio, S., Lavazza, L., Mantellini, L., and Rosti, A. 2007. A UML profile for Posix thread library. STMicroelctronics Tech. rep., AST-AGR-2007-2017
5. Bocchio, S., Riccobene, E., Rosti, A., and Scandurra, P. 2005. A SoC design flow-based on UML 2.0 and SystemC. In Proceedings of the International Design Automation Conference. ACM, New York.
6. Bocchio, S., Riccobene, E., Rosti, A., and Scandurra, P. 2008. An enhanced SystemC UML profile for modeling at transaction-level. In Embedded Systems Specification and Design Languages. Springer, Berlin.
7. Börger, E. and Stärk, R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, Berlin.
8. Bruschi, F. and Sciuto, D. 2002. SystemC based design flow starting from UML model. In Proceedings of the European SystemC Users Group Meeting.
9. Carioni, A., Gargantini, A., Riccobene, E., and Scandurra, P. 2008. Scenario-based validation of embedded systems. In Proceedings of the Forum on Specification and Design Languages.
10. Carioni, A., Gargantini, A. Riccobene, E., and Scandurra, P. 2009. Model-driven system validation by scenarios. In Languages for Embedded Systems and Their Applications. Springer-Verlag, Berlin.
11. Chen, J. and Cui, H. 2004. Translation from adapted UML to Promela for CORBA-based applications. In Proceedings of the 11th SPIN Workshop. Springer-Verlag, Berlin, 234-251.
12. Czarnecki, K. and Helsen, S. 2003. Classification of model transformation approaches. In Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Achitecture. ACM, New York.
13. ECSI UML Workshop. 2006. UML profiles for embedded systems, http://www.ecsi-association.org/ecsi.
14. Edwards, M. and Green, P. 2003. UML for hardware and software object modeling. In UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic, Dordrecht, The Netherlands.
15. Enterprise Architect. 2008. The Enterprise Architect Tool. http://www.sparxsystems.com.au/.
16. Gargantini, A., Riccobene, E., and Scandurra, P. 2008a. A language and a simulation engine for abstract state machines based on meta-modeling. J. Universal Comput. Sci. 14, 12, 1949-1983.
17. Gargantini, A., Riccobene, E., and Scandurra, P. 2008b. A model-driven validation & verification environment for embedded systems. In Proceedings of the 3rd IEEE Symposium on Industrial Embedded Systems (SIES'08). IEEE, Los Alamitos, CA.
18. Gargantini, A., Riccobene, E., and Scandurra, P. 2009. Model-driven design and ASM-based validation of embedded systems. In Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. Springer, Dordrecht, The Netherlands.
19. Gröetker, T., Liao, S., Martin, G., and Swan, S. 2002. System Design with SystemC. Kluwer Academic, Amsterdam.
20. XACT. 2007 SPIRIT Consortium, IP-XACT schema v1.4. http://www. spiritconsortium.org.
21. Jerraya, A. A. and Wolf, W. 2004. Multi-Processor Systems-on-Chips. Elsevier, San Francisco, CA.
22. Keutzer, K., Newton, A. R., Rabaey, J. M., and Vincentelli, A. S. 2000. System-level design: Orthogonalization of concerns and platform-based design. IEEE Trans. CAD Integr. Circu. Syst. 19, 12, 1523-1543.
23. Kreku, J., Hoppari, M., and Tiensyrja, K. 2007. SystemC workload model generation from UML for performance simulation. In Proceedings of the Forum on Specification and Design Languages.
24. Kruchten, P. 1999. The Rational Unified Process. Addison Wesley, Reading, MA.
25. Lavangno, L., Martin, G., Vincentelli, A. S., Rabaey, J., Chen, R., and Sgroi, M. 2003. UML and platform-based design. In UML for Real Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Dordrecht, The Netherlands.
26. Leroux, H., Mingins, C., and Requile-Romanczuk, A. 2003. JACOT: AUML-basedtoolfortherun-time-inspecton of concurrent Java programs. In Proceedings of the 1st Workshop on Advancing the State-of-the-Art in Run-Time Inspection. Elsvier, Amsterdam.
27. MARTE. 2008. OMG, UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE), ptc/08-06-08.
28. Martin, G. 1999. UML and VCC. White paper. Candence Design Systems. Inc.
29. Martin, G. and Mueller, W. 2005. UML for SoC Design. Springer, Berlin, Germany.
30. MDA. 2003. OMG, the Model Driven Architecture. Guide V1.0.1. http://www.omg.org/mda/.
31. Moore, T., Vanderperren, Y., Sonck, G., Van Oostende, P., Pauwels, M., and Dehaene, W. 2002. A design methodology for the development of a complex system-on-chip using UML and executable system models. In Proceedings of the Forum on Specification and Design Languages.
32. Mura, M. Paoloieri, M., Negri, L., and Sami, M. 2007. StateCharts to SystemC: A high-level hardware simulation approach. In Proceedings of the 17th ACM Great Lakes Symposium on VLSI. ACM, New York, 505-508.
33. Nguyen, K. D., Sun, Z., Thiagarajan, P. S., and Wong, W F. 2005. Model-driven SoC design: The UML-SystemC bridge. In UML for SoC Design, Martin, G. and Mueller, W. Springer, Berlin, Germany.
34. OCCN. 2005. OCCN Project. http://occn.sourceforge.net/.
35. Open Group. 2008. The Open Group Consortium. http://www.opengroup.org.
36. OpenMP. 2008. OpenMP Application Program Interface. http://www.openmp. org.
37. OSCI Group. 2008. The Open SystemC Initiative. http://www.systemc.org.
38. Raslam, W. and Sameh, A. 2007. Mapping SysML to SystemC. In Proceedings of Forum on Specification and Design Languages.
39. Riccobene, E. and Scandurra, P. 2004. Modelling SystemC process behavior by the UML method state machines. In Proceedings of the 1st International Workshop on Rapid Integration of Software Engineering Techniques. Springer, Berlin.
40. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2005a. A SoC design methodology based on a UML 2.0 profile for SystemC. In Proceedings of the Conference on Design Automation and Test in Europe (DATE'05). IEEE, Los Alamitos.
41. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2005b. A UML 2.0 profile for SystemC: Toward high-level SoC design. STMicroelectronics Tech. rep., AST-AGR-2005-2013
42. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2005c. A UML 2.0 profile for SystemC: Toward high-level SoC design. In Proceedings of the 5th ACM International Conference on Embedded Software. ACM, New York, 138-141.
43. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2006a. A model-driven co-design flow for embedded systems. In Proceedings of the Forum on Specification and Design Languages.
44. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2006b. A model-driven design environment for embedded systems. In Proceedings of the 43rd Annual Conference on Design Automation. ACM, New York, 915-918.
45. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2007a. A model-driven co-design flow for embedded systems. In Advances in Design and Specification Languages for Embedded Systems. Springer, Berlin, Germany.
46. Riccobene, E., Scandurra, P., Rosti, A., and Bocchio, S. 2007b. Designing a unified process for embedded systems. In Proceedings of the 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. IEEE, Los Alamitos, CA.
47. Selic, B. 2000. A generic framework for modeling resources with UML. Computer 33, 6, 64-69.
48. SPT. 2003. OMG, UML Profile for Schedulability, Performance, and Time, formal/03-09-101
49. SysML. 2007. OMG, SysML, formal/2007-09-101 http://www.omgsysml.org/.
50. SystemC. 2006. SystemC Language Reference Manual. IEEE Std 1666.
51. Thomas, F., Gerard, S., Delatour, J. and Terrier, F. 2007. Software real-time resource modeling. In Proceedings of the Forum on Specification and Design Languages.
52. UML. 2008. OMG, the Unified Modeling Language (UML). http://www.uml.org.
53. UML Profile for SWRadio. 2007. OMG, UML Profile for SWRadio .V1.0, formal 1/07-03-01.
54. UML-SOC Workshops. 2008. UML for SoC Design Workshops. http://www.c-lab.de/uml-soc.
55. USOC. 2006. OMG, UML Profile for SoC Specification, v1.0.1.
56. Vardi, M. Y 2007. Formal Techniques for SystemC Verification; Position Paper. In Proceedings of the 44th annual conference on Design automation. IEEE, Los Alamitos, CA.
57. Vincentelli, A. S. 2002. Defining platform-based design. EEDesign of EETimes.
58. Zhu, Q., Oishi, R., Hasegawa, T., and Nakata, T. 2004. System-on-chip validation using UML and CWL. In Proceedings of the 2nd IEEE / ACM /IFIP International Conference on Hardware / Software Codesign and System Synthesis (CODES+ISSS). IEEE, Los Alamitos, CA, 92-97.
59. Zimmerman, J. Bringmann, O., Gerlach, J., Schaefer, F., and Nageldinger, U. 2008. Holistic sytem modeling and refinement of intern-connected micro-electronic systems. In Proceedings of the Conference on Design, Automation, and Test in Europe. IEEE, Los Alamitos, CA.