2004

Languages for System Specification

Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

Editors:

ISBN: 978-1-4020-7990-0 (Print) 978-1-4020-7991-7 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. UML-Based System Specication & Design

    1. Front Matter

      Pages 1-4

    2. No Access

      Book Chapter

      Pages 5-19

      UML-Based Co-Design for Run-Time Reconfigurable Architectures

    3. No Access

      Book Chapter

      Pages 20-34

      A Unified Approach to Code Generation from Behavioral Diagrams

    4. No Access

      Book Chapter

      Pages 35-50

      Platform-Independent Design for Embedded Real-Time Systems

    5. No Access

      Book Chapter

      Pages 51-70

      Real-Time System Modeling with ACCORD/UML Methodology

    6. No Access

      Book Chapter

      Pages 71-84

      UML-Based Specifications of an Embedded System Oriented to HW/SW Partitioning

  2. C-Based System Design

    1. Front Matter

      Pages 85-89

    2. No Access

      Book Chapter

      Pages 91-104

      SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS

    3. No Access

      Book Chapter

      Pages 105-117

      LAERTE++: An Object Oriented High-Level TPG for SystemC Designs

    4. No Access

      Book Chapter

      Pages 119-132

      A Case Study: SystemC-Based Design of an Industrial Exposure Control Unit

    5. No Access

      Book Chapter

      Pages 133-148

      Modeling of CSP, KPN and SR Systems with SystemC

    6. No Access

      Book Chapter

      Pages 149-162

      On Hardware Description in ECL

  3. Analog and Mixed-Signal Systems

    1. Front Matter

      Pages 163-167

    2. No Access

      Book Chapter

      Pages 169-182

      Rules for Analog and Mixed-Signal VHDL-AMS Modeling

    3. No Access

      Book Chapter

      Pages 183-199

      A VHDL-AMS Library of Hierarchical Optoelectronic Device Models

    4. No Access

      Book Chapter

      Pages 201-216

      Towards High-Level Analog and Mixed-Signal Synthesis From VHDL-AMS Specifications

    5. No Access

      Book Chapter

      Pages 217-228

      Reliability Simulation of Electronic Circuits with VHDL-AMS

    6. No Access

      Book Chapter

      Pages 229-242

      Extending SystemC to Analog Modelling and Simulation

  4. Languages for Formal Methods

    1. Front Matter

      Pages 243-246

    2. No Access

      Book Chapter

      Pages 247-269

      Linking Architectural and Component Level System Views by Abstract State Machines

    3. No Access

      Book Chapter

      Pages 271-283

      A New Time Extension to π-Calculus Based on Time Consuming Transition Semantics

    4. No Access

      Book Chapter

      Pages 285-300

      Modeling CHP Descriptions in Labeled Transitions Systems for an Efficient Formal Validation of Asynchronous Circuit Specifications

    5. No Access

      Book Chapter

      Pages 301-314

      Combined Formal Refinement and Model Checking for Real-Time Systems Verification

    6. No Access

      Book Chapter

      Pages 315-330

      Refinement of Hybrid Systems

previous Page of 2