Testability Verification of Embedded Systems Based on Weak Mutation Analysis

1
Reliability-Driven HW-SW Partitioning for Robust
Logic
Fabian Vargas vargas_at_computer.org Catholic
University PUCRS Electrical Engineering Dept.
Av. Ipiranga, 6681
90619-900 Porto Alegre

Brazil
2
Summary

• Fault-Tolerant Systems Design
• Exploiting HWSW Partitioning for Reliable
  Embedded Systems
• Unified HWSW Reliability Insertion Estimation
• CASE (EMI-Tolerant Embedded System)