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 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.
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?
Proven Excellence!
Proven excellence. The power of proof for safety-critical systems.
19. September 2018
BTC Embedded Systems gives a talk at the Automotive Software Kongress in Landshut.
11. September 2018
BTC Embedded Systems gives a talk at the Forum Safety & Security in Sindelfingen/Germany.
06. July 2018
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.
13. June 2018
For its first user conference, BTC China prepared an exiting 2 day program with workshops and talks by companies including Neusoft Reach Auto, Dongguan Powerwise, Wuxi Weifu, TÜV Süd, dSPACE, AdVa and MES.
BTC Embedded Systems will give a talk about „Virtual Safety Validation of Autonomous Vehicles: From Abstract Graphical Traffic Scenarios Towards Concrete Simulations“ at the 24th SafeTRANS Industrial Day.
07. June 2018
BTC Embedded Systems will give a workshop about "MBSE support through Model-Based Testing and Formal Methods" at the MESCONF 2018
