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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (2.59 MB)

Source

ACM Transactions on Embedded Computing Systems (TECS) archive
Volume 8 , Issue 4 (July 2009) table of contents

Article No. 30

Year of Publication: 2009

ISSN:1539-9087

Authors

Elvinia Riccobene	Università degli Studi di Milano, Crema (CR), Italy
Patrizia Scandurra	Università degli Studi di Bergamo, Dalmine (BG), Italy
Sara Bocchio	STMicroelectronics, Agrate Brianza, Italy
Alberto Rosti	STMicroelectronics, Agrate Brianza, Italy
Luigi Lavazza	Università dell'Insubria and CEFRIEL, Milan, Italy
Luigi Mantellini	Dial Face Industry, Milan, Italy

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 114, Downloads (12 Months): 269, Citation Count: 0

Additional Information:

appendices and supplements abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1550987.1550993 What is a DOI?

APPENDICES and SUPPLEMENTS

Riccobene Appendix

Online appendix to SystemC/C-based model-driven design for embedded systems. The appendix supports the information on article 30.

ABSTRACT

This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming languages to operate at system-level. The proposed approach exploits the OMG model-driven architecture—a framework for Model-driven Engineering—capabilities of reducing abstract, coarse-grained and platform-independent system models to fine-grained and platform-specific models. We first defined a design methodology and a development flow for the hardware, based on a SystemC UML profile and encompassing different levels of abstraction. We then included a multithread C UML profile for modelling software applications. Both SystemC/C profiles are consistent sets of modelling constructs designed to lift the programming features (both structural and behavioral) of the two coding languages to the UML modeling level. The new codesign flow is supported by an environment, which allows system modeling at higher abstraction levels (from a functional executable level to a register transfer level) and supports automatic code-generation/back-annotation from/to UML models.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	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	Bézivin, 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-7.
	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	E. Borger , Robert F. Stark, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
	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	Martyn Edwards , Peter Green, UML for hardware and software object modeling, UML for real: design of embedded real-time systems, Kluwer Academic Publishers, Norwell, MA, 2003
	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	Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
	20	IP-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	Philippe Kruchten, The Rational Unified Process: an introduction, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	25	Rong Chen , Marco Sgroi , Luciano Lavagno , Grant Martin , Alberto Sangiovanni-Vincentelli , Jan Rabaey, UML and platform-based design, UML for real: design of embedded real-time systems, Kluwer Academic Publishers, Norwell, MA, 2003
	26	Leroux, H., Mingins, C., and Requile-Romanczuk, A. 2003. JACOT: A UML-based tool for the run-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	Grant Martin , Wolfgang Müller, UML for SOC Design, Springer-Verlag New York, Inc., Secaucus, NJ, 2005
	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	Marcello Mura , Marco Paolieri , Luca Negri , Maria Giovanna Sami, StateCharts to systemc: a high level hardware simulation approach, Proceedings of the 17th ACM Great Lakes symposium on VLSI, March 11-13, 2007, Stresa-Lago Maggiore, Italy [doi>10.1145/1228784.1228904]
	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	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]
	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-3.
	42	E. Riccobene , P. Scandurra , A. Rosti , S. Bocchio, A UML 2.0 profile for SystemC: toward high-level SoC design, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA [doi>10.1145/1086228.1086254]
	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	E. Riccobene , P. Scandurra , A. Rosti , S. Bocchio, A model-driven design environment for embedded systems, Proceedings of the 43rd annual Design Automation Conference, July 24-28, 2006, San Francisco, CA, USA [doi>10.1145/1146909.1147141]
	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	Elvinia Riccobene , Patrizia Scandurra , Alberto Rosti , Sara Bocchio, Designing a Unified Process for Embedded Systems, Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, p.77-90, March 31-31, 2007 [doi>10.1109/MOMPES.2007.5]
	47	Bran Selic, A Generic Framework for Modeling Resources with UML, Computer, v.33 n.6, p.64-69, June 2000 [doi>10.1109/2.846320]
	48	SPT. 2003. OMG, UML Profile for Schedulability, Performance, and Time, formal/03-09-01.
	49	SysML. 2007. OMG, SysML, formal/2007-09-01. 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/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	Moshe Y. Vardi, Formal techniques for SystemC verification, Proceedings of the 44th annual Design Automation Conference, June 04-08, 2007, San Diego, California [doi>10.1145/1278480.1278527]
	57	Vincentelli, A. S. 2002. Defining platform-based design. EEDesign of EETimes.
	58	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]
	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.