4 Integrity Levels
Track change impact with function, static context, module/class, and file-level hashes.
Synetics_AI Code Governance for Mission Critical SW
In Automotive and functional-safety software, the provenance, integrity, review status, and change-control evidence of AI-generated code must be managed rigorously.
Synetics defines this process and applies solutions that identify AI-generated code and support reviewers so it can run inside the actual development workflow.
Consulting defines the coding method, humans request generation and perform the final review, and tools manage AI-code identification, integrity, and review evidence.
Track change impact with function, static context, module/class, and file-level hashes.
Connect IDE and CI with AICodeGenSaver, AICodeGenReviewer, and AICodeGenDashboard.
Verify annotations, hashes, review status, and policy violations in Jenkins.
Why It Matters
Merging AI-generated code without controls can create missing requirements, unintended behavior, weak review evidence, and tool-confidence issues.
Without model, prompt, requester, and base commit information, teams cannot explain why code was generated.
Safety activities need objective evidence of who reviewed the code and when approval happened.
If reviewed code changes without status regression, change control and re-review discipline break down.
Operating Flow
The flow connects developer prompts, IDE automation, human review, and Jenkins evidence output.
01
Include requirement ID, change ID, safety class, and allowed change scope in the Gen AI request.
02
On save, the IDE plugin calculates provenance and function/context/module/file hashes.
03
AI cannot set Reviewed. Only human reviewers can record Reviewed or ReworkRequired.
04
Jenkins verifies placeholders, hash mismatches, incomplete reviews, and independence violations.
Integrity Model
Even when human-written and AI-generated code coexist in one file, change impact and re-review scope remain traceable.
Normalize function signatures and bodies by AST and manage them with @funcId.
Track compile-time context such as includes, defines, typedefs, and constexpr values with @staticContextId.
Track class, struct, and namespace-level changes using a Merkle Tree style @moduleId.
Combine valid node hashes into @fileHash for Jenkins quick integrity checks.
Tool Architecture
Two VS Code plugins and one Jenkins plugin operationalize the defined process in daily engineering.
VS Code on-save hook
Human review support
Jenkins verification gate
Consulting Scope
This is not just plugin development. It connects Safety Plan, A‑SPICE activities, coding rules, and CI/CT operations.
Define AI code policy, state model, annotation rules, review regression policy, and gate criteria.
Align the process with requirement/change/safety classification systems and Git/Jenkins operations.
For safety projects, structure IDE/Jenkins plugins as software tool confidence assessment targets.
Connect human review, AI review guidance, static analysis, unit testing, and CI quality gates without conflict.
Evidence Dashboard
Jenkins results should be stored as JSON, HTML, or CSV artifacts, not just displayed on a screen.
FAQ
No. It is a supporting control and must operate with the Safety Plan, coding rules, verification strategy, and quality assurance activities.
No. AI-generated output remains candidate code, and final state transition must be explicit human reviewer action.
Human-written and AI-generated code can coexist in one file. Logical-unit hashes make re-review scope practical and traceable.
Next Step
For mission-critical software, teams must explain how AI code was generated, changed, reviewed, and approved. We can review the adoption scope for your current process.