設計を、正しさを問える形にする
装置ソフトウェアの基準は設計です。しかしその設計は、多くの場合、自然言語と熟練者の頭のなかにあり、正しいかどうかを問える形になっていません。問える形にするところから始めます。
会社概要
装置ソフトウェアの設計に、
「正しい」と言える根拠を用意する。
DatumProof は、自動化装置を設計し、その設計に使う装置設計プラットフォームをつくる会社です。このページには、なぜこの問題なのか、どういう原則で仕事をするのか、そして 何をしないのかを書いています。
出発点の問い
制御している物理システムがそれほど複雑でないなら、なぜ制御ソフトウェアは、これほど理解しにくく、直しにくく、検証しにくくなるのか。
答えは、装置が複雑だからではありません。要求・システムの挙動・異常処理・検証条件・過去の設計判断が、明確で実行可能な形で表現されていないからです。表現されていないものは、確かめられない。確かめられないものは、実機が動くまで分からない —— それが、装置ソフトウェアの検証が最後まで先送りされる理由です。
この構造については、なぜ装置ソフトウェアは、V字モデルの右半分を実行できないのかで詳しく書いています。
仕事の原則
三つだけ決めています
結果は、エンジニアの言葉で返す
「ツールがそう言っています」は、装置の現場では通用しません。指摘は、設計レビューにそのまま持ち込めるイベント列として返します。人が読んで判断できないものは、成果物として不十分だと考えます。
限界を先に言う
設計を確かめることは万能ではありません。扱うのは設計であって、組み上がった実機ではない。モデルは抽象であり、抽象の選び方には限界がある。製品ができることより先に、できないことを説明します。
しないこと
範囲を狭く保つことが、導入の負担を下げる
新しい道具の話でいちばん警戒されるのは、「では、いまのやり方を全部変えるのか」という点です。答えは、いいえです。
制御ソフトを置き換えること
PLC プログラムや制御ソフトの書き方を引き取ることはしません。プラットフォームが出すのは、制御設計の拠りどころになる表と手順で、いまの開発の横に並べて使えます。
テストを不要にすること
配線、組み立て、実際のモータの応答 —— 実機でしか確かめられないものは、テストの仕事のままです。検証とテストは別の問いに答えます。
電気 CAD を置き換えること
プラットフォームは配線図を描きません。電気 CAD が取り込む一覧を渡し、その代わりではなく前段を受け持ちます。
立ち位置
フィジカルAIの、つくる側
フィジカルAIの話題の多くは、すでにある機械に向いています —— ロボットや装置がどう認識し、判断し、動くか。
その前に、誰かが機械をつくらなければなりません。部品、状態、シーケンス、インターロック、そして決して起きてはならないこと。DatumProof が仕事をするのは、その側です —— 装置を設計し、その設計を確かめられるものにするプラットフォームをつくる。
原則
装置は、ひとつの明示的なモデルから設計されるべきだ。図面も、表も、手順も、そこから出てくるモデルから。
代表
十六年のあいだに、三つの産業で同じ問題に出会いました。
代表のキムヒョンジンは、航空・ディスプレイ・半導体で装置制御ソフトウェアを開発してきました。いずれも、装置を使う側ではなく、つくる側です。
そして三度とも、行き止まりは同じ場所にありました —— 設計が、正しいかどうかを問える形で残っていない。 DatumProof は、その場所を埋めるためにつくった会社です。
経歴
2010–2026
航空機の設計、ディスプレイ・半導体の先端精密装置の開発に従事。
会社概要
- 商号
- 株式会社DatumProof
- 所在地
- 神奈川県横浜市中区桜木町1丁目101番地1 クロスゲート7階
- 電話
- 045-900-7181
- 代表取締役
- キムヒョンジン
- 設立
- 2026年8月25日
ご相談は、お問い合わせフォームまたはメールが確実です。
お話を聞かせてください。
御社の装置で、いま何がいちばん痛いか。そこから始めます。