SPEC-TO-CSV AUTOMATION ENGINE | IEC 62381 / FAT-SAT FUNCTIONAL VERIFICATION

The Spec-to-CSV Engine: Automated Specification to IEC 62381 Test Generation

Translate layout-rich functional descriptions into reviewable FAT test cases

A critical contractual milestone in validating heavy-industry control systems is the Factory Acceptance Test (FAT). Historically, translating complex, layout-rich PDF specifications (such as your Conveyor Hydraulic Brake or Variable Speed Drive specifications) into standard-compliant, executable IEC 62381 functional test sheets has been an expensive, manual, and error-prone process.

Control system integrators and client engineers spend an excessive amount of time manually copying and pasting functional requirements and operational rules from engineering documents into test sheets. Worse than the wasted hours, this tedious process creates a massive cognitive bottleneck, leading to "requirements leakage"—where critical functional requirements defined in the document fail to be verified during testing.

Our Spec-to-CSV Engine is designed to automate this transition. It ingests unstructured, layout-rich engineering specifications, resolves their visual design hierarchies, aligns their operational rules to a plant ontology, and produces structured, traceable IEC 62381 CSV functional checklists designed to support IEC 62381 FAT workflows.

Start a Private Pilot
Structured to support IEC 62381 FAT workflows
Structured Workflow

From Specification to Test Checklist

The engine uses a structured four-stage workflow to transform engineering documentation into reviewable FAT test cases:

DATA PROCESSING FRAMEWORK - Engineering-AI Pipeline Diagram
1

READ

Extract requirements and recover document structure. The engine maps the 2D layout of dense, multi-column PDF specifications, isolating headings, paragraphs, nested tables, and logic blocks with coordinate precision rather than flattening the page into raw text.

Input: Unstructured Multi-column PDF • Output: Visual Spatial Graph
2

MAP

Identify equipment, signals, operating states and engineering relationships. Instead of placing text into a generic search index, extracted tags, variables, and sequences are aligned to a Plant Ontology so the engine can structure how equipment, signals, and operating states relate.

Input: Spatial Graph • Output: Structured Tag Nomenclature Map
3

TRANSLATE

Convert functional requirements into structured test conditions and expected results. Rather than relying solely on generative interpretation, the engine applies structured schemas, engineering rules and validation checks to constrain how requirements are transformed into test cases, including Test Case ID, Annex Ref, Functional Category, Test Activity, and Acceptance Criteria.

Input: Operational Graph • Output: Structured IEC 62381 CSV Draft
4

VERIFY

Apply consistency and traceability checks before presenting the output for engineer review. Automated checks flag inconsistencies against mapped operational rules and source references. Generated test cases remain subject to review and approval by the responsible engineer.

Input: Draft CSV • Output: Reviewable, Traceable FAT Checklist

Engineering Rule Preservation

Operational rules, conditions, interlocks and sequences are structured during the transformation process to help preserve the intent of the original specification.

Traceable by Design

Traceable by Design: Page-and-Pixel Source References

Every generated test case retains a reference to its source requirement, allowing engineers to review the generated result against the original specification before approval.

Raw PDF Specification
Generated IEC 62381 Row

The biggest barrier to adopting AI in high-risk engineering environments is the "black-box" problem: a test case is difficult to defend if you cannot show the engineering requirement that mandated it. Every row in the synthesized IEC 62381 CSV checklist retains its original page-level coordinates from the READ stage. In the floor execution app, a control engineer or witness can select a test case and split the screen—displaying the original PDF specification and highlighting the table cell, diagram, or paragraph that justifies the test. This helps reduce hours of document-searching during site audits and handovers.

Human Review

Engineering Review Remains the Final Gate

The Spec-to-CSV Engine is designed to assist engineers, not replace engineering judgement.

Generated test cases remain subject to review and approval by the responsible engineer. Source references and traceability information allow reviewers to compare generated tests against the original specification and refine them where required.

The objective is not to automate engineering responsibility. It is to remove repetitive document-processing work so engineers can spend more time on engineering verification.

Neuro-Symbolic Specification

The 4 Technical Steps: Inside the Engineering-AI Pipeline

For control engineers, systems integrators, and IT architects, the Spec-to-CSV Engine uses a neuro-symbolic software architecture to combine machine-learning-based document understanding with structured engineering models and rules to transform specifications into reviewable test cases:

Architecture Phase 01 Visual Segmenter

Step 1: Layout-Rich Ingestion & Parsing (Visual Segmentation)

Traditional text-stripping libraries (like PDFMiner or PyPDF) flatten the PDF canvas into a jumbled string of text, which destroys tables, mixes vertical column flows, and breaks tag naming structures.

The Solution:

We deploy Docling, a deep-learning layout segmenter powered by visual models (like RT-DETR and TableFormer). Docling segments the PDF canvas into structured hierarchies.

The Output:

A highly detailed visual JSON tree where every extracted word, register tag, or table cell retains its Visual Provenance—its exact page number and bounding-box coordinates on the page.

Architecture Phase 02 Nomenclature Graph

Step 2: Semantic Mapping & Alignment (Tag Nomenclature)

Once the document is parsed into structure-aware markdown and tables, raw variables are aligned to equipment, signals, operating states, and engineering relationships.

Double Vectorization:

We use a parent-child indexing strategy. The system generates coarse vector embeddings of paragraph and table summaries (allowing the retrieval engine to navigate the layout), while separately embedding the raw markdown detail vectors. This helps keep related trigger signals and interlock outputs in a shared semantic neighborhood.

The semantic mapping is not intended to replace engineering interpretation. The plant ontology and symbol relationships are developed and refined using controls and automation domain knowledge, providing the engineering context required for meaningful downstream test generation.

