TASKING’s certified C library fast-tracks the development of functional safety and security-related software.
TASKING’s Qualified C Libraries have been certified by TÜV NORD for compliance with ISO 26262 functional safety requirements. TASKING now offers certified versions of the C library, which can be licensed separately in addition to the compiler toolset. Using certified software components significantly reduces the costs, the time and effort required for final certification of safety-related systems.
Using a certified C Library is crucial and required by functional safety standards because the library code is incorporated into the application and installed on the target device. A faulty library can jeopardize the functional safety of the application. Therefore, both a qualified compiler and a qualified C library must be used for the development of software that must meet functional safety requirements according to standards such as ISO 26262 or IEC 61508.
TASKING’s Certified C Libraries are specifically designed for use in embedded systems and are highly optimized for code size, execution speed, and the accuracy of mathematical functions. The libraries are ISO C compliant and provide approximately 600 functions. Of these, about 200 functions are suitable for use in ASIL-D software, while the remaining functions are qualified for use in lower-level ASIL or QM software. This allows for easy integration of the library into existing projects, interfacing with third-party operating systems, and enables the use of printf-style debugging and logging.
The libraries come with a safety manual in both human readable (pdf) and machine readable (ReqIF) format. The ReqIF format facilitates the automated import of guidelines from the safety manual into the user’s requirements management system. Formal evidence for correct integration of the library is created via a coverage analysis of the guidance in the safety manual, eliminating the need for additional verification of library functions on the user’s part. The structure of the ReqIF file is such that all safety requirements are uniquely identifiable and allows reuse and sharing of safety analyses performed by different development teams, as well as (partial) reuse of safety analyses performed on different versions of the QClib product.
Using a Certified C Library reduces the cost and lead time of safety related software and reduces product liability risks.
Further information can be found under https://www.tasking.com/products/qualified-c-library.
Webinar
For those interested, TASKING will host a product release webinar on 21 November 2024. At 4:00 p.m. (CET), Bilal Afzal, Technical Marketing Manager, will present the TASKING Certified C Libraries. For detailed registration info, visit www.tasking.com/events.