Model-Driven Development of Reliable Automotive Services

Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

  • Editors
  • Manfred Broy
  • Ingolf H. Krüger
  • Michael Meisinger
Conference proceedings ASWSD 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4922)

Table of contents

  1. Front Matter
  2. Modeling Techniques and Infrastructures

  3. Model Transformations

    1. Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
      Pages 48-66
  4. Quality Assurance

    1. Rance Cleaveland, Scott A. Smolka, Steven T. Sims
      Pages 84-97
    2. Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Mueller
      Pages 98-117
  5. Real-Time Control

    1. Wolfgang Pree, Josef Templ
      Pages 133-144
    2. Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm
      Pages 145-160
  6. Services and Components

  7. Back Matter

About these proceedings

Introduction


This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.

The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.

Keywords

ad-hoc networking automotive hardware automotive software behavior preservation bisimulation error detection formalized quality assurance intelligent interfaces mobile networking model model description langu modeling quality assurance structured analysis structured design

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-70930-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-70929-9
  • Online ISBN 978-3-540-70930-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book