


default search action
ASWSD 2004: San Diego, CA, USA
- Manfred Broy, Ingolf H. Krüger, Michael Meisinger:

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
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














