コンサルティングとサービス
BTC Embedded Systems AGは組込みソフトウェアの自動テスト・検証技術の分野において、世界的に成功しているツールベンダーであり、コンサルティング会社です。
BTC Embedded Systems AGは組込みソフトウェアの開発全般とテストの各段階に対してのサポートを提供致します。サポート範囲は開発の初期段階である要求仕様の定義から、最終段階である承認テストまでに及びます。
弊社は多くの著名な自動車OEM、サプライヤ企業との協力のもと、組込業界においてコンサルティングと製品を提供してきた10年以上の実績があります。
BTC Embedded Systems AGの基礎技術は以下のものがあります。
実際のプロジェクトにより培った独自の技術、多くの経験を基に、BTC Embedded Systems AGは組込みソフトウェアの分野において、お客様に適切な知識、技法、能力をご提供致します。BTC Embedded Systems AGは組込みソフトウェアの開発全般とテストの各段階に対してのサポートを提供致します。サポート範囲は開発の初期段階である要求仕様の定義から、最終段階である承認テストまでに及びます。
弊社は多くの著名な自動車OEM、サプライヤ企業との協力のもと、組込業界においてコンサルティングと製品を提供してきた10年以上の実績があります。
BTC Embedded Systems AGの基礎技術は以下のものがあります。
- モデルベースの開発手法
- 形式的な要求仕様定義手法
- モデルと自動コード生成に対する形式検証（モデルチェッキング）
- モデルや要求仕様に対する自動テストケースの生成
- コードに対する自動テストベクタの生成
- テストケース、トレース、ベクタの自動シミュレーション環境作成と自動実行
- モデルベースの安全性の自動解析
- 自動コード生成、検証
- 工業規格IEC 61508、DO-178B、ISO26262