By Arun Adiththan, Senior Researcher on GM’s R&D workforce and Daniel Struck, Software program Architect on GM’s VMEC embedded software program workforce
Synthetic intelligence is quickly reshaping software program growth, however car applications demand greater than quick output. In a software-defined car, velocity solely issues when the ensuing software program stays readable, testable, maintainable, and reviewable inside a tightly managed engineering course of.
GM groups used that lens in a broader analysis effort throughout the software program growth life cycle. The query was not whether or not AI may generate code, however the place it may cut back friction with out weakening the self-discipline manufacturing software program requires. Throughout very totally different sorts of engineering work, the identical sample emerged: AI is most helpful when it really works inside a structured engineering loop and produces bounded first drafts that engineers can confirm.


The V-model is a helpful strategy to view that work as a result of the chance spans the complete software program life cycle, from early growth choices by verification and long-term upkeep. Throughout that life cycle, GM’s work stored returning to the identical query: the place can AI take away friction whereas retaining engineering judgment firmly in management?
Challenges and alternatives
Automotive software program is a promising area for AI as a result of the work is advanced, incorporates recurring engineering duties, and is rising in scale. Groups handle giant codebases, specialised toolchains, demanding high quality expectations, and software program that evolves as car capabilities develop.
Analysis has discovered that automotive software program complexity has grown quicker than productiveness [1]. That imbalance creates actual stress to maneuver quicker with out compromising rigor. The problem is that automotive software program can not tolerate informal use of AI. A check artifact can miss the intent of a requirement. A cleaned-up embedded C perform can nonetheless break logic, violate MISRA (Motor Trade Software program Reliability Affiliation) coding requirements [5], or fail to compile when returned to its module.
The central query will not be merely whether or not a mannequin can produce output, however whether or not that output can face up to engineering scrutiny.
Excessive-level description of the options
GM analysis adopted the friction – the factors within the lifec ycle the place engineers persistently lose time. That friction generally seems throughout energetic growth when general-purpose instruments lack the area information to floor violations as they’re launched, leaving points to build up till formal evaluation catches them.
It additionally seems in upkeep, the place legacy code carries years of implicit assumptions that make modernization gradual and make giant, embedded features costly to refactor manually. In these areas, the analysis utilized giant language mannequin (LLM)-based strategies to supply bounded first drafts that engineers may consider and refine, quite than creator from nothing.


Determine 2: AI-assisted check automation carries necessities and behavioral intent into test-case era, script drafting, execution, and suggestions, with engineers reviewing every generative stage.
The necessity for bounded, reviewable progress turns into clearer within the workflows themselves. Necessities and behavioral intent are carried ahead into check instances, then scripts, then executed checks, with engineers reviewing every handoff so traceability is preserved.


