Model-Driven Development of Reliable Automotive Services (eBook, PDF)

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

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer-Verlag GmbH
• Seitenzahl: 183
• Erscheinungstermin: 17. Juli 2008
• Englisch
• ISBN-13: 9783540709305
• Artikelnr.: 44128063

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.