Automotive Software-Connected Services in Mobile Networks

1. Front Matter

   PDF

2. Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

   • Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm

   Pages 1-14

3. Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

   • Klaus D. Mueller-Glaser, Clemens Reichmann, Markus Kuehl, Stefan Benz

   Pages 15-30

4. On the Fault Hypothesis for a Safety-Critical Real-Time System

   • H. Kopetz

   Pages 31-42

5. A Compositional Framework for Real-Time Guarantees

   • Insik Shin, Insup Lee

   Pages 43-56

6. Validation of Component and Service Federations in Automotive Software Applications

   • Luciano Baresi, Carlo Ghezzi

   Pages 57-73

7. Towards a Component Architecture for Hard Real Time Control Applications

   • Wolfgang Pree, Josef Templ

   Pages 74-85

8. Adding Value to Automotive Models

   • Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken

   Pages 86-102

9. Automotive Software: A Challenge and Opportunity for Model-Based Software Development

   • Gabor Karsai

   Pages 103-115

10. Software for Automotive Systems: Model-Integrated Computing

    • Sandeep Neema, Gabor Karsai

    Pages 116-136

11. Simulink Integration of Giotto/TDL

    • Wolfgang Pree, Gerald Stieglbauer, Josef Templ

    Pages 137-154

12. Back Matter

    PDF

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 or indirectly - abled by software. Today’s luxury cars contain up to 80 electronic control units (ECUs) and 5 di?erent, inter-connectednetworkplatforms, overwhich some700 software-enabled functions are distributed. On the other hand, the complexity induced by this largenumber of functions, their interactions, and their supporting infrastructure has started to becomethe limiting factor for automotive software development. Adequate management of this complexity is particularly important; the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers (e.g., to call for help in cases of emergency), between cars and devices brought into the car by drivers and passengers (such as cell phones, PDAs, and laptops), and even among cars. This dramatically shifts the focus from the development of individual software solutionsresidingondedicatedECUstotheirdistributionandinteractionwithin and beyond car boundaries.

• CASE
• Electronic Control Unit
• Quality of Service
• ad-hoc networking
• architecture
• automotive hardware
• distributed systems
• error containment
• error detection
• fault tolerance
• platform
• privacy
• real-ti
• real-time
• safety

• Technische Universität München, Germany

  Manfred Broy

• Computer Science and Engineering, University of California, Dan Diego, La Jolla, USA

  Ingolf H. Krüger

• Institut für Informatik, Technische Universität, Garching, Germany

  Michael Meisinger

Policies and ethics