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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Broy, Manfred (Επιμελητής έκδοσης), Krüger, Ingolf H. (Επιμελητής έκδοσης), Meisinger, Michael (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4147
• Θέματα: Computer science.; Special purpose computers.; Software engineering.; Computers.; Computer logic.; Computer simulation.; Computer Science.; Special Purpose and Application-Based Systems.; Software Engineering.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Simulation and Modeling.

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

Πίνακας περιεχομένων:

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