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
Type
Test software
Functionalities
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
Type
Test software
Functionalities
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
Type
Formal Specification
Functionalities
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
Type
Formal Verification
Functionalities
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.

Keywords

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

CONTACT INFORMATION
Address
Gerhard-Stalling-Straße 19
26135 Oldenburg
Germany
Phone
+ 49 441 969 738-0
OFFICES
DE
US
JP
CN