Safety Verification for Autonomous Systems
Verify autonomous system safety, failure modes, and control robustness end-to-end
What You Can Do
Systematically verify safety in autonomous systems by performing failure mode analysis, testing control robustness, and simulating sensor failures to identify critical hazards. Claude generates detailed FMEA matrices, robustness assessments, and safety case documentation that trace requirements to verification evidence—accelerating pre-deployment certification and reducing oversight risk.
Features
Create comprehensive failure trees and hazard severity/likelihood matrices aligned with aerospace and automotive standards
Analyze stability margins, sensor uncertainty bounds, and actuator constraints to validate autopilot and guidance algorithm resilience
Define detection latency, false-positive rates, and evasion strategies for individual and cascading sensor failures
Map system requirements to verification artifacts and identify gaps in proof
Simulate edge cases (GPS loss, communications blackout, environmental hazards) and verify safe recovery behaviors
Model cross-subsystem failure propagation and identify single-points-of-failure requiring redundancy
Generate evidence structure compliant with IEC 61508, DO-178C, or ISO 26262 standards
Generate test scenarios and acceptance criteria after autopilot or navigation updates
Example Output
FMEA Excerpt: GPS Loss in Guidance System
| Failure Mode | Severity | Likelihood | Detection | RPN | Mitigation |
|---|---|---|---|---|---|
| GPS signal loss | High | Medium | 8s latency | 72 | INS fallback + geofence |
| False heading correction | Critical | Low | 2s latency | 45 | Heading rate sanity check |
Control Robustness Summary
- Stability margin: 2.1× at cruise altitude (exceeds 1.5× requirement)
- Sensor uncertainty impact: Heading error +/- 3° within acceptable tracking tolerance
- Actuator saturation recovery: Safe from stall with 0.5s latency in surface command
Sensor Failure Scenario: Barometric Altimeter
- Detection: Vertical acceleration deviates >0.3g within 4s
- Recovery: Switch to radar altitude with 200ft floor enforcement
- Test case: Simulate +1000 ft bias, verify auto-recovery completes in <6s
What's Included
- SKILL.md: Complete workflow for multi-system safety verification
- FMEA template: Pre-formatted worksheets for guidance, navigation, and propulsion subsystems
- Control robustness checklist: Stability margin, sensor uncertainty, and actuator constraint verification steps
- Sensor failure scenario matrix: Detection latencies, false-positive rates, and recovery strategies
- Safety case template: Argument structure compliant with major standards (IEC 61508, DO-178C, ISO 26262)
- Hazard interaction analysis worksheet: Cross-subsystem failure propagation and redundancy mapping
- Regulatory evidence checklist: Pre-flight certification requirements by jurisdiction (FAA, EASA)
Who It's For
- Autonomous vehicle safety engineers — Verify collision avoidance, sensor fusion, and override safety nets before road testing
- Robotics control system designers — Validate guidance algorithms and motor controller robustness in industrial or consumer robots
- Guidance and navigation engineers — Certify autopilot and path-planning control laws for aircraft, spacecraft, or marine vessels
- Unmanned aircraft systems (UAS) specialists — Pre-deployment safety verification for drone autopilots and sense-and-avoid systems
- Mobile robot platform architects — Analyze failure modes and mitigation strategies across multi-robot coordination and obstacle avoidance stacks
Best For
- Pre-deployment safety verification — Verify new control algorithms and sensor configurations before live testing or certification
- Failure mode analysis — Deep-dive FMEA on sensor redundancy architecture, actuator coupling, or environmental edge cases
- Robustness validation — Test autopilot and guidance system resilience under sensor noise, communication delays, and environmental uncertainty
- Safety requirements documentation — Generate traceable evidence that ties control design to safety requirements and verification tests
- Algorithm regression testing — After updates to navigation or guidance laws, systematically verify no safety margins were eroded
You might also like
Query your local Screenpipe instance to retrieve screen recordings, audio transcriptions, UI element accessibility trees, keyboard/mouse input logs, and productivity analytics. You can search by keywords, filter by content type (audio, OCR, accessibility, input), set time ranges, and extract structured data about your applications, meetings, and work sessions without sending data to external servers.
by az9713
You can conduct comprehensive slope stability analyses that integrate site characterization, soil/rock properties, and quantitative calculations to evaluate both simple and complex slope geometries. The framework helps you identify critical failure mechanisms, calculate safety factors, assess groundwater and seismic effects, and develop technically defensible remediation recommendations suitable for permitting, design decisions, and stakeholder communication.
by az9713
You can systematically design test cases for any feature or system by analyzing requirements or code to extract test parameters, values, and business constraints. The skill generates a PICT model, executes pairwise testing logic to minimize test case count while maximizing coverage, and delivers a formatted test matrix with expected results—reducing manual test design effort while ensuring comprehensive scenario coverage.
by az9713
This skill deconstructs your writing samples to identify the specific patterns, personality markers, emotional range, language quirks, and formatting habits that make your voice uniquely yours. You'll receive a detailed voice DNA profile that includes your core communication style, signature phrases, emotional tone, formality level, and what you actively avoid—creating a blueprint that AI systems can use to replicate your authentic voice consistently across projects, platforms, and content types.
by az9713
You can decompose complex timber structures into analyzable load paths, trace forces from applied loads through members to supports, and calculate governing demands for each structural element. This skill helps you identify critical design points, apply appropriate load factors and duration adjustments, and create defensible design documentation that satisfies code officials and peer reviewers.
by az9713
You can compare building materials across embodied carbon, water usage, recyclability, supply chain impacts, and lifecycle costs—all grounded in industry standards like EN 15804 and ISO 14040/44. This skill transforms material selection from intuition-based guessing into data-driven specification, producing analysis outputs ready for client presentations, value engineering discussions, and regulatory compliance documentation.
by az9713
You can audit BIM models across five critical domains: geometric accuracy and LOD consistency, information requirements and metadata, coordinate systems and project setup, element naming and classification standards, and documentation completeness. This skill generates detailed compliance reports that identify every gap and provide specific remediation guidance, enabling you to enforce consistent standards across projects, reduce rework, and ensure models are ready for handoff to downstream disciplines or coordination workflows.
by az9713
You can accelerate HVAC design workflows by inputting building parameters—envelope characteristics, occupancy data, climate conditions, and existing systems—and receiving calculated heating/cooling loads, equipment sizing recommendations, and zone-by-zone analysis. Claude organizes complex building data into actionable design parameters and specification summaries for client review, permit submission, and professional validation against ASHRAE and ACCA standards.
by az9713