BTC Embedded Systems AG is a provider of software tools founded in 1999. With around 160 employees BTC Embedded Systems AG is present in Oldenburg, Berlin, Tokyo, Detroit, Paris, Timisoara, Shanghai and Nagoya. Partnerships with leading research institutes contribute to a continuous innovation process while partnerships with companies such as dSPACE and IBM ensure a perfect integration into our customers toolchains.
We provide intelligent, automated and ISO 26262 certified test solutions with a focus on Simulink, TargetLink, Embedded Coder and handwritten 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.
01. March 2021
BTC Embedded System joins the virutual embedded world conference 2021. On Tuesday, 2nd of March, Mr. Wolfgang Meincke (Senior Pilot Engineer at BTC Embedded Systems) will give a talk on "Applying Automated Formal CCC Checks for Complex Systems Development".
23. February 2021
Learn about the new features in BTC EmbeddedPlatform 2.8 and get an outlook to the upcoming release 2.9 in this free webinar!
03. February 2021
At this years DATE Conference (Design, Automation and Test in Europe Conference), BTC Embedded Systems and the University of Freiburg will present a joint paper about the extension of the ISAT3 SMT solver.
27. January 2021
BTC Embedded Systems joins the virtual dSPACE Digital 2021 Conference on January 27th/28th 2021
13. January 2021
The latest version BTC EmbeddedPlatform 2.8 has been successfully certified by German TÜV Süd for the use in safety critical projects according to several standards including ISO 26262.
14. December 2020
The new major release BTC EmbeddedPlatform 2.8 is now available. Highlights of this release include a redesigned user interface, a powerful REST API and "Universal Pattern" - an even more flexible language for the formalization of safety requirements.
Please activate the Newsletter form in the cookie settings.
