Automotive Software-Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers
著者
書誌事項
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, c2006
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より