Symbol Table Alignment:

Extracted variable ranges are mapped against a standardized Symbol Table (e.g., mapping S4.ES051FL as a state register representing "Earth Switch Closed"), converting contractor terminology into a structured data dictionary.

Architecture Phase 03 Schema Enforcement

Step 3: Schema-Constrained Logic Synthesis

Rather than relying solely on generative interpretation, the engine applies structured schemas, engineering rules and validation checks to constrain how requirements are transformed into test cases.

Constrained Decoding:

Libraries such as Outlines and Instructor apply a strict Pydantic data schema to the LLM's output. Grammar masks on the model's token distribution help constrain characters and formatting to the expected schema.

Output Structure:

The system outputs structured CSV strings aligned to the columns of the IEC 62381 functional test schema:

Test Case ID, Annex Ref, Functional Category, Test Activity, Acceptance Criteria
Architecture Phase 04 Consistency Checks

Step 4: Engineering Rule Preservation & Validation Checks

Synthesized test steps are checked against structured models of operational rules (such as Petri nets, timed automata, or state decision tables) to help preserve the intent of the original specification.

The Correction Loop:

If validation checks detect a logical contradiction (e.g., an alarm limit tripping before its permissive threshold is met), the issue is flagged for correction and engineer review.

Source-Linked Retries:

The system packages the flagged exception with the page coordinate of the original requirement, prompting a re-synthesis of the logic block. Operational rules, conditions, interlocks and sequences remain structured during this transformation so reviewers can compare the result against the source specification.

Domain Expertise

Engineering Expertise Behind the Engine: Data Scientists + Controls & Automation Engineers

Industrial specifications contain more than text. They encode equipment behaviour, operating states, interlocks, permissives, alarms, sequences and engineering conventions that require domain knowledge to interpret correctly.

The Spec-to-CSV Engine is therefore developed through continuous collaboration between data science and controls & automation engineering specialists.

Pillar I • Data & AI

Data Scientists & AI Engineers

Our data and AI specialists develop the document intelligence, semantic extraction, structured generation and validation components of the pipeline.

Their focus is on making complex engineering documentation machine-readable while preserving document structure, context and source traceability.

Core capabilities: Document Intelligence • Semantic Extraction • Structured Generation • Validation
Pillar II • Industrial Automation

Controls & Automation Engineers

Our controls and automation specialists provide the engineering context required to interpret industrial specifications.

They contribute to the plant ontology, equipment models, control philosophy, interlock logic, operating states, test templates and engineering validation rules used by the engine.

Engineering context: PLC • SCADA • DCS • VSDs • Interlocks • Permissives • FAT/SAT

The SME Feedback Loop

The two disciplines work together throughout the development and refinement of the engine.

Specification AI Extraction Engineering Interpretation Test Generation SME Review Rule Refinement

This collaborative loop allows engineering feedback to be incorporated into the plant ontology, validation rules and test-generation logic as the system is refined.

One Requirement. Multiple Test Cases. Full Traceability.

From One Functional Requirement to an Executable FAT Test Set

See how the engine transforms a real industrial control requirement into traceable FAT test cases.

Source specification READ MAP TRANSLATE VERIFY IEC 62381 FAT test set
Source Specification Remote Close sequence — 11 kV Feeder Circuit Breaker (SPEC-006-E-12225_1.pdf, Section 4.12)

For the 11kV Feeder Circuit Breaker Remote Close sequence to be ready:

  • Earth Switch must be closed and verified
  • Protection relay 48VDC supply must be healthy
  • VSD units must indicate Ready status
01 — READ

Extracted requirements

Requirement Source
Earth Switch closed Section 4.12
Earth Switch feedback verified Section 4.12
Protection relay 48VDC healthy Section 4.12
VSD Ready status Section 4.12
Remote Close permitted Derived control relationship

Source: Page / section / bounding-box reference retained from the READ stage.

02 — MAP

Identify signals, states & permissives

Cause / Permissive

Normalized engineering representation

S4.ES053 = 1 Earth Switch Closed
Protection 48VDC = Healthy Relay supply verified
VSD Ready = TRUE Unit ready status
Effect
Remote CB Close Permitted
03 — TRANSLATE

Generate positive & negative test cases

Test ID Test Condition Expected Result
TC-FUN-VSD-052 Earth Switch closed, 48VDC healthy, VSD Ready; issue Remote Close CB Close command accepted
TC-FUN-VSD-053 Earth Switch open; other permissives healthy; issue Remote Close CB Close command inhibited
TC-FUN-VSD-054 Earth Switch closed; 48VDC supply unhealthy; issue Remote Close CB Close command inhibited
TC-FUN-VSD-055 Earth Switch closed, 48VDC healthy, VSD not Ready; issue Remote Close CB Close command inhibited
04 — VERIFY

Automated checks + SME review

Automated checks
✓ Source reference present
✓ Required permissives mapped
✓ Test condition / expected result populated
✓ Tag references resolved
✓ Contradictory conditions flagged
SME Review

Controls & Automation Engineer

“Does this test accurately represent the intended control philosophy?”

Approved Modified Rejected
Private Pilot

Test the Engine on Your Own Specification

See how the Spec-to-CSV Engine extracts requirements, structures functional logic, generates FAT test cases and preserves source traceability.

Our controls and automation engineers and data scientists can work with your team to evaluate the output against your existing FAT workflow.

Start with a private, on-premise pilot using representative project specifications.

Start a private on-premise pilot
On-Premise or Sovereign Cloud Customer data is not used for external model training IEC 62381 / GAMP 5 Aligned