About DatumProof
DatumProof verifies automation-equipment designs before they reach the floor — new machines and changes to machines already running alike. This page covers why this problem, what principles we work by, and what we do not do.
The starting question
If the physical system being controlled is not that complex, why does the control software become so hard to understand, so hard to change, and so hard to verify?
The answer is not that the machine is complex. It is that requirements, system behaviour, abnormal handling, verification conditions and past design decisions are not expressed in any explicit, executable form. What is not expressed cannot be checked. What cannot be checked is not known until the machine runs — which is why verification of equipment software is deferred to the very end.
Our article on why equipment software cannot execute the right half of the V-model covers this structure in detail.
Principles
The reference for equipment software is the design. Yet that design usually lives in natural language and in the heads of senior engineers — in a form where the question "is this right?" cannot even be posed. That is where we start.
"The tool says so" does not carry on a factory floor. Findings come back as event sequences you can walk through in a design review. If a person cannot read it and judge it, we do not consider it a finished deliverable.
Design verification is not a universal answer. It verifies the design, not the assembled machine. Models are abstractions, and choosing an abstraction has real limits. We explain what this cannot do before what it can.
What we do not do
The first worry about any new method is: does this mean changing everything we already do? The answer is no.
We do not touch how your PLC development or control software is written. Verification runs alongside the development you already have.
Wiring, assembly, the actual response of a motor — everything that only the real machine can settle stays testing’s job. Verification and testing answer different questions.
What we return is the result of verification, not code. The scope is deliberately narrow: confirming whether the design is right, at low commitment.
Where we sit
The world has already moved toward designing with models. On top of that, building a model and proving the model is correct remain two different jobs — and only one of them is being done.
DatumProof does not compete with the tools that build models. It is the verification layer above them. That layer does not yet exist for the equipment industry, and that is the reason this company exists.
Principle
Equipment software should be understandable, verifiable and changeable from an explicit model and documented design intent.
Founder
Hyungjin Kim has written equipment control software across aerospace, display and semiconductor — in all three, on the side that builds the machine rather than the side that runs it.
And all three times the wall stood in the same place —— the design was never left in a form you could ask whether it was correct. DatumProof exists to fill that gap.
Career
2010–2026
Aircraft design, and the development of advanced precision equipment for display and semiconductor manufacturing.
Company information
Registered in Japan as a kabushiki kaisha; the office address in Japanese is 神奈川県横浜市中区桜木町1丁目101番地1 クロスゲート7階. Enquiries reach us most reliably through the form or by email.
Which machine, and what is the most painful part right now.