Remain flexible and in control
Are you looking for a solution to qualify standard libraries?
The most important thing is getting the right software tool to ensure you remain flexible and in control.
Why Library Qualification is Crucial
The standard libraries for C and C++ save development time by providing pre-written, reliable code for everyday tasks. They help reduce complexity, improve portability, and minimize the code developers must manage. However, in safety-critical systems, it’s vital to remember that library code must be verified for its intended purpose.
Step 1: Identify the Relevant Parts of the Library
Determine which headers and functions of the standard library your application uses. Only these library parts need to be qualified, saving time and effort in the qualification process. With our partner BUGSENG, we developed a tool to identify exactly which parts of the standard library your application uses.
Step 2: Define the Requirements
The requirements should detail each function’s expected behavior, including side effects, limitations, preconditions, and exception handling. It helps to ensure that the library works as intended in all scenarios.
Step 3: Verify the Library
Get the right software to verify the library’s compliance with its requirements. These tests should verify all requirements defined in Step 2, including edge cases and error conditions. By analyzing the test results, you can be confident that the library meets functional safety requirements. If you find any defects, they must be documented in a safety manual so that the library’s users can avoid them.
Conclusion
Library qualification for standard libraries is a key aspect of functional safety in safety-critical software. By following the above steps, you can verify that the library meets the necessary standards and is fit for use in your safety-critical application.
As opposed to using a prequalified library, it gives you control to qualify precisely for your use case and provides flexibility to make efficient incremental changes in the current or other projects.
SuperGuard is the only existing software tool specifically designed to facilitate and ensure the qualification of standard libraries, helping you meet the rigorous requirements of functional safety standards in your projects.
Do you want to know more? Request a live demo here.
Dr. Marcel Beemster, CTO
Elisa Costantino, Operations Manager