Automotive Software – Connected Services in Mobile Networks [electronic resource] :First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger.
by Broy, Manfred [editor.]; Krüger, Ingolf H [editor.]; Meisinger, Michael [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 4147Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: XIV, 155 p. Also available online. online resource.ISBN: 9783540376781.Subject(s): Computer science | Software engineering | Logic design | Computer simulation | Computer Science | Special Purpose and Application-Based Systems | Software Engineering | Computation by Abstract Devices | Logics and Meanings of Programs | Simulation and ModelingDDC classification: 004.6 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | TK7874.6 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
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.
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. The papers presented are organized in topical sections on quality assurance, real-time control, services and components, as well as model-based development and tools.
There are no comments for this item.