Abstract
The spread of technology is mostly possible thanks to the growing presence of Embedded Systems in our everyday lives. Embedded Systems are information processing devices enclosed in a variety of products such as cars, telecommunication or fabrication equipment. These devices must accomplish a large set of requirements and constraints to meet the computational demands of modern applications. As a matter of fact, Embedded Systems are very complex and heterogeneous systems, and this implies very difficult, expensive and time consuming design processes. Although MDE and Hw/Sw codesign are widely used to address the design complexity problem, the lack of design procedures and methodologies joining both concepts restrains their usage as complementary techniques, thus preventing the implementation of faster and more robust design cycles. In this chapter we present a practical semi-automated design flow where both methodologies are merged and exploited to enable a fast design process targeting highly complex Real-Time Embedded Systems, executing several tasks on SoC and MPSoC devices, while allowing the usage of Design Space Exploration, Schedulability Analysis and Estimation techniques.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
W.Ahmed, D.Myers, Using UML 2.0 for the Creation of Concept-Based SoC Design. UML-SoC’07
M.Albert, J.Munoz, V.Pelechano, O. Pastor, Model to text transformation in practice: generating code from rich associations specifications, in Advances in Conceptual Modeling – Theory and Practice, ed. by J.F. Roddick, et al. (Springer, Berlin/Heidelberg, 2006), pp.63–72
P.Andersson, M.Höst, UML and SystemC – Comparison and Mapping Rules for Automatic Code Generation. On selected papers from FDL’07 (2007)
C.Andre, F.Mallet, R.deSimone, Time Modeling in MARTE. FDL’07 (2007)
R.Bayton, R.Spence, Sensitivity and Optimization (Elsevier Science, New York, 1980)
J.Bézivin, O.Gerbé, Towards a precise definition of the omg/mda framework, in Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE’01 (2001)
P.Boulet, P.Marquet, E.Piel, J.Taillard, Repetitive Allocation Modeling with MARTE. FDL’07
H.Espinoza, H.Dubois, S.Gerard, J.Medina, D.C. Petriu, M.Woodside, Annotating UML Models with Non-Functional Properties for Quantitative Analysis. In Satellite Events at MoDELS (2005)
J.M. Favre, Towards a basic theory to model driven engineering, in Proceedings of Third Workshop in Software Model Engineering, Lisbon, Portugal (2004)
S.Ganesan, M.Prevostini, Bridging the Gap Between SysML and Design Space Exploration. FDL’06
P.Green, Y.Lu, Hardware/Software Partitioning of UML Models. UML-SoC’07
P.N. Green, M.D. Edwards, The Modeling of Embedded Systems Using HASoC. In Proc. of DATE 02
M.Hagner, M.Huhn, Tool Support for a Scheduling Analysis View. UML Workshop at Date’08
A.Koudri, D.Aulagnier, D.Vojtisek, P.Soulard, C.Moy, J.Champeau, J.Vidal, J.C.Le Lann, Using MARTE in a Co-Design Methodology. UML Workshop at Date’08
P.Marquet, S. Meftali, S. Niar, A. Etien, J.Dekeyser, E.Piel, R.Attitalah, P.Boulet, Gaspard2: from MARTE to SystemC Simulation. proc. DATE08
P. Marwedel, Embedded System Design (Springer-Verlag, New York, 2005)
M.Mura, L.G. Murillo, M.Prevostini, Model-Based Design Space Exploration for RTES with SysML and MARTE. FDL’08
M.Mura, A.Panda, M.Prevostini, Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities. MARTE UML Workshop at DATE’08
M.Mura, M.Paolieri, SC 2 StateCharts to SystemC: Automatic Executable Models Generation. FDL’07
M.Natale, M.Saksena, Schedulability Analysis with UML, in UML for Real: Design of Embedded Real-Time Systems (Kluwer, Norwel MA, 2003)
ObjectManagement Group, UML Profile for Schedulability, Performance, and Time. In OMG document n. ptc/02-03-02 (2002)
ObjectManagement Group, MDA Guide, Version 1.0.1. OMG document number omg/2003-06-01 (2003)
D.C. Petriu, C.M. Woodside, Performance analysis with UML: layered queueing models from the performance profile, in UML for Real: Design of Embedded Real-Time Systems (Kluwer, Norwell MA, 2003)
T.H. Phan, S.Gerard, D.Lugato, Scheduling Validation for UML-modeled Real-Time Systems. ERCT (2003)
W.Raslan, A.Sameh, Mapping SysML to SystemC. FDL’07 (2007)
S.Taha, A.Radermacher, S.Gerard, J.L. Dekeyser, MARTE: UML-Based Hardware Design from Modeling to Simulation. FDL’07
R. Atitallah, E. Piel, J. Taillard, S. Niar, J.L. Dekeyser, From High Level MPSoC description to SystemC Code Generation, ModEasy’07 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Murillo, L.G., Mura, M., Prevostini, M. (2010). MDE Support for HW/SW Codesign: A UML-based Design Flow. In: Borrione, D. (eds) Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s. Lecture Notes in Electrical Engineering, vol 63. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9304-2_2
Download citation
DOI: https://doi.org/10.1007/978-90-481-9304-2_2
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9303-5
Online ISBN: 978-90-481-9304-2
eBook Packages: EngineeringEngineering (R0)