Products & Use CasesWithin 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 Requirement ObserversProfessional watchdogs for safety critical applications
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
dSPACE Technology Conference in Plymouth, MI, US
BTC Embedded Systems will be present at the dSPACE Technology Conference in Plymouth (MI)
dSPACE User Conference in Shanghai, China
BTC Embedded Systems will be present at the dSPACE User Conference in Shanghai, China and give a talk about the application of BTC Requirement Observers.
MBD conference in Berlin
BTC Embedded Systems will join the conference "Model-Based Development of Complex Systems" in Berlin on September 18th-20th
TÜV Süd certifies BTC EmbeddedTester 4.0
The new version BTC EmbeddedTester 4.0 has been successfully certified by German TÜV Süd for the use in safety critical projects according to several standards including ISO 26262
New Release of BTC EmbeddedPlatform 2.0.3
The new Release BTC EmbeddedPlatform 2.0.3 with enhanced Matlab- / TargetLink-Support, new HTML-based reports as well as user-defined coverage goals is now available.