AI assurance layer for critical software

NOVA

Convert AI speed into demonstrable trust.

NOVA transforms AI-generated requirements, tests, architecture and engineering documentation into controlled, traceable, verifiable and audit-ready evidence—enabling AI adoption in safety-critical development.

ISO 26262 IEC 61508 EN 50128 / EN 50716 IEC 62304 DO-178C / DO-330 ECSS
NOVA Assurance Workflow CONTROLLED
1
Propose AI drafts engineering artefacts
CREATED
2
Verify Deterministic checks catch ambiguity and conflict
CHECKED
3
Govern Experts review through formal gates
APPROVED
4
Evidence Every action produces an audit trail
READY
Evidence pack: traceability matrix · coverage · approvals · rationale
The challenge

AI made generation fast. Assurance became the bottleneck.

The hard problem is no longer producing requirements, tests and documentation. It is proving that AI-generated artefacts are complete, traceable, deterministically checked and ready for regulated review.

Manual and slow

Engineering artefacts consume substantial expert time and remain vulnerable to inconsistency and omission.

Fast but uncontrolled

Generation becomes abundant, but raw LLM output is unpredictable, unrepeatable and difficult to scale safely.

Proving trust

Teams need traceability, formal verification, governance and certification-ready evidence.

1

Propose

AI drafts requirements, tests, architecture and documentation.

2

Verify

Deterministic and formal checks identify ambiguity, incompleteness and conflict.

3

Govern

Named roles, review gates and approval states keep experts in control.

4

Evidence

Traceability, decisions and verification results become audit-ready records.

NOVA capabilities

A complete AI assurance platform

From raw requirements through executable tests and release evidence, NOVA supports the engineering lifecycle without asking teams to surrender technical authority to AI.

REQ

Requirements Engineering & Verification

Convert natural-language requirements into SMART specifications while checking consistency, completeness and safety-standard alignment.

TST

Test Case & Script Generation

Generate systematic tests and executable scripts using safety-standard techniques, with bidirectional requirement-to-test traceability.

ARC

AI-Assisted Architecture

Define, analyse and document system and software architecture aligned with requirements and design standards.

↔

End-to-End Traceability

Maintain living links across requirements, tests, code and evidence, supported by intelligent change-impact analysis.

HITL

Human-in-the-Loop Governance

Formal roles, review gates, approval states and audit logs ensure that AI proposes and qualified experts decide.

EVD

Evidence Packs & Audit Readiness

Export traceability matrices, coverage results, approval histories and rationale as structured release evidence.

Works with your engineering ecosystem

Assurance without replacing your toolchain

NOVA can exchange controlled artefacts with requirements-management and test-execution environments, helping teams introduce AI assurance within established ALM and V&V processes.

Requirements-management integration
Test-generation and execution workflows
Native and custom adapters
Release-specific evidence exports
DevelopAir platform exporting verified requirements and generated tests to requirements management and testing tools
What differentiates NOVA

Direct LLM output versus an assurance platform

A general-purpose LLM can generate content. NOVA surrounds AI-assisted engineering with the process knowledge, controls and evidence regulated teams require.

CapabilityDirect LLMNOVA
Generate text, code or testsYes, but unstructuredControlled engineering process
Safety-process knowledgeNot present by defaultConfigurable through standards
Requirement–test–code traceabilityNot nativeCore capability
Audit-ready evidence packsPartial or absentStructured by release
Human-in-the-loop gatesNot enforcedRoles, gates and approvals
Change-impact analysisNoneIntelligent regression support
ALM / V&V integrationLimited or ad hocNative and custom adapters
Regulated domains

Built for embedded software that cannot fail

Railway systems
Railway EN 50128 · EN 50716
Automotive systems
Automotive ISO 26262
Aviation systems
Aviation DO-178C · DO-330
Space systems
Space ECSS-E-ST-40C · Q-ST-80C
Medical systems
Medical IEC 62304
Software tool for safety-related development

According to the supplied NOVA brochure, NOVA fulfils support-tool requirements classified T2 under IEC 61508-3 and EN 50128, is qualified for safety-related development under IEC 61508, EN 50128 and ISO 26262, and validated for use under IEC 62304.

IEC 61508 EN 50128 ISO 26262 IEC 62304
Real-world evidence

Case studies from regulated engineering

Two practical examples show how NOVA supports new safety validation and legacy recertification programs.

AI-assisted railway engineering workflow
Case 01 · HIL validation · SIL2

Scale HIL validation without scaling manual effort

Requirements and domain documentation are structured, improved and reviewed before NOVA generates traced SIL2 test cases and scripts for execution on the customer’s HIL environment.

Import & structure Generate traced tests Execute & evidence
Reported outcome: 50% reduction in V&V effort at SIL2 criticality.
Legacy safety-critical software recertification
Case 02 · Legacy modernization · ASIL-B / ASIL-D

Restore traceability for legacy recertification

NOVA ingests legacy code, requirements and documentation, generates updated requirements and tests, and helps teams rebuild coverage and evidence around existing software.

Ingest legacy assets Regenerate tests Measure MC/DC
Reported outcome: lower recertification cost, MC/DC coverage achieved and traceability restored.
Benefits and ROI

Measurable engineering impact

The NOVA brochure reports significant improvements across development, cost and certification effort. Results depend on the project baseline, domain, criticality and deployment scope.

50% reported reduction in software development time
50% reported reduction in software development costs
30% reported reduction in time spent on certification

Productivity

Move from requirements to executable tests faster while automating repetitive V&V work.

Quality & Compliance

Detect ambiguity, gaps and conflicts early and reduce downstream rework.

Audit Readiness

Retain model, prompt, approval, rationale and trace history for AI-assisted artefacts.

Integration

Connect the assurance workflow to the requirements and test tools your teams already use.

Start with evidence, not promises

A focused NOVA pilot

Begin with a bounded engineering problem and agreed before-and-after measures. The recommended starting point is 50–200 real requirements with a known ALM/V&V context.

50–200 real requirements
A selected criticality and target standard
Existing or expected tests as a baseline
An identified ALM or V&V environment
Agreed quality, effort and traceability metrics
Talk · Demo · Evaluation

Bring us a real assurance challenge

Lexington Soft and DevelopAir can help you identify a focused use case, map the applicable standard and define a measurable NOVA evaluation.

Requirements quality and verification
Automatic test generation
Legacy modernization and recertification
Traceability and audit evidence
ALM and V&V integration
Name