Members Profile

BTC Embedded Systems AG

Tool Vendor / Service Provider

We provide intelligent and automated test solutions which enable our customers in the automotive industry to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard. Founded in 1999, we today have more than 200 employees and maintain offices in Oldenburg, Berlin, Paris, Detroit, Tokyo, Nagoya, Shanghai and Timisoara.

ASAM related products

BTC EmbeddedTester BASE
Test software
BTC EmbeddedTester BASE is an ISO 26262 certified tool for creating, managing and executing test cases on model and code level (MIL/SIL/PIL). With features like the connection to requirements management tools or the integrated coverage analysis, BTC EmbeddedTester BASE is your one-stop solution for Requirements-based Testing of Simulink/TargetLink models and generated or handwritten production code.
BTC EmbeddedTester
Test software
BTC EmbeddedTester provides an ISO 26262 certified and fully automated Back-2-Back Test between Simulink/TargetLink models and production code. In addition to functional test cases that may already exist, BTC EmbeddedTester allows you to also generate structural tests for full code coverage up to MC/DC. The test generation is based on so-called model checking technology. Unlike random algorithms, this technology not only guarantees that the smallest and shortest set of test cases to cover the desired objectives will be found, but it also performs a dynamic analysis showing that some objectives are unreachable.
BTC EmbeddedSpecifier
Formal Specification
BTC EmbeddedSpecifier is a tool used to create and manage semi-formal and formal requirements for safety-critical projects. While a semi-formal and formal notation of requirements is recommended in standards like ISO 26262 and IEC 61508, most formal notation languages require a high level of expert knowledge to both read and write them. Instead of having to create formal requirements from scratch, BTC EmbeddedSpecifier provides you with an intuitive method to derive comprehensible formal requirements from natural language without expert knowledge.
BTC EmbeddedValidator
Formal Verification
BTC EmbeddedValidator is a tool for the formal verification of safety-critical requirements. Formal verification is performed on production C-code and takes formalized requirements from BTC EmbeddedSpecifier as a starting point.
BTC ScenarioPlatform
Scenario-based Virtual Validation for ADAs/AD
BTC ScenarioPlatform is a tool that complies with the SOTIF standard (ISO 21448) and is used to verify and validate SAE Level3 to Level5 systems through scenario-based testing. It allows you to specify the Operational Design Domain (ODD) and create a catalog of scenarios that includes statistics and parameter distributions. Scenarios are defined abstractly using a graphical and intuitive language that is compatible with OSC 2.0, and they represent all driving situations in the ODD. These scenarios are then brought to simulation through test generation, which uses variation and optimization techniques to focus on likely and critical scenarios while exploring the scenario space to uncover unforeseen risks. The tool also offers a formal language to express safety and traffic rules as well as expected behavior, which are used to automatically analyze the simulation results and enable an automated judgement of whether the system behaves safely and as intended.
Supported ASAM Standards


ISO 26262, Software Unit Test, Simulink, TargetLink, Embedded Coder, Test Automation, Test Generation, Formal Specification, Formal Verification, Model-based Development

Gerhard-Stalling-Straße 19
26135 Oldenburg
+ 49 441 969 738-0
+49 441 969 738-64