Intel corporation (20240329947). OPTIMIZED COMPILER TOOLCHAIN QUALIFICATION FOR FUNCTIONAL SAFETY COMPLIANCE simplified abstract
Contents
OPTIMIZED COMPILER TOOLCHAIN QUALIFICATION FOR FUNCTIONAL SAFETY COMPLIANCE
Organization Name
Inventor(s)
Maurizio Iacaruso of Lucca (IT)
Stefano Dell'osa of Napoli (IT)
Srikanth Kaniyanoor Srinivasan of Bangalore (IN)
Kevin Smith of High Wycombe (GB)
OPTIMIZED COMPILER TOOLCHAIN QUALIFICATION FOR FUNCTIONAL SAFETY COMPLIANCE - A simplified explanation of the abstract
This abstract first appeared for US patent application 20240329947 titled 'OPTIMIZED COMPILER TOOLCHAIN QUALIFICATION FOR FUNCTIONAL SAFETY COMPLIANCE
Simplified Explanation: The patent application discloses systems and methods for verifying the functional safety of a software compiler and the compiled software product. This involves generating code coverage data for the compiler and the compiled software, performing compilation, and comparing the code coverage data to ensure functional safety testing requirements are met.
- The patent application focuses on implementing functional safety verification for software compilers and compiled software products.
- It involves generating code coverage data for the compiler and the compiled software based on validation tests.
- Compilation of the software product is performed using the compiler, and code coverage data is generated for verification.
- The verification process compares the code coverage data for the compiler with the code coverage data for the compiled software product.
- The goal is to ensure that functional safety testing requirements are met in the software development process.
Potential Applications: This technology can be applied in industries where functional safety is critical, such as automotive, aerospace, and medical devices. It can also be used in the development of safety-critical systems and software.
Problems Solved: The technology addresses the need for verifying the functional safety of software compilers and compiled software products to ensure they meet safety standards and requirements. It helps in identifying potential issues early in the development process.
Benefits: - Ensures compliance with functional safety standards - Identifies potential safety issues in software development - Improves the overall safety and reliability of software products
Commercial Applications: The technology has commercial applications in industries where safety-critical systems are used, such as automotive, aerospace, and medical devices. Companies involved in software development for safety-critical applications can benefit from implementing this technology to ensure the functional safety of their products.
Questions about Functional Safety Verification in Software Development: 1. How does the technology help in improving the safety of software products? 2. What are the key steps involved in verifying the functional safety of software compilers and compiled software products?
Original Abstract Submitted
various systems and methods for implementing functional safety verification of a software compiler and a compiled software product are disclosed. in an example, verification of functional safety testing requirements includes: generating first code coverage data for a compiler (e.g., a toolchain testsuite code coverage report), the first code coverage data based on a plurality of validation tests of the compiler; performing compilation of a software product (e.g., application, library, operating system) with the compiler; generating second code coverage data (e.g., a toolchain safety application code coverage report) for the compilation of the software product, based on lines of source code invoked in the compiler with the compilation of the software product; and outputting data for verification of functional safety testing requirements based on a comparison of the first code coverage data for the compiler with the second code coverage data for the compilation of the software product.
