This book is the sixth in the ChDL (Chip Design Languages) series. Year 2004 has seen many efforts in the ? eld of electronic and mixed technology circuit design languages. The industry has recognized the need for system level design as a way to enable the design of the next generation of emb- ded systems. This is demonstrated by the ESL Now! campaign that many companies are promoting. This year has also seen many interesting st- dardization efforts for system level design, such as SystemC TLM for transactional level modeling with SystemC, AU- TOSAR for automotive embedded system - plications, or SPIRIT for IP int- change. In the ? eld of modeling languages, the Model Driven Architecture of the OMG has given rise to model driven en- neering, which is a more general way of software engineering based on model transformations. As embedded systems are more and more programmable and as the design abstraction level rises, model driven methodologies are also c- sidered for electronic system level design. In this context, the OMG has - cently published a call for propositions for a UML 2. 0 pro? le for Modeling and Analysis of Real-Time and Embedded systems (MARTE). The constraints on the design process of these next generation embedded systems are considerable: Real-time, power consumption, complexity, mixed technology integration, correctness, time to market, cost, . . .
Inhaltsverzeichnis
Analog and Mixed-Signal Systems. - Refinement of Mixed-Signal Systems: Between Heaven and Hell. - Mixed Nets, Conversion Models, and VHDL-AMS. - Monte Carlo Simulation Using VHDL-AMS. - Early Prediction of Conducted-Mode Emission of Complex Ic s. - Practical Case Example of Inertial Mems Modeling with VHDL-AMS. - UML-Based System Specification and Design. - Metamodels and MDA Transformations for Embedded Systems. - Model Based Testing and Refinement in MDA Based Development. - Predictability in Real-Time System Development. - Timing Performances of Automatically Generated Code Using MDA Approaches. - UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology. - C/C++-Based System Design. - Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS. - Heterogeneous System-Level Specification in Systemc. - xHDL: Extending VHDL to Improve Core Parameterization and Reuse. - Systemc Models for Realistic Simulations Involving Real-Time Operating System Services. - Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip. - Invited Contributions. - Symbolic Model Checking and Simulation with Temporal Assertions. - Automotive System Design and Autosar.
