TY - CHAP AU - Pablo PeƱil AU - Fernando Herrera AU - Eugenio Villar ED - Kiyofumi Tanaka Y1 - 2012-03-02 PY - 2012 T1 - Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models N2 - Nowadays, embedded systems - the computer systems that are embedded in various kinds of devices and play an important role of specific control functions, have permitted various aspects of industry. Therefore, we can hardly discuss our life and society from now onwards without referring to embedded systems. For wide-ranging embedded systems to continue their growth, a number of high-quality fundamental and applied researches are indispensable. This book contains 19 excellent chapters and addresses a wide spectrum of research topics on embedded systems, including basic researches, theoretical studies, and practical work. Embedded systems can be made only after fusing miscellaneous technologies together. Various technologies condensed in this book will be helpful to researchers and engineers around the world. BT - Embedded Systems SP - Ch. 11 UR - https://doi.org/10.5772/36918 DO - 10.5772/36918 SN - PB - IntechOpen CY - Rijeka Y2 - 2024-03-28 ER -