第1部: 2024年6月6日（木）9:00～ 2024年12月27日（金）23:00
第2部: 2024年6月6日（木）10:00～2024年12月28日（土）00:00
dSPACE Japanにより主催される本オンラインセミナーでは、MBD開発における自動コード生成とソフトウェア検証について解説します。本セミナーの後半のセッションにて、BTC Japanは検証ソリューションの基礎となるBTC社、MES社の検証ツールおよびプロセスの標準化についてお話します。
第一部：自動コード生成（dSPACE Japan）（約70分）
MBD全体の概要をおさらいしつつ、制御モデルを量産用Cコードに変換する自動コード生成ツールについて解説します。また、自動車業界ではほぼ必須要件となっている機能安全(ISO 26262)や、最新のAUTOSAR、Virtual-ECUに対するdSPACEの取り組みや関連製品についても紹介します。
第二部：ソフトウェア検証（BTC Japan）（約35分）
TargetLinkが導入された制御ソフトウェアのモデルベース開発において作成されるモデルとコードに対する高度に自動化された検証ソリューションをご紹介いたします。
TargetLinkの自動コード生成に、弊社の製品であるBTC EmbeddedPlatformの有する自動検証機能（自動テストケース生成、形式検証、完全自動Back-to-Backテスト）、およびパートナー企業であるModel Engineering Solutions社のMES Model Examinerの有するガイドラインチェック機能（モデリングガイドライン適合検査と自動修正）を組み合わせて利用することで、ISO26262準拠でASIL-Aから-Dまで適用可能な、堅牢で効率の良い検証プロセスを構築することが可能です。