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.
Quality Assurance 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 Real-Time Control On the Fault Hypothesis for a Safety-Critical Real-Time System A Compositional Framework for Real-Time Guarantees Services and Components Validation of Component and Service Federations in Automotive Software Applications Towards a Component Architecture for Hard Real Time Control Applications Model-Based Development and Tools 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 Author Index
鄂公網(wǎng)安備 42010302001612號(hào) 