ASWSD 2006: San Diego, CA, USA

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922 Springer 2008, ISBN 978-3-540-70929-9

Modeling Techniques and Infrastructures

K. Venkatesh Prasad, Thomas J. Giuli, David Watson:
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software. 1-14
Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena:
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. 15-33
Edward Nelson, Henry Huang:
A Software and System Modeling Facility for Vehicle Environment Interactions. 34-47

Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models. 48-66
Gabor Karsai, Anantha Narayanan:
Towards Verification of Model Transformations Via Goal-Directed Certification. 67-83

Rance Cleaveland, Scott A. Smolka, Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation. 84-97
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller:
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. 98-117
Venkita Subramonian, Christopher D. Gill:
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. 118-132

Wolfgang Pree, Josef Templ:
Modeling with the Timing Definition Language (TDL). 133-144
Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm:
Towards Model-Driven Development of Hard Real-Time Systems. 145-160

Holger Giese:
Reusable Services and Semi-automatic Service Composition for Automotive Software. 161-181