Welcome to our new BlogSharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.
BTC Embedded Systems AG is a provider of software tools for formal verification, validation and automated testing of embedded systems. With around 120 employees BTC Embedded Systems AG is present in the following locations: Oldenburg, Berlin, Tokyo, Paris, Timisoara, Shanghai and Nagoya as part of the BTC Business Technology Consulting AG.
We provide intelligent, automated and ISO 26262 compliant test solutions with a focus on Simulink/TargetLink models and production code. Within a highly integrated platform concept, standard use cases like Requirements-based Testing or Back-to-Back Testing are combined with innovative and powerful technologies like model checking, automatic test generation or formal methods.
BTC EmbeddedTester BASE
It's all about integration!
Requirements-based Testing for models and production code inside a highly integrated environment.
Get there twice as fast!
A certified and highly automated test environment including automatic and complete test case generation.
Step into the formal world with ease!
What if your PC could understand your requirements?
News & Events
Webinar: BTC EmbeddedPlatform 2.3
Learn about the new features in BTC EmbeddedPlatform 2.3 in this free webinar!
Embedded World 2019
BTC Embedded Systems is present at the EmbeddedWorld in Nuremberg from February 26th-28th. You can find us at the dSPACE booth 4-240.
dSPACE and BTC Embedded Systems: Renewed and Extended Partnership
dSPACE GmbH and BTC Embedded Systems AG have renewed and extended their partnership.
dSPACE Forum Mecatronique in Paris/France
As a strategic partner of dSPACE, we will join as an exhibitor to show you our latest test and verification technologies for ISO 26262 compliant Model-Based development of safety critical software.