Book Volume 3778 2005

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

ISBN: 978-3-540-30644-3 (Print) 978-3-540-31614-5 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. Component-Based Software Development for Embedded Systems – An Introduction

    1. No Access

      Chapter

      Pages 1-7

      Component-Based Software Development for Embedded Systems – An Introduction

  3. Specification and Verification

    1. No Access

      Chapter

      Pages 8-34

      Specification and Verification of Applications Based on Function Blocks

    2. No Access

      Chapter

      Pages 35-58

      A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets

    3. No Access

      Chapter

      Pages 59-81

      Modular Verification of Reconfigurable Components

  4. Component Compatibility

    1. No Access

      Chapter

      Pages 82-106

      Behavioral Types for Embedded Software – A Survey

    2. No Access

      Chapter

      Pages 107-122

      Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing

  5. Component Architectures, Implementation and Tool Support

    1. No Access

      Chapter

      Pages 123-142

      Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML

    2. No Access

      Chapter

      Pages 143-163

      Model Driven Software Development in the Context of Embedded Component Infrastructures

    3. No Access

      Chapter

      Pages 164-184

      A Component Framework for Consumer Electronics Middleware

    4. No Access

      Chapter

      Pages 185-208

      Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks

    5. No Access

      Chapter

      Pages 209-231

      CoConES: An Approach for Components and Contracts in Embedded Systems

    6. No Access

      Chapter

      Pages 232-248

      Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study

  6. Non-functional Properties

    1. No Access

      Chapter

      Pages 249-274

      Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

    2. No Access

      Chapter

      Pages 275-295

      Performance Evaluation Approaches for Software Architects

    3. No Access

      Chapter

      Pages 296-319

      Component-Based Engineering of Distributed Embedded Control Software

    4. No Access

      Chapter

      Pages 320-344

      Component-Based Development of Dependable Systems with UML

  7. Back Matter

    Pages -