loader image

Test Solutions for Simulink Models & Production Code

Products

Test Solutions for Simulink Models & Production Code

Products

Test solutions for Simulink models and production code

Certified by German TÜV Süd to the ISO 26262 standard

Introduction

About BTC EmbeddedPlatform

In modern development projects, different test methods need to be combined to ensure a sufficient level of quality. This is e.g. also reflected in the ISO 26262 standard that recommends methods like Requirements-based Testing, Back-to-Back Testing or Formal Verification. While all methods have a different approach, they also have much in common. For all test methods, it is necessary to know the interface of the system-under-test, to be able to simulate and debug, or to generate reports. It may also be useful to share information and artifacts between the use cases, such as reusing functional test cases for a Back-to-Back Test.

BTC EmbeddedPlatform provides a common database and user interface to address different ISO 26262 compliant verification methodologies. Features that are required across multiple use cases are provided once and can be reused efficiently. This includes for example the analysis of the system-under-test and the traceability of requirements to tools like IBM DOORS,  PTC Integrity or Siemens Polarion.

BTC Embedded Platform

Products

BTC EmbeddedTester BASE

Requirements-based Testing for Simulink, TargetLink, Embedded Coder and handwritten code

BTC EmbeddedTester

Intelligent test generation for automated Back-to-back tests, Regression tests and Migration tests

BTC EmbeddedSpecifier

Intuitive formal specification of safety requirements

BTC EmbeddedValidator
The power of proof for safety-critical systems

Support & Contact

Find the right contact person, no matter where you are located!