TASKING Certified C Library for Functional Safety

Novem­ber 12, 2024

Fast-track the develop­ment of func­tion­al safe­ty and secu­ri­ty-relat­ed soft­ware.

Munich, Ger­many, 12 Novem­ber 2024 – TASK­ING’s Qual­i­fied C Libraries have been cer­ti­fied by TÜV NORD for com­pli­ance with ISO 26262 func­tion­al safe­ty require­ments. TASKING now offers cer­ti­fied ver­sions of the C library, which can be licensed sep­a­rate­ly in addi­tion to the com­pil­er toolset. Using cer­ti­fied soft­ware com­po­nents sig­nif­i­cant­ly reduces the costs, the time and effort required for final cer­ti­fi­ca­tion of safe­ty-relat­ed sys­tems. 

Using a cer­ti­fied C Library is cru­cial and required by func­tion­al safe­ty stan­dards because the library code is incor­po­rat­ed into the appli­ca­tion and installed on the tar­get device. A faulty library can jeop­ar­dize the func­tion­al safe­ty of the appli­ca­tion. There­fore, both a qual­i­fied com­pil­er and a qual­i­fied C library must be used for the develop­ment of soft­ware that must meet func­tion­al safe­ty require­ments accord­ing to stan­dards such as ISO 26262 or IEC 61508.

TASK­ING’s Cer­ti­fied C Libraries are specif­i­cal­ly designed for use in embed­ded sys­tems and are high­ly opti­mized for code size, exe­cu­tion speed, and the accu­ra­cy of math­e­mat­i­cal func­tions. The libraries are ISO C com­pli­ant and pro­vide approx­i­mate­ly 600 func­tions. Of these, about 200 func­tions are suit­able for use in ASIL-D soft­ware, while the remain­ing func­tions are qual­i­fied for use in lower-level ASIL or QM soft­ware. This allows for easy inte­gra­tion of the library into exist­ing projects, inter­fac­ing with third-party oper­at­ing sys­tems, and enables the use of printf-style debug­ging and log­ging.

The libraries come with a safe­ty man­u­al in both human read­able (pdf) and machine read­able (ReqIF) for­mat. The ReqIF for­mat facil­i­tates the auto­mat­ed import of guide­lines from the safe­ty man­u­al into the user’s require­ments man­age­ment sys­tem. For­mal evi­dence for cor­rect inte­gra­tion of the library is cre­at­ed via a cov­er­age analy­sis of the guid­ance in the safe­ty man­u­al, elim­i­nat­ing the need for addi­tion­al ver­i­fi­ca­tion of library func­tions on the user’s part. The struc­ture of the ReqIF file is such that all safe­ty require­ments are unique­ly iden­ti­fi­able and allows reuse and shar­ing of safe­ty analy­ses per­formed by dif­fer­ent develop­ment teams, as well as (par­tial) reuse of safe­ty analy­ses per­formed on dif­fer­ent ver­sions of the QClib prod­uct.

Using a Cer­ti­fied C Library reduces the cost and lead time of safe­ty relat­ed soft­ware and reduces prod­uct lia­bil­i­ty risks. 

Fur­ther infor­ma­tion can be found under https://www.tasking.com/products/qualified-c-library.

Webi­nar

For those inter­est­ed, TASKING will host a prod­uct release webi­nar on 21 Novem­ber 2024 . At 4:00 p.m. (CET), Bilal Afzal, Tech­ni­cal Mar­ket­ing Man­ag­er, will present the TASKING Cer­ti­fied C Libraries. For detailed reg­is­tra­tion info, visit www.tasking.com/events.

About TASKING

TASKING is a lead­ing provider of com­pil­er and debug­ger tools head­quar­tered in Munich, Ger­many, offer­ing high-per­for­mance, high qual­i­ty, safe­ty & secu­ri­ty-ori­ent­ed embed­ded soft­ware develop­ment tools for multi-core archi­tec­tures.

TASK­ING’s tools are used by auto­mo­tive man­u­fac­tur­ers and sup­pli­ers, as well as in adja­cent mar­kets around the world to real­ize high-per­for­mance appli­ca­tions in safe­ty-crit­i­cal areas.

The TASKING Embed­ded Soft­ware Develop­ment solu­tions pro­vide an indus­try-lead­ing ecosys­tem for your entire soft­ware develop­ment process. Each TASKING tool is designed for a cer­tain archi­tec­ture and meets the spe­cif­ic require­ments of your indus­try, includ­ing auto­mo­tive, indus­tri­al, telecom­mu­ni­ca­tions and dat­a­com. The lat­est gen­er­a­tion of the Blue­box iC7 series debug­ger is inde­pen­dent of the under­ly­ing archi­tec­ture and thus pro­vide best in class debug­ging and trac­ing capa­bil­i­ties in cost effec­tive man­ner.

As the rec­og­nized leader in high-qual­i­ty, fea­ture- and safe­ty-com­pli­ant embed­ded soft­ware develop­ment tools, TASKING enables you to cre­ate code with best-in-class size and per­for­mance with com­pil­ers, debug­gers and RTOS sup­port for indus­try-lead­ing micro­proces­sors and micro­con­trollers.

Since Feb­ru­ary 2021, TASKING has been major­i­ty-owned by finan­cial investor FSN Cap­i­tal, which has put the group on a long-term growth path fol­low­ing a suc­cess­ful carve-out. For more infor­ma­tion visit www.tasking.com or fol­low us on https://www.linkedin.com/company/tasking-inc.