loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?


BTC Japan will talk on dSPACE Japan Online Seminar Part1, Part2

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.

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.

Join our newsletter

Your email address will be submitted to the privacy-certified newsletter software Newsletter2Go for technical distribution. For further information go to our privacy policy.


Discover some of the main features of our products in these short videos.