1999年から
高品質ソフトウェアを
セーフティクリティカルシステムへ。
ソフトウェアはますます複雑化しています。リリースサイクルは短くなり、規制は厳格化し、AI 主導のシステムも増えています。私たちは、エンジニアリングチームが主導権を維持し、確信を持ってリリースできるよう支援します。
Feel the QualityPowered by BTC QCore
認証対象
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
導入企業
100社以上ポートフォリオアーキテクチャ
製品、顧客固有ソリューション、コンサルティング。Powered by BTC QCore.
BTC Embedded Systems の製品、顧客固有ソリューション、コンサルティングは、単一の検証基盤を共有しています。
中核技術
BTC QCore
産業
ソフトウェアの障害が許されない領域で。
自動車や建設機械から鉄道、医療機器まで、私たちはエンジニアリングチームが信頼できるソフトウェアを提供できるよう支援します。
BTC TestStack
単一の検証ワークフロー あらゆるコードに対応。
現在、一つのエンジニアリングチームが、モデルベースコンポーネント、手書き C/C++、そして増え続ける AI 生成コードを併用しています。BTC TestStack は、あらゆる種類のコードを単一の認証済みスタックでテストするための最適な選択肢です。
入力ソース
モデルベース
手書き C/C++
AI 生成コード
Powered by BTC QCore
BTC TestStack
出力
MC/DC カバレッジ
要求のトレーサビリティ
監査対応レポート
ツール認定のエビデンス
自社コードでワークフローを確認する
信頼できる AI
ソフトウェアエンジニアリングプロセスのための信頼できる AI。
信頼性をもたらすのは AI 自体ではなく、決定論的な検証です。
AI は、要求、テスト、コード生成を高速化できます。BTC は、決定論的で再現性があり認証された技術を加えることで、セーフティクリティカルなプロジェクトにおける AI の活用を信頼できるものにします。
01
要求のための信頼できる AI
AI による要求の把握と形式化。
02
03
コード生成のための信頼できる AI
AI 生成の量産コードを、信頼できる方法で検証します。
決定論的検証 · 形式手法 · ISO 26262
OneBTC · グローバル
7つの拠点。一つの品質基準。
7つの拠点を通じて、BTC Embedded Systems の検証に関する専門知識を、欧州、北米、アジアのセーフティクリティカルなエンジニアリングチームに提供しています。
オルデンバーグ
ベルリン
パリ
ティミショアラ
デトロイト
上海
東京
7
世界の拠点数+150
世界の従業員数25
年ニュースルーム
BTC の最新情報
Feel the Quality
製品、イベント、エンジニアリングの最新情報。
最新の知見、製品リリース、今後のイベント情報をお届けします。コミュニティに参加して、重要な最新情報をお見逃しなく。