Products & Use Cases

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.

BTC Embedded Systems AG

About us: Read about our history, focus and motivation!

BTC Requirement Observers

Professional watchdogs for safety critical applications

Company

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.

Products

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.

BTC EmbeddedTester BASE

BTC EmbeddedTester BASE

It's all about integration!

Requirements-based Testing for models and production code inside a highly integrated environment.
BTC EmbeddedTester

BTC EmbeddedTester

Get there twice as fast!

A certified and highly automated test environment including automatic and complete test case generation.
BTC EmbeddedSpecifier

BTC EmbeddedSpecifier

Step into the formal world with ease!

What if your PC could understand your requirements?
BTC EmbeddedValidator

BTC EmbeddedValidator

Proven Excellence!

Proven excellence. The power of proof for safety-critical systems.

News & Events

31. July 2017

BTC lecture at the SC2 Summer School 2017

BTC Embedded Systems will give a lecture at the SC2 (Satisfiability Checking and Symbolic Computation) Event 2017 in Saarbrücken, Germany.

09. June 2017

dSPACE User Conference in Tokyo, Japan

BTC Embedded Systems will be present at the dSPACE User Conference in Tokyo, Japan and give a talk about the application of BTC Requirement Observers

31. May 2017

Webinar: BTC EmbeddedPlatform 2.0

Learn about the brand new BTC EmbeddedPlatform 2.0 in this free webinar!

17. May 2017

BTC China Opening Ceremony

BTC celebrates the opening of the new chinese subsidery with a ceremony.

25. April 2017

Safe.Tech Conference in Munich

BTC Embedded Systems gives a speech at the Safe.Tech conference in Munich on April 26th

15. March 2017

New office in Shanghai/China

BTC Embedded Systems will be present in Shanghai/China with a new office starting at 15th of March 2017.

Subscribe to our newsletter