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 BibTeX

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
Electronic Edition (link) BibTeX
Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena:
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. 15-33
Electronic Edition (link) BibTeX
Edward Nelson, Henry Huang:
A Software and System Modeling Facility for Vehicle Environment Interactions. 34-47
Electronic Edition (link) BibTeX

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

Rance Cleaveland, Scott A. Smolka, Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation. 84-97
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Venkita Subramonian, Christopher D. Gill:
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. 118-132
Electronic Edition (link) BibTeX

Holger Giese:
Reusable Services and Semi-automatic Service Composition for Automotive Software. 161-181
Electronic Edition (link) BibTeX