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
You can conduct comprehensive safety impact assessments for any transportation design intervention—from intersection redesigns to speed reduction corridors. The skill guides you through hazard identification, risk quantification using established methodologies (conflict studies, crash prediction models), and evidence-based mitigation development. You'll produce defensible safety documentation suitable for audits, litigation, and project approvals.
by az9713
This skill cross-references your residential design specifications against jurisdiction-specific building codes (IBC, IRC, local amendments) to identify code violations, ambiguous details inspectors will challenge, and compliance documentation gaps. You can validate designs across multiple jurisdictions, evaluate design trade-offs (fire-rating vs. acoustic performance), and generate compliance narratives that support permit applications—all before formal submission.
by az9713
You can input room dimensions, functional requirements, and design constraints to receive optimized furniture layouts with documented traffic flow patterns and compliance verification. Claude analyzes competing spatial demands—usable area, sightlines, egress, zoning—and produces data-driven plans that satisfy functional, regulatory, and aesthetic objectives simultaneously. This accelerates initial space planning and helps identify conflicts before costly revisions.
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
Design earth retention systems by inputting soil properties, site geometry, and regulatory requirements. Claude calculates lateral earth pressures using Coulomb, Rankine, and Mononobe-Okabe methods, verifies factors of safety for internal and external stability, compares competing retention concepts (gravity walls, cantilever, anchored, sheet-pile, soil-nail), and generates cost-benefit analysis and regulatory documentation packages ready for permit submission.
by az9713
You can submit architectural design documents, floor plans, and project parameters to receive a comprehensive compliance analysis that cross-references IBC, local amendments, zoning ordinances, and ADA accessibility requirements. Claude identifies specific gaps, cites applicable code sections, explains why each gap matters, and provides concrete remediation strategies—all before formal design review submission when corrections are costly and schedule-impacting.
by az9713
You can rapidly review fire protection system designs by cross-referencing applicable NFPA codes, calculating system hydraulic demands, validating component selections, and identifying compliance gaps. The skill automates technical verification tasks—from pump sizing and sprinkler head spacing to water supply adequacy and backflow preventer specification—reducing manual review time and design errors during development and plan review phases.
by az9713
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