BTC Embedded Systems AG is a provider of software tools for formal verification, validation and automated testing of embedded systems. With around 100 employees BTC Embedded Systems AG is present at the locations Oldenburg, Berlin, Tokio, Paris und Timisoara and is 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
7th International CTI Conference - ISO 26262 in Novi/Michigan
BTC Embedded Systems will join the conference "ISO 26262" in Novi/Michigan on May 15th-17th 2018.
Embedded World 2018
BTC Embedded Systems is present at the EmbeddedWorld in Nuremberg from February 27th to March 1st. You can find us on the dSPACE booth 4-316.
Webinar: Requirements-based Testing - Certified for ISO 26262
Discover how BTC EmbeddedTester BASE can help you to test models and production code in an ISO 26262-compliant way.
ERTS Toulouse 2018
BTC Embedded Systems participates in the 2018 ERTS conference with a booth in the exhibition area and a paper in the conference program.
New Release of BTC EmbeddedPlatform 2.1
The new release BTC EmbeddedPlatform 2.1 with local verdict functions, user-defined signal generators and Function Call Coverage is now available.