Preface Part I Analog and Mixed-Signal Systems Introduction Alain Vachoux 1 Refinement of Mixed-Signal Systems：Between HEAVEN and HELL Christoph Grimm，Rǖdiger Schroll,Klaus Waldschmidt 2 Mixed Nets，Conversion Models，and VHDL-AMS John Shields and Ernst Christen 3 Monte Carlo Simulation Using VHDL-AMS Ekkehart-Peter Wagner and Joachim Haase 4 Prediction of Conducted-Mode Emission of Complex IC's Anne-Marie Trullemans-Anckaert,Richard Perdriau,Mohamed Ramdani and Jean Luc Levant 5 Practical Case Example of Inertial MEMS Modeling with VHDL-AMS Elena Martin,Laura Barrachina,Carles Ferrer Part II UML-Based System Specihcation and Design IntroductiOn Piet van der Putten 6 Metamodels and MDA Trarisformations for Embedded Systems Lossan Bondé,Cédric Dumoulin and Jean-Luc Dekeyser 7 Model Based Testing and Refinement 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 FranckBernier 10 UML-Executable Functional Models in ViPERS P.F.Lister,V.Trianano,M.C.Bassett and P.L. Watten Part III C／C++-Based System Design Introduction Eugenio Villar 11 Designing for dynamic partially reconfigurable 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 xHDL：Extending VHDL to Improve Core Parameterization and Reuse Miguel A．Sánchez Marcos，Ángel Fernández Herrero，Marisa López-Vallejo 14 SystemC Models for Realistic Simulations lnvolving Real-Time Operating System Services Prih Hastono，Stephan Klaus，and Sorin A．Huss 15 SystemC and OCAPI-xl Based System-Level Design for RSoCs Kari Tiensyrjä,Miroslav Cupak,Kostas Masselos,Marko Pettissalo,Konstantinos Potamianos,Yang Qu,Luc Rynders,Geert Vanmeerbeeck,Nikos Voros and Yan Zhang Part IV Invited Contributions Introduction Wolfgang Müller,Christoph Grimm 16 SymbOlic Model Checking and Simulation with Temporal Assertions Roland J.Weiss，Jürgen Ruf,Thomas Kropf and Wolfgang Rosenstiel 17 Automotive System Design and AUTOSAR Georg Pelz，Peter Oehler,Eliane Fourgeau,Christoph Grimm
京公网安备 11010102004214号