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?

Test / Verification / Analysis Targets

dSPACE HIL / VEOS

Hardware-in-the-Loop Tests

Introduction

dSPACE HIL / VEOS

dSPACE hardware-in-the-loop (HIL) products provides high-performance processor technology for demanding real-time requirements as well as comprehensive, precise, and fast I/O capabilities. 

dSPACE VEOS is a PC-based simulation platform for ECU software validation. It lets you simulate a multitude of different models – from function models to networks of virtual ECUs, bus systems and vehicle models.

Find more information about dSPACE HIL and VEOS on www.dspace.com

BTC + dSPACE

Online/Offline Formal Test for dSPACE simulation

BTC EmbeddedPlatform is tightly integrated with dSPACE HIL and VEOS. BTC EmbeddedPlatform reports you if the simulation fulfills or violates formally specified requirements.

More than just a logo

Partnership between dSPACE and BTC

We understand valuable partnerships are not just created when two companies sign a contract… partnerships create value for customers,  especially when teams from both companies build trusting relationships by interacting on a regular basis. This is exactly what has been happening at dSPACE and BTC since 2008.

We closely work together in areas like marketing and sales, development, product management, engineering and support. In addition to providing dSPACE HIL and VEOS users the best possible toolchain integration, this collaboration also dramatically simplifies the handling of support cases, trainings or engineering projects.

Dr. Rainer Otterbach (Vice President Corporate Development and Strategy at dSPACE GmbH) and Hans Jürgen Holberg (CSO at BTC Embedded Systems AG) signing the renewed and extended partner contract in 2018.

BTC Embedded Systems AG is a dSPACE Strategic Partner for dSPACE AutomationDesk, ControlDesk, VEOS, DS1006, and SCALEXIO with BTC EmbeddedPlatform. 

More information on the dSPACE Partner Program.

PRODUCT FOR Testing ECU

Product Package

Formal Test BASE Package

Advanced requirements-based testing enhanced by formal methods

Formal Test Package

Highly automated and advanced requirements-based testing enhanced by formal methods and automatic test generation

Request an Evaluation License

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

Request an Evaluation License​

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

BTC EMBEDDED SYSTEMS BLOG

From our Blog​

Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.

PRODUCT VIDEOS

Videos

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

Formal Test BASE Package

Advanced requirements-based testing enhanced by formal methods