Abstract is missing.
- Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable CodeChristian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm. 1-14 [doi]
- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration PlatformKlaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl, Stefan Benz. 15-30 [doi]
- On the Fault Hypothesis for a Safety-Critical Real-Time SystemHermann Kopetz. 31-42 [doi]
- A Compositional Framework for Real-Time GuaranteesInsik Shin, Insup Lee. 43-56 [doi]
- Validation of Component and Service Federations in Automotive Software ApplicationsLuciano Baresi, Carlo Ghezzi. 57-73 [doi]
- Towards a Component Architecture for Hard Real Time Control ApplicationsWolfgang Pree, Josef Templ. 74-85 [doi]
- Adding Value to Automotive ModelsEckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken. 86-102 [doi]
- Automotive Software: A Challenge and Opportunity for Model-Based Software DevelopmentGabor Karsai. 103-115 [doi]
- Software for Automotive Systems: Model-Integrated ComputingSandeep Neema, Gabor Karsai. 116-136 [doi]
- Simulink Integration of Giotto/TDLWolfgang Pree, Gerald Stieglbauer, Josef Templ. 137-154 [doi]