Advances in Design and Specification Languages for Socs: Selected Contributions from Fdl'04

By Pierre Boulet

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 1489984690
• ISBN13: 9781489984692
• Release Date: November 2014
• Publisher: Springer
• Length: 305 Pages
• Weight: 0.98 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"