2002-01-0872 The Embedded Cake: A Layers Model of Embedded Systems
2002-01-0873 Robust Embedded Software Begins with High-Quality Requirements
2002-01-0875 Automotive Software Development: A Model Based Approach
2002-01-0876 Practical Application of Model-Based Software Design for Automotive
2002-01-0878 Extensible and Upgradeable Vehicle Electrical, Electronic, and Software Architectures
2002-01-1169 Embracing the Systems Approach to Automotive Diagnostics
2002-01-1170 Rapid Application Development for Embedded Systems Using CAN Calibration Protocol
2002-01-1171 Automating FNOS Vehicle Network System-Level and Module-Level Testing
2005-01-1657 How to Do Hardware-in-the-Loop Simulation Right
2005-01-1658 Hardware-in-the-Loop Testing of Networked Electronics at Ford
2005-01-1659 Automatic Evaluation of ECU Software Tests
2005-01-1660 Hardware-in-the-Loop Testing of Vehicle Dynamics Controllers - A Technical Survey
2005-01-1663 Validating Powertrain Controller Systems With the VPACS-HIL Powertrain Simulator
2005-01-1664 Software Quality is Not a Coincidence: A Model-Based Test Case Generator
2005-01-1665 Verifying Code Automatically Generated From an Executable Model
2005-01-1666 Simulation Structure for Heterogeneous Environments
2005-01-1667 Hardware in the Loop for a Dynamic Driving System Controller Testing and Validation
2007-01-0503 Model-Based Automated Validation Techniques for Automotive Embedded Systems
2007-01-0505 Software Testing Strategies for Model-Based Chassis Control Systems
2007-01-0512 The Challenges of Next Generation Automotive Benchmarks
2007-01-1624 A Three-Pillar Framework for Model-Based Engine Control System Development
2007-01-1644 Design of a Digital Dash-Panel using a TFT LCD Panel and Blackfin Processor
2007-01-1645 Large Scale Modeling and Simulation of Propulsion Systems
2007-01-1777 An Engine Start/Stop System for Improved Fuel Economy
2007-01-1778 Development of Telematics Software Platform using WIPI for Service-based Applications
A Case Study in Applying a Product Line Approach for Car Periphery Supervision Systems
A CCA-compliant Nuclear Power Plant Simulator Kernel
A Common Ada Run-Time System for Avionics Software
A Common Approach for an Aerospace Software Environment
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
A compositional Framework for Real-Time Guarantees
A Contracting System for Hierarchical Components
ADA Coding Rules for ATAC Instrumentation of Application Software
Ada Run Time System Certification for Avionics Applications
Adding Value to Automotive Models
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
A Disciplined Approach to Software Test and Evaluation
A Distributed Object-Based Environment in Ada
A Generalization of the Software Engineering Maturity Model
Agent-Based Parsimonious Decision Support Paradigm Employing Bayesian Belief Networks
A Mobile Agent-Based Middleware for Opportunistic Resource Allocation and Communications
A Multi-agent UAV Swarm for Automatic Target Recognition