Members Profile

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.

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.

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.

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.

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.

ASAM OpenSCENARIO® DSL