Members Profile

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

CONTACT INFORMATION
Address
Gerhard-Stalling-Straße 19
26135 Oldenburg
Germany
Phone
+ 49 441 969 738-0
Fax
+49 441 969 738-64
Contact
Mr. Markus Gros
Website