EdgeTech+ 2025出展のお知らせ

2025年11月19日～21日にパシフィコ横浜で開催される EdgeTech+ 2025 に出展いたします。

自動運転、ファクトリーオートメーション、医療機器など、AIを搭載した組込みシステム・ミッションクリティカルシステムは急速に社会へ浸透しています。これらのシステムは私たちの生活を豊かにする一方、その複雑さ・ブラックボックス化は、品質保証と説明責任の観点から開発現場にこれまでにない課題を突きつけています。

• 「テストを繰り返しても、なぜ安全と言えるのかを論理的に説明できない」
• 「曖昧な自然言語の仕様書が、手戻りやバグの温床となっている」

このような課題に対し、弊社は国立情報学研究所（NII）発の技術で、「数理論理学に基づく仕様駆動型エンジニアリング」の実現をサポートします。 EdgeTech+ 2025 では、仕様駆動型エンジニアリングを具現化する製品 SpecForge を始めとする、弊社ならではのソリューションを紹介いたします。

ハイライト：SpecForge for Visual Studio Code 拡張機能

VS Code上で直接、開発ワークフローを形式仕様の力で強化します。本拡張機能で、以下のことが可能になります。

• AIによる仕様生成支援: 自然言語で記述された要求から形式仕様への自動生成をサポートします。

• 論理的な矛盾の早期発見: 実装に着手する前に、仕様の充足可能性（satisfiability）をチェックし、設計段階での論理的な矛盾を早期に発見・修正できます。

• 冗長性の排除: 重複・冗長な仕様を自動で検出し除去することで、設計をクリーンで保守性の高い状態に保ちます。

• AIによる原因分析: 発見された論理的な矛盾や冗長性について、その根本原因を分かりやすく説明します。