Part 1: 6th June 2024, 9:00～ 27th December 23:00 JST
Part 2: 6th June 2024, 10:00～ 28th December 00:00 JST
This online seminar is held by dSPACE Japan. dSPACE Japan and BTC Japan will talk about automatic code generation and software verification in MBD development.
Agenda
Part 1：70 min (dSPACE Japan)
While reviewing the overview of MBD, we will explain automatic code generation tools that convert control models into C code for mass production. We will also introduce dSPACE’s efforts and related products for functional safety (ISO 26262), which is almost a mandatory requirement in the automotive industry, the latest AUTOSAR, and Virtual-ECU.
Part 2：35 min（BTC Japan）
We will introduce a highly automated verification solution for models and code created in model-based development of control software using TargetLink.
By combining TargetLink’s automatic code generation with the automatic verification functions of our product BTC EmbeddedPlatform (automatic test case generation, formal verification, fully automatic back-to-back testing) and the guideline check function of MES Model Examiner from our partner company Model Engineering Solutions (modeling guideline compliance inspection and automatic correction), it is possible to build a robust and efficient verification process that complies with ISO26262 and can be applied from ASIL-A to -D.