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.
17. December 2021
We can confirm, that none of our BTC EmbeddedPlatform Releases is affected by CVE-2021-44228.
13. December 2021
BTC Embedded Systems and dSPACE will join the 29. SafeTRANS Industrial Day and give a talk about „10 Challenges for Validation and Homologation of Autonomous Vehicles“
10. December 2021
The new major release BTC EmbeddedPlatform 2.11 is now available. Highlights of this release include support for Simulink/Embedded Coder 2021b, new overview dashboards for a better visual summary of the project status, improved integration with Siemens Polarion and a new feature in BTC EmbeddedSpecifier allowing the simulation of requirements.
09. December 2021
Learn about the new features in BTC EmbeddedPlatform 2.11 in this free webinar!
23. November 2021
BTC Embedded Systems will join this years Formal Methods Conference and give a talk on November 23rd about "Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems"
09. November 2021
In this free Webinar, we will discuss when (and when not) it makes sense to generate test cases automatically and how to do it.
Please activate the Newsletter form in the cookie settings.
