Advances in Design and Specification Languages for SoCs (eBook)

Selected Contributions from FDL'04

Pierre Boulet (Herausgeber)

eBook Download: PDF

2006 | 2005
X, 305 Seiten
Springer US (Verlag)
978-0-387-26151-5 (ISBN)

Infos

The seventh book in the CHDL Series is composed of a selection of the best articles from the Forum on Specification and Design Languages (FDL'04). FDL is the European Forum to learn and exchange on new trends on the application of languages and models for the design of electronic and heterogeneous systems. The forum was structured around four workshops that are all represented in the book by outstanding articles: Analog and Mixed-Signal Systems, UML-based System Specification and Design, C/C++-Based System Design and Languages for Formal Specification and Verification. The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computation. The UML-based System Specification and Design chapters bring insight into how to use the Model Driven Engineering to design Systems-on-Chip.  The C/C++-Based System Design articles mainly explore system level design with SystemC. The Languages for FormalSpecification and Verification is represented by an invited contribution on the use of temporal assertions for symbolic model checking and simulation. And finally chapter in this book contributed by preeminent members of the automotive design industry presents the recent industry standard AutoSAR. Overall Advances in Design and Specification Languages for SoCs is an excellent opportunity to catch up with the latest research developments in the field of languages for electronic and heterogeneous system design.

Inhalt

List of Figures. List of Tables. Foreword. Part I Analog and Mixed-Signal Systems. Introduction, Alain Vachoux. 1. Prediction of Conducted-Mode Emission, Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohamed Ramdani, and Jean-Luc Levant. 2. Refinement of Mixed-Signal Systems: Between HEAVEN and HELL, Christoph Grimm, Rüdiger Schroll, Klaus Waldschmidt. 3. Mixed Nets, Conversion Models, and VHDL-AMS, John Shields and Ernst Christen. 4. Monte Carlo Simulation Using VHDL-AMS, Ekkehart-Peter Wagner and Joachim Haase. 5. Practical Case Example of Inertial MEMS Modeling with VHDL-AMS, Elena Martín, Laura Barrachina,Carles Ferrer. Acknowledgments. References. Part II UML-based System Specification and Design. Introduction, Piet van der Putten. 6. Metamodels and MDA Transformations for Embedded Systems, Lossan Bondé, Cédric Dumoulin and Jean-Luc Dekeyser. 7. Model Based Testing and Re_nement in MDA Based Development, Ian Oliver. 8. Predictability in Real-time System Development, Jinfeng Huang, Jeroen Voeten, Oana Florescu, Piet van der Putten and Henk Corporaal. 9. Timing Performances and MDA Approaches, Mathieu Maranzana, Jean-Francois Ponsignon, Jean-Louis Sourrouille, and Franck Bernier. 10. UML-EFM, P.F. Lister, V. Trignano, M.C. Bassett and P.L. Watten. Acknowledgments. Part III C/C++-Based System Design. Introduction, Eugenio Villar. 11. Designing for dynamic partially recon_gurable FPGAs with SystemC and OSSS, Andreas Schallenberg, Frank Oppenheimer and Wolfgang Nebel. 12. Heterogeneous System-Level Specification in SystemC, Fernando Herrera, Pablo Sánchez, Eugenio Villar. 13. The Meta-language xHDL, Miguel A. Sánchez Marcos, Ángel Fernández Herrero, Marisa López-Vallejo. 14. SystemC Models for Realistic Simulations Involving RTOS Services, Prih Hastono, Stephan Klaus, and Sorin A. Huss. References. 15. System-Level Desgin for RSoC, Kari Tiensyrjä, Miroslav Cupak, Kostas Masselos, Marko Pettissalo,Konstantinos Potamianos, Yang Qu, Luc Rynders, Geert Vanmeerbeeck, Nikos Voros and Yan Zhang. Acknowledgments. Part IV Invited Contributions. Introduction, Wolfgang Müller. 16. Symbolic Model Checking and Simulation, Roland J. Weiss, Jürgen Ruf, Thomas Kropf and Wolfgang Rosenstiel. Introduction, Christoph Grimm. 17. Automotive System Design and AutoSAR, Georg Pelz, Peter Oehler, Eliane Fourgeau, Christoph Grimm.

Produkt-Details

• Erscheint lt. Verlag: 30.6.2006
• Zusatzinfo: X, 305 p.
• Verlagsort: New York
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Informatik ► Weitere Themen ► CAD-Programme
• Themenwelt: Technik ► Elektrotechnik / Energietechnik
• Schlagworte: Analog and mixed-Signal Design • augmented reality • Design languages • FDL • formal methods • Integrated circuit • Performance • Simulation • single-electron transistor • System • SystemC • UML
• ISBN-10: 0-387-26151-6 / 0387261516
• ISBN-13: 978-0-387-26151-5 / 9780387261515