Advances in design and specification languages for SoCs : selected contributions from FDL'04

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