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.
About us: Read about our history, focus and motivation!
Professional 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.
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.
31. July 2017
BTC Embedded Systems will give a lecture at the SC2 (Satisfiability Checking and Symbolic Computation) Event 2017 in Saarbrücken, Germany.
31. May 2017
Learn about the brand new BTC EmbeddedPlatform 2.0 in this free webinar!
25. April 2017
BTC Embedded Systems gives a speech at the Safe.Tech conference in Munich on April 26th
15. March 2017
BTC Embedded Systems will be present in Shanghai/China with a new office starting at 15th of March 2017.
14. March 2017
BTC Embedded Systems is present at the EmbeddedWorld in Nuremberg from 14.3.-16.3.2017. You can find us on the dSPACE booth 4-316.
12. March 2017
The minister of Lower Saxon Olaf Lies starts to a one-week delegation travel to the United States of America, starting at the 12th of March 2017. BTC Embedded Systems AG participates the delegation visit, represented by Dr. Udo Brockmeyer (CEO).
