Book Volume 6100 2010

Model-Based Engineering of Embedded Real-Time Systems

International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

ISBN: 978-3-642-16276-3 (Print) 978-3-642-16277-0 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Foundation

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-15

      1 Models of Reactive Systems

    3. No Access

      Chapter

      Pages 17-54

      2 Model-Based Integration

  3. Language Engineering

    1. Front Matter

      Pages 55-55

    2. No Access

      Chapter

      Pages 57-76

      3 Metamodelling

    3. No Access

      Chapter

      Pages 77-103

      4 Semantics of UML Models for Dynamic Behavior

  4. Modeling

    1. Front Matter

      Pages 105-105

    2. No Access

      Chapter

      Pages 107-128

      5 Modeling and Simulation of TDL Applications

    3. No Access

      Chapter

      Pages 129-154

      6 Modeling Languages for Real-Time and Embedded Systems

    4. No Access

      Chapter

      Pages 155-199

      7 Requirements Modeling for Embedded Realtime Systems

    5. No Access

      Chapter

      Pages 201-237

      8 UML for Software Safety and Certification

  5. Model Analysis

    1. Front Matter

      Pages 239-239

    2. No Access

      Chapter

      Pages 241-270

      9 Model Evolution and Management

    3. No Access

      Chapter

      Pages 271-293

      10 Model-Based Analysis and Development of Dependable Systems

  6. Approaches

    1. Front Matter

      Pages 295-295

    2. No Access

      Chapter

      Pages 297-307

      11 The EAST-ADL Architecture Description Language for Automotive Embedded Software

    3. No Access

      Chapter

      Pages 309-315

      12 Fujaba4Eclipse Real-Time Tool Suite

    4. No Access

      Chapter

      Pages 317-322

      13 AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems

    5. No Access

      Chapter

      Pages 323-328

      14 MATE - A Model Analysis and Transformation Environment for MATLAB Simulink

    6. No Access

      Chapter

      Pages 329-336

      15 Benefits of System Simulation for Automotive Applications

    7. No Access

      Chapter

      Pages 337-343

      16 Development of Tool Extensions with MOFLON

    8. No Access

      Chapter

      Pages 345-353

      17 Towards Model-Based Engineering of Self-configuring Embedded Systems

    9. No Access

      Chapter

      Pages 355-360

      18 Representation of Automotive Software Description Means in ASCET

    10. No Access

      Chapter

      Pages 361-368

      19 Papyrus: A UML2 Tool for Domain-Specific Language Modeling

    11. No Access

      Chapter

      Pages 369-376

      20 The Model-Integrated Computing Tool Suite

previous Page of 2