BTC Embedded Systems AG is a provider of software tools founded in 1999. With around 135 employees BTC Embedded Systems AG is present in Oldenburg, Berlin, Tokyo, Detroit, Paris, Timisoara, Shanghai and Nagoya.
We provide intelligent, automated and ISO 26262 certified 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.
02. October 2019
BTC Embedded Systems will give a presentation at the international annual CTI Conference ISO 26262 in Stuttgart.
12. September 2019
BTC Embedded Systems participates again at the annual MESCONF in Munich with a talk about early verification of models and its advantages.
10. July 2019
In the free Webinar, we'll discuss how to apply Agile and DevOps best practices to embedded software development projects
09. July 2019
BTC Embedded Systems will be present at the SIAM Conference on Applied Algebraic Geometry 2019 in Bern and will also give a talk at the affiliated SC2 Workshop.
02. July 2019
BTC Embedded Systems joins as an exhibitor at the "Embedded Testing" conference in Munich from 2 to 4 July 2019 and will be represented in the conference program with a talk.
26. June 2019
In the free Webinar, we'll show you how easy it is to test handwritten C-Code with BTC EmbeddedPlatform
