Languages for embedded systems and their applications: selected contributions on specification, design, and verification from FDL'08

The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends,results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL’08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation. Covers the latest up-to-date research results Gives overview of current research trends in the field Extended versions of the best-rated contributions to the no. 1 conference in the field Makes connection to applications in an industrial context INDICE: From the contents Part I Model Based System Specification Languages. 1 Power and Energy Estimations; E.Senn, et al. 2 MARTE vs. AADL; F.Mallet, R.de Simone 3 Generation of MARTE Allocation Models; A.W.Liehr, et al. 4 Model-Driven System Validation by Scenarios; A.Carioni, et al. 5 An Advanced Simulink Verification Flow; K.Hylla, et al. Part II Languages for Heterogeneous System Design. 6 VHDL-AMS Implementation; D.Zhou, et al. 7 Wide-Band Sigma-Delta ADC Design; R.Guelaz, et al. 8 Heterogeneous and Non-Linear Modeling; K.Caluwaerts, D.Galayko.- Part III Digital Systems Design Methodologies based on C++. 9Application Workload and SystemC Platform Modeling; J.Kreku, et al. 10 Adaptive Interconnect Models; R.Salimi Khaligh, M.Radetzki 11 Efficient ArchitectureEvaluation using Functional Mapping; C.Kerstan, et al. 12 Symbolic Schedulingof SystemC Dataflow Designs; J.Gladigau, et al. 13 SystemC Simulation of Networked Embedded Systems; F.Stefanni, et al.

• ISBN: 978-1-4020-9713-3
• Editorial: Springer
• Encuadernacion: Cartoné
• Páginas: 300
• Fecha Publicación: 01/04/2009
• Nº Volúmenes: 1
• Idioma: Inglés