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
Agile Engineering Summit
Join us in historic Washington DC for IBM's 5th Continuous Engineering Conference
Webinar: Formal Verification- Certified for ISO 26262
For the third webinar of our ISO 26262 series, we cordially invite you to discover how BTC EmbeddedPlatform can help you to perform formal specification of safety requirements and formal verification in an ISO 26262-compliant way.
dSPACE User Conference 2018 - India
BTC Embedded Systems will exhibit at the dSPACE User Conference 2018 at The Lalit Ashok, Bengaluru, India. BTC will also give a talk about efficient and ISO 26262 compliant software testing.
Automotive Software Kongress Landshut
BTC Embedded Systems gives a talk at the Automotive Software Kongress in Landshut.
Forum Safety & Security Sindelfingen
BTC Embedded Systems gives a talk at the Forum Safety & Security in Sindelfingen/Germany.