BTC Embedded Systems AG

BTC Business Technology Consulting AGが主要株主であるBTC Embedded Systems AG (以下 BTC-ES)は、形式検証や組込みシステムの自動テストなどの製品やサービスを提供いたします。BTC-ESの製品は、組込みシステムのテスト・検証の手間を著しく減少させ、開発システムの品質を劇的に向上させます。BTC-ESは一般的な試験システムや試験を中心にオンサイト・オフサイトの製品に幅広く対応致します。弊社は、テストの自動化や形式検証の製品やサービスを適切に御提供するために、dSPACE　GmbH社と連携しています。

EmbeddedValidatorとEmbeddedTesterは、dSPACE GmbH社との緊密な連携のもと開発された製品です。EmbeddedValidatorはTargetlink自動コード生成に基づき、形式的に特定された要求仕様に対して、TagetLinkモデルを検証します。EmbeddedTesterは、TargetLinkにより自動生成されたコードのためのテストケース生成の自動化と、テスト実行の自動化を可能にする製品です。さらに、デッドコード、０による除算などの特定の一般的な問題を自動的に解析します。これらの機能により、Simulink/Targetlinkツールをによる制御機能のモデルベース開発時におけるコード検証、カバレッジ解析を行います。