BTC EmbeddedPlatform

BTC EmbeddedPlatform consists of BTC EmbeddedTester, BTC EmbeddedValidator, and BTC EmbeddedSpecifier. BTC EmbeddedPlatform provides intelligent, automated, and ISO 26262-certified test solutions focused on Simulink^® models and automatically generated production code, such as from Embedded Coder^®. Within a highly integrated platform concept, standard use cases like Requirements-Based Testing or Back-to-Back Testing are combined with powerful technologies like model checking, automatic test generation, and formal methods. The automatic test generation based on model-checking technology is one of the key features of BTC EmbeddedPlatform. Test cases can either be generated to achieve complete structural code coverage or to bring the code into a desired state in which a formalized requirement is violated or fulfilled.

BTC EmbeddedPlatform is certified/pre-qualified by the independent German authority organization TÜV SÜD to be “fit for purpose” for ISO 26262 up to ASIL Level D. The platform provides a common database and user interface to address different ISO 26262-compliant verification methodologies. Features required across multiple use cases are provided once and can then be reused efficiently. These include the analysis of the system-under-test and the traceability of requirements to commonly used requirements capturing tools, including Requirements Toolbox™ (formerly Simulink Requirements™), IBM DOORS, Siemens Polarion, PTC Integrity, and more.

Typical users of BTC EmbeddedPlatform are requirements engineers, model developers, embedded software developers, and test engineers in the automotive and transportation industry with a focus on functional safety. Typical applications are body electronics, motor control, power train, chassis, transmission, battery management, and advanced driver assistant systems.

The BTC EmbeddedPlatform products are integrated with MATLAB^® and Simulink products to facilitate a streamlined workflow. Test cases from BTC EmbeddedTester (BTC-ET) execute in users’ Simulink models and the generated code. BTC-ET automatically triggers the Embedded Coder code generation from Simulink models. Requirements from BTC EmbeddedSpecifier (BTC-ES) are also linked to Simulink models through Requirements Toolbox. In addition, Simulink Check™ and Simulink Coverage™ can be used within the BTC verification workflow, allowing users to check their models against industry standards, measure model quality, track model and code coverage, and integrate their testing with CI/CD automation tools.