Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Broy, Manfred (Editor ), Krüger, Ingolf (Editor ), Meisinger, Michael (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Information Systems and Applications, incl. Internet/Web, and HCI ; 4147
Temas:
Computers, Special purpose.
Software engineering.
Computer science.
Computer simulation.
Special Purpose and Application-Based Systems.
Software Engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Computer Modelling.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares