Advances In Design And Specification Languages For Socs: Selected Contributions From Fdl'04

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?iger 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 Martin, 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?ric 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 Sanchez, Eugenio Villar. 13. The Meta-language xHDL, Miguel A. Sanchez Marcos, ?gel Fernandez Herrero, Marisa Lopez-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 Muller. 16. Symbolic Model Checking and Simulation, Roland J. Weiss, J?gen Ruf, Thomas Kropf and Wolfgang Rosenstiel. Introduction, Christoph Grimm. 17. Automotive System Design and AutoSAR, Georg Pelz, Peter Oehler, Eliane Fourgeau, Christoph Grimm.

• • Author: Pierre Boulet
• • Publisher: Springer
• • Publication Date: Nov 25, 2014
• • Number of Pages: 315 pages
• • Language: English
• • Binding: Paperback
• • ISBN-10: 1489984690
• • ISBN-13: 9781489984692