Overview
Static analysis is a mandatory activity in automotive software development per ISO 26262 and ASPICE. It catches defects that testing alone cannot find - undefined behavior, race conditions, and potential runtime errors.
This course covers the two pillars of automotive static analysis: coding standard enforcement (MISRA-C:2012, CERT-C) and deep static analysis (abstract interpretation, data flow analysis) using industry-standard tools.
You'll learn to configure and integrate Polyspace, LDRA, and QAC into development workflows, manage deviations properly, and present analysis results that satisfy ASPICE assessors.
Course Modules
1
Static Analysis Fundamentals
Why Static Analysis in Automotive?FREE PREVIEW
35 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
Analysis Techniques OverviewFREE PREVIEW
40 min read
▸ Core concepts & terminology definitions
▸ Architecture diagrams & component relationships
▸ Industry standards & specification references
▸ Practical relevance & real-world applications
Tool Categories & Selection
35 min read
▸ Tool installation & environment setup guide
▸ Feature reference & workflow documentation
▸ Configuration best practices & templates
▸ Integration with other tools in the toolchain
Integration into Development Workflow
40 min read
▸ Process model & phase descriptions
▸ Role definitions & responsibilities
▸ Deliverables & work product templates
▸ Quality gates & review criteria
Hands-On: First Static Analysis Run
50 min read
▸ Step-by-step implementation walkthrough
▸ Configuration templates & code samples
▸ Troubleshooting guide & common pitfalls
▸ Validation checklist & expected outputs
2
MISRA-C:2012 Compliance
MISRA-C:2012 Rules & Directives
55 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
Mandatory, Required & Advisory Rules
40 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
Common Violations & Fixes
50 min read
▸ Common error patterns & root cause analysis
▸ Diagnostic tools & debugging methodology
▸ Resolution procedures & workarounds
▸ Prevention strategies & best practices
Deviation Process & Documentation
45 min read
▸ Process model & phase descriptions
▸ Role definitions & responsibilities
▸ Deliverables & work product templates
▸ Quality gates & review criteria
MISRA-C:2012 Amendment 2 & 3
35 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
Hands-On: MISRA-Compliant Refactoring
60 min read
▸ Step-by-step implementation walkthrough
▸ Configuration templates & code samples
▸ Troubleshooting guide & common pitfalls
▸ Validation checklist & expected outputs
3
Deep Static Analysis Tools
Polyspace Bug Finder & Code Prover
55 min read
▸ Build system configuration & toolchain setup
▸ Code generation templates & customization
▸ Compilation flags & optimization options
▸ Output verification & binary analysis
LDRA TBvision Configuration
50 min read
▸ Parameter reference table & valid ranges
▸ Step-by-step configuration procedure
▸ Validation & verification steps
▸ Configuration templates & examples
Perforce QAC/Helix QAC
45 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
Parasoft C/C++test
40 min read
▸ Test strategy & coverage requirements
▸ Test case specifications & procedures
▸ Automation framework & scripting guide
▸ Results analysis & reporting templates
Hands-On: Multi-Tool Analysis Comparison
60 min read
▸ Step-by-step implementation walkthrough
▸ Configuration templates & code samples
▸ Troubleshooting guide & common pitfalls
▸ Validation checklist & expected outputs
4
Production Deployment & Reporting
CI/CD Integration (Jenkins, GitLab)
45 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
Quality Gates & Blocking Rules
40 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
ASPICE-Compliant Reporting
40 min read
▸ Component architecture & interface specifications
▸ Port definitions, data types & sender-receiver contracts
▸ Configuration parameters & mapping reference
▸ Integration patterns & inter-component communication
Metric Dashboards & Trend Analysis
35 min read
▸ Comprehensive technical reference & specifications
▸ Detailed configuration guide with examples
▸ Implementation best practices & guidelines
▸ Troubleshooting reference & FAQ
Hands-On: Complete Analysis Pipeline
55 min read
▸ Step-by-step implementation walkthrough
▸ Configuration templates & code samples
▸ Troubleshooting guide & common pitfalls
▸ Validation checklist & expected outputs
Tools Used
What You'll Learn
Configure MISRA-C:2012 compliance checking tools
Resolve common MISRA violations in automotive code
Run and interpret Polyspace Code Prover results
Manage deviations with proper documentation
Integrate static analysis into CI/CD pipelines
Generate ASPICE-compliant analysis reports
Prerequisites
C programming proficiency
Familiarity with AUTOSAR or embedded software
Basic understanding of software quality concepts
Full Access
Free with Pro
Enroll Now
Browse Modules
This course includes:
21 detailed documentation chapters
Downloadable resources
Searchable text documentation
Code snippets & technical diagrams
Hands-on exercises
Lifetime access
Certificate of completion