Book Volume 20 2014

Embedded Systems Development

From Functional Models to Implementations

ISBN: 978-1-4614-3878-6 (Print) 978-1-4614-3879-3 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-viii

  2. No Access

    Chapter

    Pages 1-16

    Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems

  3. Model-Based Design and Synthesis

    1. Front Matter

      Pages 17-17

    2. No Access

      Chapter

      Pages 19-39

      Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets

    3. No Access

      Chapter

      Pages 41-65

      Dataflow-Based, Cross-Platform Design Flow for DSP Applications

  4. Model-Driven Design, Integration and Verification of Heterogeneous Models

    1. Front Matter

      Pages 67-67

    2. No Access

      Chapter

      Pages 69-83

      Model-Driven Design of Software Defined Radio Applications Based on UML

    3. No Access

      Chapter

      Pages 85-99

      On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification

    4. No Access

      Chapter

      Pages 101-119

      Schedulability Analysis at Early Design Stages with MARTE

  5. Component-Based Design and Real-Time Components

    1. Front Matter

      Pages 121-121

    2. No Access

      Chapter

      Pages 123-137

      Early Time-Budgeting for Component-Based Embedded Control Systems

    3. No Access

      Chapter

      Pages 139-154

      Contract-Based Reasoning for Component Systems with Rich Interactions

    4. No Access

      Chapter

      Pages 155-169

      Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems

  6. Timing Analysis and Time-Based Synthesis

    1. Front Matter

      Pages 171-171

    2. No Access

      Chapter

      Pages 173-187

      Distributed Priority Assignment in Real-Time Systems

    3. No Access

      Chapter

      Pages 189-204

      Exploration of Distributed Automotive Systems Using Compositional Timing Analysis

    4. No Access

      Chapter

      Pages 205-220

      Design and Evaluation of Future Ethernet AVB-Based ECU Networks

  7. Back Matter

    Pages 221-223