


Остановите войну!
for scientists:


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.