Overview

The TASKING Safety Checker greatly enhances the effectiveness and efficiency of your software safety verification process, allowing you to meet the specific demands required for ISO 26262 certification. With the Safety Checker, you can automatically detect interference between software elements with different Automotive Safety Integrity Levels (ASIL) by checking access restrictions on the memory of single and multi-core systems.

Chinese translation unavailable for Content 1.

How Our Safety Checker Works

The stand-alone Safety Checker will analyze your compiled application against specific safety criteria and report detailed violation errors and warnings. A powerful configuration system allows you to define the specific errors that are reported with defined partitioning controls. Some configuration examples include:

Bugs in low-safety-level code should not affect high-safety-level data.

High-safety-level code should not depend on low-safety-level code.

Low-safety-level code is not allowed to write in high-safety-level data sections

High-safety-level code is not allowed to call low-safety-level functions

Benefits

Chinese translation unavailable for Benefits 1.
Chinese translation unavailable for Benefits 2.
Chinese translation unavailable for Benefits 3.