Embedded Perspectives
Static Analysis
13 articles tagged with Static Analysis.
The Complete AUTOSAR Verification Chain: AUTOSAR C++14 Static Analysis with Helix QAC, SWC and RTE Testing with TESSY 6
AUTOSAR software component code carries two separate proof burdens: coding-standard compliance across every execution path, and correct runtime behaviour through the RTE. Static analysis and dynamic testing answer different audit questions, so most ISO 26262 evidence packages need both. This guide walks the chain end to end: AUTOSAR C++14 and MISRA analysis with Perforce Helix QAC or Klocwork, then ARXML-driven SWC and RTE testing in Razorcat TESSY 6, then coverage evidence. GSAS Micro Systems is the India engineering partner for both Perforce and Razorcat.
DevSecOps Tools and Practices for Embedded Teams in India
DevSecOps moves security scanning and coding-standard enforcement into the CI/CD pipeline itself. Here is how embedded teams in India assemble a SAST, unit-test, and traceability toolchain, and where GSAS's Perforce and Razorcat tools fit.
Static Analysis for Medical Device Software: IEC 62304 and FDA Compliance in India
IEC 62304 governs the software lifecycle for every medical device sold with embedded or standalone software, and static analysis is how most manufacturers satisfy its coding-standard and verification requirements. Here is what the standard actually requires, how FDA compliance evidence works, and which certified tools Indian medical device teams can use, from GSAS Micro Systems, an authorized engineering partner in India.
Shift-Left for Safety-Critical Code: Perforce QAC Static Analysis + Razorcat TESSY Dynamic Testing for MISRA, IEC 62304 and FDA Compliance in India
Run Perforce QAC static analysis first to enforce MISRA and clean the code, then Razorcat TESSY for dynamic unit testing and MC/DC coverage. Together they form a complete shift-left toolchain for IEC 62304 medical-device and FDA-regulated software, both from one authorized engineering partner in India, GSAS Micro Systems.
TESSY + Helix QAC: MISRA Static Analysis + MC/DC Dynamic Testing for Complete ISO 26262 Verification
ISO 26262 Part 6 does not ask for a choice between static analysis and dynamic testing.
AI-Assisted Code Remediation for Safety-Critical C and C++
Perforce has extended AI-assisted code remediation across both Helix QAC and Klocwork, delivered through a Static Analysis MCP server that Perforce describes as IDE-agnostic and Code-Assist tool-agnostic, with support for private, air-gapped environments. The fix is proposed by AI. The finding it is fixing still comes from the qualified analysis engine, and a developer approves every change.
MISRA, AUTOSAR, and CERT: Coding Standards Every Indian Embedded Team Should Know
An overview of the coding standards that matter most for Indian embedded teams, MISRA C/C++, AUTOSAR C++14, CERT, and CWE, and how static analysis tools enforce them automatically.
Static Application Security Testing: Why 50% of Vulnerabilities Start in Source Code
Half of all security defects originate at the source code level. SAST tools like Klocwork identify vulnerabilities during development, before they reach production. Here's what Indian engineering teams need to know.
Writing Secure C Code: Best Practices for Indian Embedded Engineers
Exploitable coding errors, not sophisticated attacks, are behind a large share of security incidents in embedded systems. Here is how Indian engineering teams can adopt secure C coding practices using proven frameworks and tools.
What Is MISRA? The Definitive Guide to MISRA C and C++ for Indian Automotive Teams
MISRA stands for the Motor Industry Software Reliability Association, and MISRA C is its set of industry-consensus coding guidelines that restrict C to a safer, more predictable subset rather than changing the language itself.
What Is Static Analysis? A Practical Guide for Indian Development Teams
Static analysis examines your code without running it, catching defects that testing misses. Here's a practical guide for Indian embedded and enterprise development teams.
MISRA C:2023: What Changed and How to Migrate Your Codebase
MISRA C:2023 consolidates MISRA C:2012 with Amendments 2-4. Key changes include new rules for security, updated decidability classifications, and C11/C18 support.
Webinar: Best Practices for Static Analysis in CI/CD Pipelines
GSAS Micro Systems hosted a technical webinar with Perforce Software on integrating static analysis tools into CI/CD workflows and DevOps automation pip...