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
Federated Logic Conference in Oxford, UK
BTC Embedded Systems contributes to the Federated Logic Conference in Oxford, July 6-19 2018, as a bronze sponsor and will present the paper „Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving“ at the affiliated SC2 Workshop.
MESCONF 2018 in Munich/Germany
BTC Embedded Systems will give a workshop about "MBSE support through Model-Based Testing and Formal Methods" at the MESCONF 2018
Webinar: Back-to-Back Test - Certified for ISO 26262
Please join us for this free webinar to discover how BTC EmbeddedTester can help you to perform a fully automated Back-to-Back Test in an ISO 26262-compliant way.
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.
Watson IoT Continuous Engineering Summit Europe
BTC Embedded Systems will join the conference "Watson IoT Continuous Engineering Summit Europe" in Munich May 14th-16th 2018.
German TÜV Süd certifies BTC EmbeddedPlatform 2.1
The new version BTC EmbeddedPlatform 2.1 has been successfully certified by German TÜV Süd for the use in safety critical projects according to several standards including ISO 26262. For the first time, all use cases supported within BTC EmbeddedPlatform 2.1 are adressed by the certificate