Model-Driven Development of Reliable Automotive Services

Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Herausgegeben:Broy, Manfred; Krüger, Ingolf; Meisinger, Michael

• Broschiertes Buch

Produktbeschreibung

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra?c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi?cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi?cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di?erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD)2006, on whose results we report here.

Produktdetails

• Lecture Notes in Computer Science 4922
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12444144, 978-3-540-70929-9
• 2008
• Seitenzahl: 204
• Erscheinungstermin: 14. Juli 2008
• Englisch
• Abmessung: 235mm x 155mm x 12mm
• Gewicht: 318g
• ISBN-13: 9783540709299
• ISBN-10: 3540709290
• Artikelnr.: 24423686

Autorenporträt

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.

Inhaltsangabe

Modeling Techniques and Infrastructures.
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software.
Addressing Cross
Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control.
A Software and System Modeling Facility for Vehicle Environment Interactions.
Model Transformations.
Generating Sound and Resource
Aware Code from Hybrid Systems Models.
Towards Verification of Model Transformations Via Goal
Directed Certification.
Quality Assurance.
An Instrumentation
Based Approach to Controller Model Validation.
TestML
A Test Exchange Language for Model
Based Testing of Embedded Software.
Towards Integrated Model
Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems.
Real
Time Control.
Modeling with the Timing Definition Language (TDL).
Towards Model
Driven Development of Hard Real
Time Systems.
Services and Components.
Reusable Services and Semi
automatic Service Composition for Automotive Software.