About

Ada­Core is a glob­al provider of tool­chains and analy­sis tools for high-integri­ty soft­ware using Ada, C/C++ and Rust. Their solu­tions are used by the world’s most safe­ty and secu­ri­ty-con­scious orga­ni­za­tions to devel­op and main­tain soft­ware that runs the process­es and devices that we depend on every day.

Partnership

TASKING and Ada­Core both con­tribute to the advance­ment of safe­ty- and secu­ri­ty-crit­i­cal embed­ded soft­ware through their com­ple­men­tary tech­nolo­gies. While TASKING deliv­ers ISO 26262-qual­i­fied com­pil­er and develop­ment tool­chains for auto­mo­tive and indus­tri­al appli­ca­tions, Ada­Core pro­vides CodeS­onar, the deep sta­t­ic analy­sis solu­tion that helps iden­ti­fy and mit­i­gate soft­ware vul­ner­a­bil­i­ties early in the DevSec­Ops cycle. Togeth­er, their tech­nolo­gies sup­port com­pli­ance with indus­try stan­dards and enhance the robust­ness, reli­a­bil­i­ty, and over­all qual­i­ty of embed­ded soft­ware sys­tems.