System Specification & Design Languages: Best of Fdl'02 (Hardcover, 2003)

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. Pecheux, 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. Martinez Madrid, A. Acosta Fernandez, 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. Bjorkander, 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, S.A. Huss, T. Trautmann. SystemC-Plus Complex Data Types for Telecom Applications; M. Bombana, W. Fornaciari, L. Pomante. A Method for the Development of Combined Floating- and Fixed Point SystemC Models; Y. Vanderperren, W. Dehaene, M. Pauwels. Object-Oriented High-Level Modeling of an InfiniBand to PCI-X Bridge; O. Lachish, A. Ziv. A SystemC Model for RTOS Kernel; M. Abdel Salam, A. Salem. Part IV: Specification Formalisms for Proven Design. An Abstract Modeling Approach Towards System-Level Design-Space Exploration; F.N. van Wijk, J.P.M. Voeten, A.J.W.M. ten Berg. Modeling Techniques in Design-by-Refinement Methodologies; J.R. Burch, R. Passerone, A.L. Sangiovanni-Vincentelli. Design of Highly Parallel Architectures with Alpha and Handel; F. de Dinechin, M. Manjunathaiah, T. Risset, M. Spivey. MTG and Gray Box; S. Himpe, G. Deconinck, F. Catthoor, J. van Meerbergen. Specification and Refinement of Hardware Components in B; S. Hallerstede. Ensuring semantic integrity in knowledge bases for embedded systems; D. Monjau, M. Sporer.