SAFETY CHECKER

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 with the TASKING Safety Checker.

TASKING Safety Checker 3.0 Ensuring Freedom From Interference Watch Video

Safety Checker 3.0 Download PDF

00:54:47 TASKING Safety Checker Watch Video

Use ASIL Aware Static Analysis to Detect Memory Interferences Corruption of Memory Content This blog is about “ASIL Aware Static Analysis of Memory Interferences”, a novel technique to detect and repair memory interferences which has been implemented in the TASKING Safety Checker tool. My previous blog about “Weaknesses in defenses against memory interference” explained the state of the art to ensure freedom from memory interference and showed that the prevailing solutions have limitations such as Read Article

Fulfilling Requirements for Advanced Automotive Development Safety-critical software functions required in a car are traditionally placed in separate, single-core Electronic Control Unit (ECU). With this practice, it’s easy to ensure that different functions with potentially different functional safety requirements and Automotive Safety Integrity Level (ASIL) are physically insulated and protected against interference from each other. Today, it is common to combine many of these single core ECUs into a Read Article

Configuring TASKING Safety Checker for Third Party C Compilers TASKING Safety Checker can be used in various industries where IEC 61508 related regulations are in place, like ISO 26262 in automotive. It fully supports the ISO-C standard, but it needs a simple configuration to be used in context with compiler specific C extensions. This blog provides sources for such configurations. In addition to the TASKING C compilers, the new Safety Checker can be configured to work with embedded C compilers from other Read Article

Standalone release of TASKING Safety Checker available TASKING Safety Checker assists embedded software developers with safety-related analysis of application code and providing evidence for Freedom From Interference, for example for certification of automotive software applications conform the ISO 26262 functional safety standard or similar interpretations of IEC 61508 in other industries. The standalone version of TASKING Safety Checker can be used to check embedded code independent from the tool Read Article

Enjoying CERT C secure coding analysis with embedded compilers through Safety Checker The standalone version of TASKING Safety Checker can be used in various industries where IEC 61508 related regulations are in place, like ISO 26262 in automotive. In addition to its safety aware analysis it supports CERT C coding analysis independent from the tool chain that is in use. Altium always has been at the forefront of incorporating support for new standards in its embedded TASKING C compilers. It was one of the first to fully integrate Read Article

00:03:16 Safety Checker - Features Watch Video