Feature: System security
Exhaustive static analysis for ISO 26262 certification in the automotive industry
By TrustInSoft Technology Experts
T
o better serve the automotive industry, TrustInSoſt recently received ISO qualification from TÜV SÜD for its formal methods-based tool. Tis advanced C/C++ source code analysis tool has been classified as TCL3, the highest existing level given for tool confidence, and has been qualified
for code certification up to ASIL level D. With a formal methods-based qualified tool, automotive
manufacturers and suppliers can receive the crucial support required to meet automotive safety standards with their products. Tis is possible thanks to independent validation of the tool’s ability to obtain mathematical proof that there are no safety- critical bugs or dangerous vulnerabilities in the source code known as undefined behaviours, like buffer overflow, use-aſter- free, and more.
Mathematical approach to ISO 26262 qualification Certification from TÜV SÜD entails confidence for use in safety-related soſtware development using the C programming language, according to ISO 26262. With its qualification, TrustInSoſt’s formal methods-based tool proves the absence of undefined behaviours whilst providing evidence of code coverage, soundness, semantic conformance to C programming language, and hardware awareness. The technology is based on formal methods, which
allow developers to obtain proof that their source code is free of defects and security vulnerabilities. It derives from rigorously-specified mathematical models that can verify the properties and behaviours of software against precisely-defined specifications. The impact of using multiple mathematical models is the ability to identify all potential security vulnerabilities within the source code. Using formal methods integrated into enterprise tools allows
the developer to engage in exhaustive static analysis. Tese tools entail complex formal methods that can be used throughout the
12 June 2024
www.electronicsworld.co.uk
Page 1 |
Page 2 |
Page 3 |
Page 4 |
Page 5 |
Page 6 |
Page 7 |
Page 8 |
Page 9 |
Page 10 |
Page 11 |
Page 12 |
Page 13 |
Page 14 |
Page 15 |
Page 16 |
Page 17 |
Page 18 |
Page 19 |
Page 20 |
Page 21 |
Page 22 |
Page 23 |
Page 24 |
Page 25 |
Page 26 |
Page 27 |
Page 28 |
Page 29 |
Page 30 |
Page 31 |
Page 32 |
Page 33 |
Page 34 |
Page 35 |
Page 36 |
Page 37 |
Page 38 |
Page 39 |
Page 40 |
Page 41 |
Page 42 |
Page 43 |
Page 44 |
Page 45 |
Page 46 |
Page 47 |
Page 48 |
Page 49 |
Page 50 |
Page 51 |
Page 52
