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.
Author(s): K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)
Series: Lecture Notes in Computer Science 4922 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 183
Tags: Special Purpose and Application-Based Systems; Software Engineering; Computation by Abstract Devices; Logics and Meanings of Programs; Simulation and Modeling
Front Matter....Pages -
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software....Pages 1-14
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control....Pages 15-33
A Software and System Modeling Facility for Vehicle Environment Interactions....Pages 34-47
Generating Sound and Resource-Aware Code from Hybrid Systems Models....Pages 48-66
Towards Verification of Model Transformations Via Goal-Directed Certification....Pages 67-83
An Instrumentation-Based Approach to Controller Model Validation....Pages 84-97
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software....Pages 98-117
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems....Pages 118-132
Modeling with the Timing Definition Language (TDL)....Pages 133-144
Towards Model-Driven Development of Hard Real-Time Systems....Pages 145-160
Reusable Services and Semi-automatic Service Composition for Automotive Software....Pages 161-181
Back Matter....Pages -
