製品

当社は先進的な自動化した形式検証ツールおよびテストケース生成ツールを提供します。これらのツールは、モデルベース開発プロセスをサポート致します。

BTC Embedded Systems社のテストテクノロジを、一般的なCASEツールと併せてご使用いただくことにより、開発プロセスへテストプロセスのソリューションをスムースに統合することが可能です。

 

形式検証および自動テストケース生成の導入により次のような利点が期待できます。

• 開発初期段階での致命的状況の発見
• システムの品質向上
• 最終製品の検証
• 開発コスト、時間、リスクの削減
• IEC61508 (SIL Level 3および4)をはじめ、自動車分野の機能安全規格ISO26262、航空用ソフトウェア開発に関する規格DO-178B、鉄道関連規格CENELEC EN 50128 - B.30などにおいて要求されるセーフティクリティカルシステムの開発プロセスへの適合