Cover image for Advances in design and specification languages for SoCs : selected contributions from FDL'04
Title:
Advances in design and specification languages for SoCs : selected contributions from FDL'04
Publication Information:
Dordrecht : Springer, 2005
ISBN:
9780387261492
Added Author:

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010093285 TK7895.E42 A38 2005 Open Access Book Book
Searching...
Searching...
30000010125165 TK7895.E42 A38 2005 Open Access Book Book
Searching...

On Order

Summary

Summary

This book is the sixth in the ChDL (Chip Design Languages) series. Year 2004 has seen many efforts in the ?eld of electronic and mixed technology circuit design languages. The industry has recognized the need for system level design as a way to enable the design of the next generation of emb- ded systems. This is demonstrated by the "ESL Now " campaign that many companies are promoting. This year has also seen many interesting st- dardization efforts for system level design, such as SystemC TLM (http: //www. systemc. org/) for transactional level modeling with SystemC, AU- TOSAR (http: //www. autosar. org/) for automotive embedded system - plications, or SPIRIT (http: //www. spiritconsortium. org/) for IP int- change. In the ?eld of modeling languages, the Model Driven Architecture of the OMG (http: //www. omg. org/mda/) has given rise to model driven en- neering, which is a more general way of software engineering based on model transformations. As embedded systems are more and more programmable and as the design abstraction level rises, model driven methodologies are also c- sidered for electronic system level design. In this context, the OMG has - cently published a call for propositions for a UML 2. 0 pro?le for Modeling and Analysis of Real-Time and Embedded systems (MARTE). The constraints on the design process of these next generation embedded systems are considerable: Real-time, power consumption, complexity, mixed technology integration, correctness, time to market, cost, . . .


Table of Contents

List of Figures
List of Tables
Foreword
Part I Analog and Mixed-Signal Systems
IntroductionAlain Vachoux
1 Prediction of Conducted-Mode EmissionAnne-Marie and Trullemans-Anckaert and Richard Perdriau and Mohamed Ramdani and Jean-Luc Levant
2 Refinement of Mixed-Signal Systems: Between Heaven and HellChristoph Grimm and RAdiger Schroll and Klaus Waldschmidt
3 Mixed Nets, Conversion Models, and VHDL-AMSJohn Shields and Ernst Christen
4 Monte Carlo Simulation Using VHDL-AMSEkkehart-Peter Wagner and Joachim Haase
5 Practical Case Example of Inertial MEMS Modeling with VHDL-AMSElena Martán and Laura Barrachina and Carles Ferrer
Acknowledgments
References
Part II UML-based System Specification and Design
Introduction
Piet van der Putten
6 Metamodels and MDA Transformations for Embedded SystemsLossan BondÃ(c) and CÃ(c)dric Dumoulin and Jean-Luc Dekeyser
7 Model Based Testing and Re_nement in MDA Based DevelopmentIan Oliver
8 Predictability in Real-time System DevelopmentJinfeng Huang and Jeroen Voeten and Oana Florescu and Piet van der Putten and Henk Corporaal
9 Timing Performances and MDA ApproachesMathieu Maranzana and Jean-Francois Ponsignon and Jean-Louis Sourrouille and Franck Bernier
10 UML-EFMP.F. Lister and V. Trignano and M.C. Bassett and P.L. Watten
Acknowledgments
Part III C/C++-Based System Design
IntroductionEugenio Villar
11 Designing for dynamic partially recon_gurable FPGAs with SystemC and OSSSAndreas Schallenberg and Frank Oppenheimer and Wolfgang Nebel
12 Heterogeneous System-Level Specification in SystemCFernando Herrera and Pablo SÃínchez and Eugenio Villar
13 The Meta-language xHDLMiguel A. SÃínchez Marcos and Ãangel FernÃíndez Herrero and Marisa LÃ[3]pez-Vallejo
14 SystemC Models for Realistic Simulations Involving RTOS ServicesPrih Hastono and Stephan Klaus and Sorin A. Huss
References
15 System-Level Desgin for RSoCKari TiensyrjAn and Miroslav Cupak and Kostas Masselos and Marko Pettissalo and Konstantinos Potamianos and Yang Qu and Luc Rynders and Geert Vanmeerbeeck and Nikos Voros and Yan Zhang
Acknowledgments
Part IV Invited
Contributions
IntroductionWolfgang MAller
16 Symbolic Model Checking and SimulationRoland J. Weiss and JArgen Ruf and Thomas Kropf and Wolfgang Rosenstie
1 IntroductionChristoph Grimm
17 Automotive System Design and AutoSARGeorg Pelz and Peter Oehler and Eliane Fourgeau and Christoph Grimm