Model transformations in the UPES/UPSoC development process for embedded systems

Original Paper

Abstract

Model-based development (MBD) aims at combining modeling languages with model transformers and code generators. Modeling languages, like profiles of the Unified Modeling Language (UML), are increasingly being adopted for specific domains of interest to alleviate the complexity of platforms and express domain concepts effectively. Moreover, system development processes based on automatic model transformations are widely required to improve the productivity and quality of the developed systems. In this paper, we show how MBD principles and automatic model transformations provide the basis for the unified process for embedded systems (UPES) development process and its unified process for system-on-chip (SoC) (UPSoC) subprocess. They have been defined to foster in a systematic and seamless manner a model-based design methodology based on the UML2 and UML profiles for the C/SystemC programming languages, which we developed to improve the current industrial system design flow in the embedded systems and system-on-chip area.

Keywords

Model-based development (MBD) Model transformations Unified modeling language (UML) SystemC Embedded system design 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    SystemC Language Reference Manual (2006). IEEE Std 1666-2005, 31 March 2006Google Scholar
  2. 2.
    Arlow J, Neustadt I (2002) UML and the unified process. Addison-Wesley, ReadingGoogle Scholar
  3. 3.
    Bocchio S, Riccobene E, Rosti A, Scandurra P (2008) An enhanced systemc uml profile for modeling at transaction-level. In: Villar E (ed) Embedded systems specification and design languagesGoogle Scholar
  4. 4.
    Börger E, Stärk R (2003) Abstract state machines: a method for high-level system design and analysis. Springer, BerlinMATHGoogle Scholar
  5. 5.
    Bruschi F, Sciuto D (2002) SystemC based design flow starting from UML model. In: Proceedings of European SystemC users group meetingGoogle Scholar
  6. 6.
    Cai L, Gajski D (2003) Transaction level modeling: an overview. In: Proceedings of CODES+ISSS, Newport Beach, California, USAGoogle Scholar
  7. 7.
    The Catalysis Process (1998). http://www.catalysis.org
  8. 8.
    Czarnecki K, Helsen S (2003) Classification of model transformation approaches. In: Proceedings of 2nd OOPSLA workshop on generative techniques in the context of model-driven architectureGoogle Scholar
  9. 9.
    do Nascimento FAM, Oliveira MFS, Wagner FR (2007) ModES: embedded systems design methodology and tools based on MDE. In: Fourth International workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES’07). IEEE Press (2007)Google Scholar
  10. 10.
    The Enterprise Architect Tool (2008). http://www.sparxsystems.com.au/
  11. 11.
    Edwards M, Green P (2003) UML for hardware and software object modeling. UML for real design of embedded real-time systems, pp 127–147Google Scholar
  12. 12.
    Eclipse Modeling Framework (2008). http://www.eclipse.org/emf/
  13. 13.
    Jouault F, Allilaire F, Bézivin J, Kurtev I, Valduriez P (2006) ATL: a QVT-like transformation language. In: OOPSLA ’06: companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications. ACM, pp 719–720Google Scholar
  14. 14.
    Kruchten P (1999) The rational unified process. Addison-Wesley, ReadingGoogle Scholar
  15. 15.
    Lavagno L, Martin G, Sangiovanni Vincentelli A, Rabaey J, Chen R, Sgroi M (2003) UML and platform based design. UML for real design of embedded real-time systemsGoogle Scholar
  16. 16.
    Martin G (1999) UML and VCC. White paper, Cadence Design Systems, Inc, Dec.Google Scholar
  17. 17.
    OMG (2003) The Model Driven Architecture (MDA). MDA Guide V1.0.1, http://www.omg.org/mda/
  18. 18.
    Mens T, Wermelinger M, Ducasse S, Demeyer S, Hirschfeld R, Jazayeri M (2005) Challenges in software evolution. In: Proceedings of the international workshop on software evolution. IEEEGoogle Scholar
  19. 19.
    Nguyen KD, Sun Z, Thiagarajan PS, Wong WF (2005) Model-driven SoC design: the UML-SystemC bridge. UML for SOC DesignGoogle Scholar
  20. 20.
    OMG. UML 2.0 OCL Specification, ptc/03-10-14Google Scholar
  21. 21.
    The Open SystemC Initiative (2008). http://www.systemc.org
  22. 22.
    Paige RF, Kolovos DS, Polack FAC (2005) Refinement via consistency checking in MDA. In: Proceedings Refinement Workshop, ENTCS, Surrey, UK, AprilGoogle Scholar
  23. 23.
    Papyrus UML Web Site http://www.papyrusuml.org (2008)
  24. 24.
    Pons C, Kutsche R-D (2003) Using UML-B and U2B for formal refinement of digital components. In: Proceedings of forum on specification and design languages, FrankfurtGoogle Scholar
  25. 25.
    Pons C, Kutsche R-D (2004) Traceability across refinement steps in UML modeling. In: Proceedings of the WiSME@UML workshopGoogle Scholar
  26. 26.
    Pons C, Garcia D (2006) An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE. In: MoDELS, pp 646–660Google Scholar
  27. 27.
    OMG (2007) MOF Query/Views/Transformations, ptc/07-07-07Google Scholar
  28. 28.
    Zhu Q, Oishi R, Hasegawa T, Nakata T (2004) System-on-chip validation using UML and CWL. In: Proceedings of CODESGoogle Scholar
  29. 29.
    Riccobene E, Scandurra P (2004) Modelling systemc process behaviour by the UML method state machines. In: Proceedings of RISE’04. Springer, HeidelbergGoogle Scholar
  30. 30.
    Riccobene E, Scandurra P, Rosti A, Bocchio S (2005) A UML 2.0 profile for SystemC: toward high-level SoC design. In: EMSOFT ’05: Proceedings of the 5th ACM international conference on embedded software. ACM Press, pp 138–141Google Scholar
  31. 31.
    Riccobene E, Scandurra P, Rosti A, Bocchio S (2006) A model-driven co-design flow for embedded systems. In: FDL ’06: Proceedings of forum on specification and design languagesGoogle Scholar
  32. 32.
    Riccobene E, Scandurra P, Rosti A, Bocchio S (2006) A model-driven design environment for embedded systems. In: DAC ’06: Proceedings of the 43rd annual conference on design automation. ACM, New York, pp 915–918Google Scholar
  33. 33.
    Riccobene E, Scandurra P, Rosti A, Bocchio S (2007) Designing a unified process for embedded systems. In: Fourth international workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES’07). IEEEGoogle Scholar
  34. 34.
    Riccobene E, Scandurra P, Rosti A, Bocchio S (2007) A UML2 profile for SystemC 2.1. STMicroelectronics Technical Report, AprilGoogle Scholar
  35. 35.
    Schmidt DC (2006) Guest editor’s introduction: model-driven engineering. Computer 39(2): 25–31CrossRefGoogle Scholar
  36. 36.
    Selic B (2000) A generic framework for modeling resources with UML. In: Proceedings of the 16th symposium on integrated circuits and systems design (SBCCI’03). IEEE Computer Society, vol 33, pp 64–69Google Scholar
  37. 37.
    De Simone R, et al. MARTE: A new profile RFP for the modelling and analysis of real-time embedded systems. In: UML for SoC design workshop at DAC’05Google Scholar
  38. 38.
    OMG (2008) SPEM, formal/08-04-01Google Scholar
  39. 39.
    OMG (2007) SysML, Version 1.0, formal/2007-09-01. http://www.omgsysml.org/
  40. 40.
    Gröetker T, Liao S, Martin G, Swan S (2002) System design with SystemC. Kluwer, DordrechtGoogle Scholar
  41. 41.
    Moore T, Vanderperren Y, Sonck G, van Oostende P, Pauwels M, Dehaene W (2002) A design methodology for the development of a complex system-on-chip using uml and executable system models. In: Forum on specification and design languages. ECSLGoogle Scholar
  42. 42.
    Fujitsu Limited, IBM, NEC (2005) A UML extension for SoC. Draft RFC to OMG, 2005-01-01Google Scholar
  43. 43.
    Vanderperren Y, Dehaene W (2005) A model-driven development process for low power soc using UML. UML for SOC designGoogle Scholar
  44. 44.
    Vanderperren Y, Pauwels M, Dehaene W, Berna A, Ozdemir F (2003) A systemc based system on chip modelling and design methodology. SystemC: methodologies and applicationsGoogle Scholar
  45. 45.
    Sangiovanni Vincentelli A (2002) Defining platform-based design. EEDesign, FebruaryGoogle Scholar
  46. 46.
    Zhu Q, Matsuda A, Kuwamura S, Nakata T, Shoji M (2002) An object-oriented design process for system-onchip using UML. In: Proceedings of the 15th international symposium on System Synthesis, Kyoto, JapanGoogle Scholar

Copyright information

© Springer-Verlag London Limited 2009

Authors and Affiliations

  1. 1.Dip. di Tecnologie dell’InformazioneUniversità di MilanoCrema (CR)Italy
  2. 2.Dip. di Ingegneria dell’Informazione e Metodi MatematiciUniversità di BergamoDalmine (BG)Italy

Personalised recommendations