Manfred Broy,
Ingolf Krüger,
Michael Meisinger
Springer Berlin Heidelberg
2006e druk, 2006
9783540376774
Automotive Software-Connected Services in Mobile Networks
First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Specificaties
Paperback, 156 blz.
|
Engels
Springer Berlin Heidelberg |
2006e druk, 2006
ISBN13: 9783540376774
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the thoroughly refereed post-proceedings of the First Automotive Software Workshop, ASWD 2004, held in San Diego, CA, USA in January 2004. The 10 revised full papers presented were carefully reviewed and selected from 26 lectures held at the workshop that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain.
Specificaties
ISBN13:9783540376774
Taal:Engels
Bindwijze:paperback
Aantal pagina's:156
Uitgever:Springer Berlin Heidelberg
Druk:2006
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Inhoudsopgave
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform.- On the Fault Hypothesis for a Safety-Critical Real-Time System.- A Compositional Framework for Real-Time Guarantees.- Validation of Component and Service Federations in Automotive Software Applications.- Towards a Component Architecture for Hard Real Time Control Applications.- Adding Value to Automotive Models.- Automotive Software: A Challenge and Opportunity for Model-Based Software Development.- Software for Automotive Systems: Model-Integrated Computing.- Simulink Integration of Giotto/TDL.