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

SystemC Language Reference Manual (2006). IEEE Std 1666-2005, 31 March 2006

Arlow J, Neustadt I (2002) UML and the unified process. Addison-Wesley, Reading

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 languages

Börger E, Stärk R (2003) Abstract state machines: a method for high-level system design and analysis. Springer, Berlin

Bruschi F, Sciuto D (2002) SystemC based design flow starting from UML model. In: Proceedings of European SystemC users group meeting

Cai L, Gajski D (2003) Transaction level modeling: an overview. In: Proceedings of CODES+ISSS, Newport Beach, California, USA

The Catalysis Process (1998). http://www.catalysis.org

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 architecture

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)

The Enterprise Architect Tool (2008). http://www.sparxsystems.com.au/

Edwards M, Green P (2003) UML for hardware and software object modeling. UML for real design of embedded real-time systems, pp 127–147

Eclipse Modeling Framework (2008). http://www.eclipse.org/emf/

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–720

Kruchten P (1999) The rational unified process. Addison-Wesley, Reading

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 systems

Martin G (1999) UML and VCC. White paper, Cadence Design Systems, Inc, Dec.

OMG (2003) The Model Driven Architecture (MDA). MDA Guide V1.0.1, http://www.omg.org/mda/

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. IEEE

Nguyen KD, Sun Z, Thiagarajan PS, Wong WF (2005) Model-driven SoC design: the UML-SystemC bridge. UML for SOC Design

OMG. UML 2.0 OCL Specification, ptc/03-10-14

The Open SystemC Initiative (2008). http://www.systemc.org

Paige RF, Kolovos DS, Polack FAC (2005) Refinement via consistency checking in MDA. In: Proceedings Refinement Workshop, ENTCS, Surrey, UK, April

Papyrus UML Web Site http://www.papyrusuml.org (2008)

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, Frankfurt

Pons C, Kutsche R-D (2004) Traceability across refinement steps in UML modeling. In: Proceedings of the WiSME@UML workshop

Pons C, Garcia D (2006) An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE. In: MoDELS, pp 646–660

OMG (2007) MOF Query/Views/Transformations, ptc/07-07-07

Zhu Q, Oishi R, Hasegawa T, Nakata T (2004) System-on-chip validation using UML and CWL. In: Proceedings of CODES

Riccobene E, Scandurra P (2004) Modelling systemc process behaviour by the UML method state machines. In: Proceedings of RISE’04. Springer, Heidelberg

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–141

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 languages

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–918

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). IEEE

Riccobene E, Scandurra P, Rosti A, Bocchio S (2007) A UML2 profile for SystemC 2.1. STMicroelectronics Technical Report, April

Schmidt DC (2006) Guest editor’s introduction: model-driven engineering. Computer 39(2): 25–31

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–69

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’05

OMG (2008) SPEM, formal/08-04-01

OMG (2007) SysML, Version 1.0, formal/2007-09-01. http://www.omgsysml.org/

Gröetker T, Liao S, Martin G, Swan S (2002) System design with SystemC. Kluwer, Dordrecht

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. ECSL

Fujitsu Limited, IBM, NEC (2005) A UML extension for SoC. Draft RFC to OMG, 2005-01-01

Vanderperren Y, Dehaene W (2005) A model-driven development process for low power soc using UML. UML for SOC design

Vanderperren Y, Pauwels M, Dehaene W, Berna A, Ozdemir F (2003) A systemc based system on chip modelling and design methodology. SystemC: methodologies and applications

Sangiovanni Vincentelli A (2002) Defining platform-based design. EEDesign, February

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, Japan