Products & Use Cases
Within a highly integrated platform concept, standard verification use cases are combined with innovative and powerful technologies like model checking, automatic test generation or formal methods.
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
21. SafeTRANS Industrial Day
BTC Embedded Systems gives a speech at the 21st SafeTRANS Industrial Day in Munich about cyber security as key competence for the future energy system. The speech is given by our CEO Dr. Udo Brockmeyer.
Press Release: Intermediate results of ASSUME development project
Integrated quality monitoring with MES Quality Commander® (MQC) convinced reviewers of the Affordable Safe & Secure Mobility Evolution (ASSUME) development project. Important quality metrics were obtained during the process using formalized requirements from BTC EmbeddedSpecifier.
Forum Mécatronique in Paris
BTC EmbeddedSystem will be present as an exhibitor at the dSPACE Forum Mécatronique 2016 in Paris/France.
dSPACE User Conference in Munich
BTC EmbeddedSystems will be present at the dSPACE User Conference in Munich and give a workshop together with dSPACE.
Technical Talk at ICFEM 2016
BTC Embedded Systems will give a technical talk at the FM&MDD Workshop at ICFEM 2016 in Tokyo, Japan.