ニュース

22.01.2014 - BTC EmbeddedPlatform 1.0p0をリリース致しました。 製品のデモンストレーションや評価版をご希望の方は、BTC more >>

22.01.2014 - BTC EmbeddedValidator4.2p0をリリース致しました。 製品のデモンストレーションや評価版をご希望の方は、BTC more >>

20.07.2012 - Today, BTC Embedded Systems AG releases the new EmbeddedTester Version 2.9p0! BTC EmbeddedTester is now 64 Bit compatible and supports TargetLink more >>

04.07.2012 - Today, BTC Embedded Systems AG releases the new EmbeddedValidator Version 3.7p0! BTC EmbeddedValidator is now 64 Bit compatible and supports more >>

14.07.2011 - 車載SW向けMKS Integrity機能安全セミナーin 名古屋7/26 開催 - 車載ECU開発におけるISO26262の効率的な達成 more >>


BTC Embedded Systems AG

制約が少なく、創造的な、
"クリエイティブエンジニアリング"

自動テストと検証テクノロジにより実現します。

詳細>>

BTC EmbeddedSpecifier

誰でも容易に、"形式手法"の世界へ
 
非形式から、準形式を介して形式的要求記述へ。


詳細>>

BTC EmbeddedValidator

卓越し、確立された証明技術

セーフティクリティカルなシステムの検証に、"証明"の力を。


詳細>>

BTC EmbeddedTester

テスト作業の倍速化

機能安全規格を取得した、TargetLink向けの、高度に統合化され完全に自動化されたテスト及び検証環境。

詳細>>