TASKING introduces Safety Checker v3.0, the latest version of the static software analysis tool focused on proving Freedom from Interference (FFI).
Automotive ECUs integrate multiple functions with different safety requirements in the same package. The TASKING Safety Checker ensures Freedom from Interference to support safety argumentation according to ISO 26262. Through statistical code analysis based on compiler technology, the Safety Checker detects critical memory violations and thus enables the integration of software components with different safety requirements in a memory area, even if no MPU (Memory Protection Unit) is available or the MPU cannot be used, e.g., for performance reasons.
Also in MPU-based system, Safety Checker supports software developers by generating a list of memory violations and reducing tedious debugging.
In addition, the Safety Checker monitors compliance with guidelines such as MISRA-C or CERT-C. The Safety Checker is compiler and hardware architecture independent and can be integrated into Continuous Integration Build environments such as Jenkins.
Some significant new features in the third version of Safety Checker make it even easier for developers to use the tool:
- The new graphical user interface improves usability and provides the ability to define security classes and access rights and assign files/functions to security classes.
- The ability to import AUTOSAR configuration files (.arxml) makes it easy to create configuration files and keep them synchronized with the ECU project.
- Reports can now be generated in HTML, XML or PDF format and include information such as the access violation log, function call graph, MISRA/CERT C violations and code metrics.
The TASKING Safety Checker v3.0 is available immediately. Further information at https://www.tasking.com/products/tasking-safety-checker.
For those interested, TASKING will host a product release webinar on September 14, 2023. At 1:00 pm (CEST) and 6:30 pm (CEST), Roger Smith, Technical Marketing Manager, will present the TASKING Safety Checker. For detailed registration information, please visit www.tasking.com/events.