Virtualized Fault Injection Methods in the Context of the ISO 26262 Standard
Hardware/Software Co-Design of an Automotive Embedded Firewall
A Building Blocks Method to Estimate Electronics Size and Calculate Productivity
Optical Imaging Evaluation of Impact Damage Resistance Testing on Exterior Finishes
Software Test and Calibration Using Virtual Manufacturing
An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)
An Analysis of Secure Software Development Lifecycle from an Automotive Development Perspective
Validation of Control Software by Search-Based Testing Using Formal Methods
Transient Engine Emulation within a Laboratory Testbed for Aircraft Power Systems
System Integration for MOSA-Compliant Integrated Avionics Architectures
10 Steps to ISO26262-compliant Model-based Software Components
Cybersecurity Testing and Validation
How Formal Techniques Can Keep Hackers from Driving You into a Ditch
Tactical Criteria for Software Code Quality Goals
Method to Design Honeycombs for a Shear Flexible Structure
High Path Accuracy, High Process Force Articulated Robot