本书主要针对数模混合系统在计算模型中遇到的问题进行了分析。通过对基于UML，系统的分析以及C／C++等语言的使用，可以很方便的进行系统的说明和设计，加速了系统的检验和仿真。

本书主要针对数模混合系统在计算模型中遇到的问题进行了分析。通过对基于UML，系统的分析以及C／C++等语言的使用，可以很方便的进行系统的说明和设计，加速了系统的检验和仿真。本书同时对工业自动化设计有一定的指导意义。

Preface

Part I Analog and Mixed-Signal Systems

Introduction

Alain Vachoux

1

Refinement of Mixed-Signal Systems: Between HEAVEN and HELL

Christoph Grimm, Riidiger 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, Caries Ferrer

Part II UML-Based System Specification and Design

Introduction

Piet van der Putten

6

Metamodels and MDA Transformations for Embedded Systems

Lossan Bonde, Cedric Dumoulin and Jean-Luc Dekeyser

7

Model Based Testing and Refinement in MDA Based Development

fan 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-Executable Functional Models in VIPERS

P.E Lister, V. Trignano, M.C. Bassett and P.L. Watten

Contents

Part IV Invited Contributions

Introduction

Wolfgang Muller, Christoph Grimm

16

Symbolic Model Checking and Simulation with Temporal Assertions

Roland J. Weiss, Jurgen Ruf Thomas Kropf and Wolfgang Rosenstiel

17

Automotive System Design and AUTOSAR

Georg Pelz, Peter Oehler, Eliane Fourgeau, Christoph Grimm