Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / Edition 1

Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / Edition 1

by Manfred Broy
     
 

This book constitutes the thoroughly refereed post-proceedings of the First Automotive Software Workshop, ASWD 2004, held in San Diego, CA, USA in January 2004. The 10 revised full papers presented were carefully reviewed and selected from 26 lectures held at the workshop that brought together experts from industry and academia, working on highly complex,

See more details below

Overview

This book constitutes the thoroughly refereed post-proceedings of the First Automotive Software Workshop, ASWD 2004, held in San Diego, CA, USA in January 2004. The 10 revised full papers presented were carefully reviewed and selected from 26 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.

Product Details

ISBN-13:
9783540376774
Publisher:
Springer Berlin Heidelberg
Publication date:
11/13/2006
Series:
Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI Series, #4147
Edition description:
2006
Pages:
156
Product dimensions:
0.38(w) x 6.14(h) x 9.21(d)

Table of Contents

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform.- On the Fault Hypothesis for a Safety-Critical Real-Time System.- A Compositional Framework for Real-Time Guarantees.- Validation of Component and Service Federations in Automotive Software Applications.- Towards a Component Architecture for Hard Real Time Control Applications.- Adding Value to Automotive Models.- Automotive Software: A Challenge and Opportunity for Model-Based Software Development.- Software for Automotive Systems: Model-Integrated Computing.- Simulink Integration of Giotto/TDL.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >