System Specification and Design Languages

- Contributing Authors
- Preface.

Part I: Analog and Mixed-Signal System Design
- Selected Topics in Mixed-Signal Simulation; E. Christen
- Mixed-Signal Extensions for SystemC; K. Einwich, P. Schwarz, C. Grimm, K. Waldschmidt
- Mixed Modeling in Modelica; C. Clauss, H. Elmqvist, S.E. Mattsson, M. Otter, P. Schwarz
- VHDL-AMS and Verilog-AMS as Competitive Solutions; F. Pêcheux, C. Lallement
- VHDL-AMS in MEMS Design Flow; J. Haase, J. Bastian, S. Reitz
- A new approach to model generation for nonlinear mixed-signal circuits in the behavioral and functional domain; R. Rosenberger, S.A. Huss
- Multi-Level Analog/Mixed-Signal IP Specification for Platform Based Design; N. Martínez Madrid, A. Acosta Fernández, F. Ruiz Moreno, R. Seepold.

Part II: UML System Specification and Design
- A UML Profile for Real-Time System Modelling with Rate-Monotonic Analysis; J. Oliver
- Support for Embedded Systems IN UML 2.0; M. Björkander, C. Kobryn
- Embedded System Design Using UML and Platforms; Rong Chen, M. Sgroi, L. Lavagno, G. Martin, A. Sangiovanni-Vincentelli, J. Rabaey
- A Design Methodology for the Development of a Complex System-on-Chip using UML and Executable System Models; M. Pauwels, Y. Vanderperren, G. Sonck, P. van Oostende, W. Dehaene, T. Moore
- Using the SHE Method for UML-based Performance Modeling; B.D. Theelen, P.H.A. van der Putten, J.P.M. Voeten
- SystemC code generation from UML models; L. Baresi, F. Bruschi, E. Di Nitto, D. Sciuto
- Hardware dependent Software, the Bridge between Hardware and Software; R. Marichal, G. de Jong, P. van der Putten, J. van Sas.

Part III: C/C++-Based System Design
- C/C++ Based System Design How Using SpecC, VCC and SystemC; L. Cai, M. Olivarez, P. Kritzinger, D. Gajski
- Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams; T. Sakunkonchak, M. Fujita
- Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs; S. Klaus,