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
You can accelerate your entire antenna design workflow—from initial concept to optimized specifications—by leveraging Claude's knowledge of electromagnetic theory, antenna types, and design trade-offs. Claude helps you parameterize designs, identify optimal configurations for your frequency band and application, and prepare detailed briefs for simulation and manufacturing. You'll generate design reviews, impedance-matching solutions, and validation checklists without context-switching to multiple tools.
Rapidly analyze production incidents by correlating observability signals—logs, metrics, traces, and events—to identify the true root cause instead of symptoms. You'll reconstruct incident timelines, quantify impact scope, and generate both immediate remediation steps and long-term prevention measures.
This skill guides you through designing Kalman filters for your specific state estimation and sensor fusion problems. You'll learn to diagnose filter divergence, tune covariance matrices (Q and R), and validate observability—turning mathematical theory into production-ready filters. The skill provides step-by-step workflows, diagnostic tools, and practical templates for common applications like GPS/IMU fusion, SLAM, and aircraft navigation.
Claude analyzes your code diffs and generates standardized commit messages that follow the Conventional Commits specification. The skill automatically determines the correct commit type, scope, and description based on the changes you've made, ensuring your messages are parseable by automation tools while remaining human-readable for code reviewers.
You'll transform high-level feature requirements into a complete development plan covering API design, frontend implementation, testing strategy, and documentation. The skill helps you identify dependencies, parallelize work across frontend and backend teams, and establish quality gates that ensure features ship bug-free with proper error handling and logging.
Transform schema and data changes into production-ready migration packages that protect data integrity and minimize downtime. You can handle column additions, renames, type conversions, and backfills using proven patterns like expand-contract and shadow tables. The skill generates explicit rollback scripts, validation checklists, and phased execution plans that keep applications stable throughout the migration.
You can design end-to-end NGS pipelines tailored to your experiment type (WGS, WES, RNA-seq, targeted), troubleshoot pipeline failures by analyzing QC metrics and logs, and optimize performance by fine-tuning parameters and identifying bottlenecks. This skill handles the full workflow from raw sequencing data quality assessment through variant interpretation and annotation.
You can rapidly design, optimize, and validate chromatographic and LC-MS/MS methods for analyzing drugs and metabolites in biological matrices. This skill guides you through analytical method development workflows—including parameter selection, sensitivity optimization, and regulatory strategy—while ensuring ICH Q2(R2) and FDA compliance throughout the development process.