Members Profile

Members
BTC-ES

BTC Embedded Systems AG

Tool Vendor

BTC Embedded Systems provides intelligent and automated test solutions for embedded software. Certified by TÜV Süd for IEC 61508, ISO 26262 and related standards, BTC tools are in particular suitable for the development of safety critical applications. BTC Embedded Systems was founded in 1999. With around 135 employees, we 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, Test Automation, Test Generation, Formal Specification, Formal Verification, Model-based Development