Determine 3: The refactoring immediate methodology is organized round 5 parts: framework, regulation, templates, sequence, and iteration.
That very same insistence on bounded, reviewable progress additionally formed code enchancment work, the place structured immediate sequencing stored every move slim sufficient for engineers to examine earlier than transferring ahead [3].
Particulars of options
One of many clearest findings from the analysis was that outcomes depended much less on the AI mannequin itself than on how tightly the duty was outlined round it. When the mannequin was given a slim, well-scoped activity, its output might be checked in opposition to a recognized expectation. When the scope was left open, high quality grew to become much less dependable. That led to a fundamental rule for the work—each AI interplay needed to be bounded tightly sufficient that the reviewing engineer may inform whether or not the consequence was appropriate.
For real-time compliance steerage, that meant turning skilled developer information into express checking patterns so that every suggestion might be reviewed by itself deserves quite than accepted on the mannequin’s judgment alone — the thought behind the Clever Digital Advisor (IVA) [2].
The identical precept formed the opposite workflows. In refactoring, separating structural cleanup from readability enhancements by immediate chaining made every move simpler to evaluation and decreased the prospect that later edits would quietly undo earlier choices [3]. In script automation, structured prompting made translation from legacy Perl utilities to Python extra reviewable than a one-shot rewrite [3]. In validation, express steerage on format, protection, and stage of abstraction throughout test-case era helped protect traceability from requirement to executed check and prevented weak construction from carrying into downstream automation. The method assorted by use case, however the precept of retaining every step slim sufficient to confirm didn’t.
Context high quality mattered simply as a lot as scope. Requirements paired with compliant and non-compliant examples produced higher checking patterns than prose alone [2]. Few-shot examples guided output format extra reliably than directions by themselves [3]. For embedded software program refactoring, pre-computed summaries of inter-function dependencies helped protect consistency when the complete codebase couldn’t match into the mannequin context [3]. Higher framing persistently produced higher candidates.
The analysis additionally uncovered clear limits. Bigger fashions typically carried out higher general, however coaching additionally affected outcomes even amongst fashions sharing the identical structure. Logical points in generated code nonetheless required human evaluation [4]. Superb-tuning additionally helped, however compliant code should be chosen fastidiously [3,4]. Context-window constraints had been additionally an element, as high quality degraded with enter dimension, making segmentation and evaluation important [3].
Influence on GM
AI delivers its most sensible worth in automotive software program when it helps engineers catch points earlier, begin tough work quicker, and maintain reviewable progress transferring by the event life cycle. It shortens the time between introducing an issue and catching it, surfacing high quality violations throughout coding as an alternative of at formal evaluation. Even high-friction work turns into simpler to start out when AI supplies a primary draft. Collectively, these beneficial properties cut back friction the place engineers lose time throughout the life cycle.
That sample additionally seems within the measured and noticed outcomes. When the work was stored slim sufficient to evaluation, smaller-scope refactoring decreased cyclomatic complexity (a regular measure of perform complexity [6]) by about 30 % [3], validation work pointed towards a extra scalable requirement-to-script workflow, and skilled steerage programs reminiscent of IVA [2] had been in a position to enhance the standard of help with out transferring approval out of engineers’ arms. None of that removes accountability from engineers. AI accelerates the trail to a candidate; engineers determine what clears the bar.
Conclusions
Essentially the most helpful strategy to perceive AI in automotive software program growth will not be as an alternative choice to engineering judgment, however as a strategy to amplify and prolong it. Throughout this analysis, AI delivered essentially the most worth when it dealt with bounded, context-rich duties reminiscent of refactoring embedded code, surfacing compliance points, translating legacy scripts, and producing check artifacts that made progress seen whereas leaving verification, refinement, and approval in human arms.
The facility of AI, then, will not be merely that it may generate extra output in much less time. It’s that, when used inside a disciplined engineering workflow, it may assist groups catch points earlier, cut back the price of beginning advanced duties, and protect a clearer line between necessities, implementation, validation, and evaluation.
Trying forward, that mannequin of use suggests a path towards software program organizations that scale experience extra successfully, embed high quality checks earlier in growth, and make high-friction work extra repeatable with out reducing requirements. If that occurs, AI will matter much less as a code generator and extra as engineering infrastructure. It will probably function a sensible layer of help that helps skilled groups transfer quicker whereas retaining human judgment, technical proof, and remaining accountability firmly in place.
In automotive growth, that’s the mixture that makes AI not simply fascinating, however sturdy and value adopting.
References [1] McKinsey & Firm, “When Code is King: Mastering Automotive Software program Excellence,” accessed Oct. 2025. [2] Warmsley, D., Robert Genslak, and Paolo Giusto, “Clever Digital Advisor for Software program Improvement,” ICICT, 2025. [3] Robert Genslak, James Nicholson, Daniel Struck, Arun Adiththan, Paolo Giusto, Steven Miller, Fabian Benitez-Quiroz, and Octavi Obiols-Gross sales, “Giant language model-based options for automotive software program high quality enhancements: challenges and alternatives,” FISITA, 2025. [4] Struck, D. and Kumaraswamy, S., “Open Supply LLM Efficiency in Automating Embedded C Software program High quality Enhancements for Automotive,” SAE Technical Paper 2026-01-01. [5] The MISRA Consortium, Restricted, “MISRA,” [Online]. Obtainable: https://misra.org.uk/. [6] “A Complexity Measure,” IEEE Transactions on Software program Engineering, vol. SE-2, no. 4, pp. 308–320, Dec. 1976
SD Instances Q&A
How is GM utilizing AI in automotive software program growth?
GM is making use of giant language mannequin (LLM)-based strategies throughout the software program growth life cycle to scale back engineering friction. Particular use instances embrace real-time MISRA compliance steerage by way of an Clever Digital Advisor (IVA), refactoring embedded C code, translating legacy Perl scripts to Python, and producing check artifacts from necessities. In every case, AI produces bounded first drafts that engineers evaluation and approve.
Can AI-generated code meet MISRA coding requirements for automotive software program?
AI-generated code can’t be assumed to fulfill MISRA requirements with out engineer evaluation. GM’s analysis discovered that even cleaned-up embedded C features can violate MISRA guidelines, break logic, or fail to compile in context. Their method makes use of structured prompting and express compliance checking patterns to flag potential violations, however human engineers retain remaining approval authority.
What’s a software-defined car (SDV) and why does it complicate software program high quality?
A software-defined car (SDV) is one by which core car options and behaviors are managed and up to date by software program quite than mounted {hardware}. This will increase software program scale and complexity considerably, with analysis indicating automotive software program complexity has grown quicker than developer productiveness. Groups should handle giant, evolving codebases beneath strict security and high quality requirements reminiscent of MISRA.
What affect did AI-assisted refactoring have on code complexity at GM?
GM’s analysis discovered that narrow-scope, AI-assisted refactoring decreased cyclomatic complexity — a regular measure of perform complexity — by roughly 30 %. The method used structured immediate chaining to separate structural cleanup from readability enhancements, retaining every move sufficiently small for engineers to examine individually.
What are the boundaries of utilizing LLMs for embedded automotive software program?
GM’s analysis recognized a number of key limitations: bigger fashions typically carried out higher however coaching information high quality additionally affected outcomes considerably; logical errors in generated code nonetheless required human evaluation; fine-tuning required cautious collection of compliant code examples; and context-window dimension degraded output high quality, making enter segmentation and staged evaluation important for giant codebases.