Embedded Automotive Firmware Code Reviewer
Analyze embedded automotive firmware for safety, correctness, and performance
What You Can Do
You receive detailed safety and compliance analysis of your embedded automotive firmware, identifying potential bugs, performance bottlenecks, and violations of automotive coding standards. Claude performs static code review with focus on AUTOSAR compliance, ISO 26262 functional safety principles, memory safety, real-time constraints, and hardware interaction correctness. Your team gets actionable recommendations to harden critical sections, optimize performance, and pass compliance audits.
Features
identifies potential safety violations, memory corruption, and unhandled error paths in automotive firmware
checks firmware against functional safety standards and automotive coding guidelines
detects deadline violations, interrupt conflicts, and timing bottlenecks in hard real-time systems
analyzes stack/heap usage, identifies leaks, and detects inefficient buffer management
validates GPIO control, CAN bus communication, sensor integration, and register-level access patterns
checks task synchronization, mutex/semaphore usage, race conditions, and deadlock potential
reviews ISR safety, re-entrancy, priority inversion, and context switch correctness
flags anti-patterns common in embedded systems like busy-waits, polling loops, and non-deterministic behavior
Example Output
Example 1: CAN Driver Analysis
Finding: Unprotected shared buffer access in can_rx_interrupt() and can_transmit() (lines 142–156)
- ✅ Severity: High (Race condition)
Issue: The rx_buffer is modified in the ISR without disabling interrupts, causing data corruption when can_transmit() accesses it.
Recommendation: Use atomic compare-and-swap or spinlock to guard buffer updates.
Example 2: Stack Overflow Risk
Finding: Large local array in process_sensor_data() (line 78)
void process_sensor_data() {
float sensor_values[512]; // 2KB on stack!
}
- ✅ Compliance Gap: Violates AUTOSAR stack budgeting for microcontroller with 8KB RAM
Recommendation: Move to static/global allocation or heap with pre-allocated pool.
Example 3: Timing Analysis
Finding: Task engine_control_task (period 10ms) calls heavy_computation() which runs ~12ms
- ✅ Deadline Miss: Hard real-time violation — task will miss its 10ms deadline
Recommendation: Refactor computation into background tasks or reduce loop complexity.
What's Included
- SKILL.md: Complete firmware code review workflow with analysis frameworks
- Firmware Analysis Checklist: Systematic review template for each firmware module
- Safety Compliance Template: ISO 26262 mapping and AUTOSAR guideline checklist
- Performance Profiling Guide: Real-time deadline analysis and bottleneck identification framework
- Memory Safety Workbook: Stack/heap analysis, buffer overflow detection patterns
- RTOS Verification Checklist: Task synchronization, priority inversion, and race condition patterns
- Hardware Abstraction Layer Review Guide: GPIO, CAN, sensor, and register access validation
- Automotive Coding Standards Reference: AUTOSAR C++ and functional safety code patterns
Who It's For
- Embedded firmware engineers developing safety-critical automotive systems
- Automotive software architects designing ECU firmware architecture
- Functional safety engineers verifying ISO 26262 compliance
- Automotive quality assurance leads conducting pre-release code audits
- RTOS and real-time systems specialists optimizing timing-critical code
Best For
- Pre-commit code review of firmware modules before integration
- Safety compliance verification for ISO 26262 certification preparation
- Real-time performance analysis and hard deadline verification
- Memory safety and buffer overflow prevention audits
- Interrupt handler and hardware abstraction layer correctness review
You might also like
Analyze Solidity and other smart contract code for security vulnerabilities, gas inefficiencies, and best practice violations. Get detailed reports with risk scoring, remediation suggestions, and optimization recommendations. Whether you're auditing before deployment or reviewing third-party contracts, this skill identifies critical issues faster than manual review.
You can systematically diagnose database performance bottlenecks by sharing your schema, slow query logs, and execution plans with Claude. It identifies root causes—missing indexes, inefficient joins, lock contention—and provides prioritized recommendations with ready-to-implement SQL. Skip the manual log analysis and get tuning strategies tailored to your workload.
This skill provides a structured approach to analyzing process problems, identifying root causes, and recommending capacity optimizations. You'll get clear bottleneck identification, data-driven recommendations, and a framework to validate whether your solutions actually work. Perfect for diagnosing why workflows are slow and finding the leverage points that matter most.
Use Claude to systematically analyze your database queries, execution plans, and schema to identify performance bottlenecks. The skill generates actionable optimization recommendations with SQL rewrites, index strategies, and configuration tuning. You'll receive detailed before-and-after performance analysis to validate improvements and prioritize work by impact.
You'll design and implement mobile features with architectural rigor, cross-platform considerations, and edge-case handling built-in. This skill generates complete system designs, platform-specific implementation strategies, performance optimization approaches, and testing frameworks. The output is production-ready guidance spanning iOS and Android with security, offline resilience, and deployment strategies included.
Design and optimize injectable formulations by analyzing your active pharmaceutical ingredient (API), selecting compatible excipients, and predicting stability outcomes. You'll receive systematic workflows that guide you through API characterization, formulation architecture, and risk mitigation—enabling faster development cycles and regulatory-ready documentation.
You'll develop systematic approaches to injectable formulation design, from API selection through sterilization strategy. Claude helps you troubleshoot failed batches by analyzing root causes, recommends regulatory pathways (505(b)(2), ANDA, NDA), and provides science-backed solutions for stability, compatibility, and manufacturability challenges.
You can architect multi-node ROS control systems from scratch, including node design patterns, communication flows, and real-time constraints. You'll debug complex node interactions using publisher/subscriber analysis, service call tracing, and action server diagnostics. You can optimize motion controllers through PID tuning, trajectory planning validation, and performance profiling to achieve precise, responsive robotic behavior.