Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verification from FDL’08

Editors:

ISBN: 978-1-4020-9713-3 (Print) 978-1-4020-9714-0 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xiv

  2. Model-Based System Specification Languages

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-26

      Power and Energy Estimations in Model-Based Design

    3. No Access

      Book Chapter

      Pages 27-41

      MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

    4. No Access

      Book Chapter

      Pages 43-56

      Generation of MARTE Allocation Models from Activity Threads

    5. No Access

      Book Chapter

      Pages 57-69

      Model-Driven System Validation by Scenarios

    6. No Access

      Book Chapter

      Pages 71-84

      An Advanced Simulink Verification Flow Using SystemC

  3. Languages for Heterogeneous System Design

    1. Front Matter

      Pages 85-85

    2. No Access

      Book Chapter

      Pages 87-100

      VHDL–AMS Implementation of a Numerical Ballistic CNT Model

    3. No Access

      Book Chapter

      Pages 101-112

      Wide-Band Sigma–Delta ADC Design in Superconducting Technology

    4. No Access

      Book Chapter

      Pages 113-128

      Heterogeneous and Non-linear Modeling in SystemC–AMS

  4. Digital Systems Design Methodologies Based on C++

    1. Front Matter

      Pages 129-129

    2. No Access

      Book Chapter

      Pages 131-147

      Application Workload and SystemC Platform Modeling for Performance Evaluation

    3. No Access

      Book Chapter

      Pages 149-165

      Adaptive Interconnect Models for Transaction-Level Simulation

    4. No Access

      Book Chapter

      Pages 167-182

      Efficient Architecture Evaluation Using Functional Mapping

    5. No Access

      Book Chapter

      Pages 183-199

      Symbolic Scheduling of SystemC Dataflow Designs

    6. No Access

      Book Chapter

      Pages 201-211

      SystemC Simulation of Networked Embedded Systems

    7. No Access

      Book Chapter

      Pages 213-226

      Modeling of Embedded Software Multitasking in SystemC/OSSS

    8. No Access

      Book Chapter

      Pages 227-240

      High-Level Reconfiguration Modeling in SystemC

    9. No Access

      Book Chapter

      Pages 241-253

      Stream Programming for FPGAs

  5. Verification and Requirements Evaluation

    1. Front Matter

      Pages 255-255

    2. No Access

      Book Chapter

      Pages 257-272

      A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level

    3. No Access

      Book Chapter

      Pages 273-290

      Debugging Contradictory Constraints in Constraint-Based Random Simulation

    4. No Access

      Book Chapter

      Pages 291-307

      Design of Communication Infrastructures for Reconfigurable Systems

    5. No Access

      Book Chapter

      Pages 309-324

      Analysis of Non-functional Properties of MPSoC Designs