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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Broy, Manfred (Editor), Krüger, Ingolf H. (Editor), Meisinger, Michael (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4147
• Subjects: Computer science.; Special purpose computers.; Software engineering.; Computers.; Computer logic.; Computer simulation.; Computer Science.; Special Purpose and Application-Based Systems.; Software Engineering.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Simulation and Modeling.

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly...

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.