@inbook {17693, title = {MDE Support for HW/SW Codesign: a UML-based Design Flow}, booktitle = {Advances in Design Methods from Modeling Languages for Embedded Systems and SoC{\textquoteright}s}, year = {2010}, pages = {19-37}, publisher = {Springer}, organization = {Springer}, address = {Dordrecht, The Netherlands}, author = {Murillo, Luis Gabriel and Mura, Marcello and Prevostini, Mauro} } @conference {83.Stuttgart, title = {Model-based Design Space Exploration for RTES with SysML and MARTE}, booktitle = {Proceedings of FDL08}, year = {2008}, month = {September}, address = {Stuttgart, Germany}, abstract = {The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Time Embedded Systems (RTES). An important goal to achieve is the implementation and use of these models in all the steps of a common design flow. One of these steps is the Design Space Exploration (DSE), which helps designers in discovering the optimal solutions among all possible combinations after mapping functional to architectural specifications; for RTES this step is particularly hard as it should include scheduling analysis in order to proof the time validity after the mapping. This paper presents some guidelines on how to use SysML and MARTE profiles to identify design points fulfilling the timing constraints of an RTES, and thus allowing to automatize DSE analysis within the system design phase.}, keywords = {high level design, unified modeling language (UML)}, doi = {http://dx.doi.org/10.1109/FDL.2008.4641446}, author = {Mura, Marcello and Murillo, Luis Gabriel and Prevostini, Mauro} } @inbook {30.BaLaPre2005, title = {A Methodology for Bridging the Gap between UML and Codesign}, booktitle = {UML for SOC Design}, year = {2005}, pages = {119-146}, publisher = {Springer}, organization = {Springer}, address = {Dordrecht, The Netherlands}, abstract = {The Unified Modeling Language (UML) is getting more popular among system designers due to the need to raise the level of abstraction in system specifications. We present here a methodology that integrates UML specifications with a hardware/software codesign platform. This work aims to give a contribution toward SoC Design Automation starting from system level specification down to hardware/software partitioning and integration.}, keywords = {HW/SW co-design, methodology, system specifications, unified modeling language (UML)}, author = {Basu, Ananda Shankar and Lajolo, Marcello and Prevostini, Mauro}, editor = {Martin, Grant and Muller, Wolfgang} }