ASWSD 2004: San Diego, CA, USA

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4147 Springer 2006, ISBN 3-540-37677-1 BibTeX

Quality Assurance

Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm:
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. 1-14
Electronic Edition (link) BibTeX
Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl, Stefan Benz:
Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform. 15-30
Electronic Edition (link) BibTeX

Hermann Kopetz:
On the Fault Hypothesis for a Safety-Critical Real-Time System. 31-42
Electronic Edition (link) BibTeX
Insik Shin, Insup Lee:
A Compositional Framework for Real-Time Guarantees. 43-56
Electronic Edition (link) BibTeX

Luciano Baresi, Carlo Ghezzi:
Validation of Component and Service Federations in Automotive Software Applications. 57-73
Electronic Edition (link) BibTeX
Wolfgang Pree, Josef Templ:
Towards a Component Architecture for Hard Real Time Control Applications. 74-85
Electronic Edition (link) BibTeX

Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken:
Adding Value to Automotive Models. 86-102
Electronic Edition (link) BibTeX
Gabor Karsai:
Automotive Software: A Challenge and Opportunity for Model-Based Software Development. 103-115
Electronic Edition (link) BibTeX
Sandeep Neema, Gabor Karsai:
Software for Automotive Systems: Model-Integrated Computing. 116-136
Electronic Edition (link) BibTeX
Wolfgang Pree, Gerald Stieglbauer, Josef Templ:
Simulink Integration of Giotto/TDL. 137-154
Electronic Edition (link) BibTeX