ASWSD 2004: San Diego, CA, USA

Quality Assurance

• Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm:
  Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. 1-14
  
• 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
  

Real-Time Control

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

Services and Components

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

Model-Based Development and Tools

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