Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Programming and Software Engineering

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: Broy, Manfred, Krüger, Ingolf, Meisinger, Michael (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-70930-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-70929-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book


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.

Table of contents (11 chapters)

  • The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K. Venkatesh (et al.)

    Pages 1-14

  • Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

    Neema, Sandeep (et al.)

    Pages 15-33

  • A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, Edward (et al.)

    Pages 34-47

  • Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, Madhukar (et al.)

    Pages 48-66

  • Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor (et al.)

    Pages 67-83

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-70930-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-70929-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Model-Driven Development of Reliable Automotive Services
Book Subtitle
Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Editors
  • Manfred Broy
  • Ingolf Krüger
  • Michael Meisinger
Series Title
Programming and Software Engineering
Series Volume
4922
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70930-5
DOI
10.1007/978-3-540-70930-5
Softcover ISBN
978-3-540-70929-9
Edition Number
1
Number of Pages
XVIII, 183
Topics