2007-01-0512 The Challenges of Next Generation Automotive Benchmarks
2009-01-0126 Design and Performance Analysis of 10 Mbit/s CAN
2002-01-0873 Robust Embedded Software Begins with High-Quality Requirements
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
2007-01-0503 Model-Based Automated Validation Techniques for Automotive Embedded Systems
2002-01-0875 Automotive Software Development: A Model Based Approach
2002-01-0872 The Embedded Cake: A Layers Model of Embedded Systems
2002-01-0876 Practical Application of Model-Based Software Design for Automotive
2002-01-1170 Rapid Application Development for Embedded Systems Using CAN Calibration Protocol
2002-01-1169 Embracing the Systems Approach to Automotive Diagnostics
2002-01-0878 Extensible and Upgradeable Vehicle Electrical, Electronic, and Software Architectures
RELIASEP - A Technique for Safe Design
Domain Engineering - An Enabling Technology for Product Assurance
Developing a Successful Metrics Programme
Assurance Produit des Etudes: Une Approche Pragmatique
Learning Lessons: How to Collect and Use Past Experience
Quality Information System (QIS)
ISO 9001 and the ESA Quality Assurance Requirements for Space Systems, ESA PSS-01-20: A Comparison
Lessons learned from Pilot Applications of Sneak Analysis in Space Projects
Use of Decision Analysis in Risk Management
Rigorously Assessing Software Reliability and Safety
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
An Approach to Safety Assurance of Fuzzy Control Applications
Software Faults: The Avoidable and the Unavoidable: Lessons From Real Systems
A Pragmatic Approach to Software Quality Assurance in Scientific Laboratories
Software Failures, Faults and Errors: Their Risk Management and Control
Mission Control Software Experience: Some Important Aspects from the User's Viewpoint
The Future of Reliability Predictions
Risk Management in US Manned Spacecraft: From Apollo to Alpha and Beyond
Choice of RAMS Analyses to Increase the Cost Efficiency of Risk Management Process
The ECSS Product Assurance Standards for Space Products
European Strategy for Space Components
SQUID: A Method for Managing Software Quality During Development
Software Development and Software Quality at Surrey Satellite Technology Limited
Review of PA Disciplines From the Viewpoints of PA Experts and Project Managers
Application of RAMS Tools to Risk Management During the Development Phase of a Rocket Engine
Changes in the U.S. Part Marketplace: Challenges and Opportunities
From Process Assessment To Product Assurance
Comparison of Russian P.A. Standards With Corresponding ESA Requirements
2005-01-1659 Automatic Evaluation of ECU Software Tests
2005-01-1658 Hardware-in-the-Loop Testing of Networked Electronics at Ford
2005-01-1657 How to Do Hardware-in-the-Loop Simulation Right