Naujausi darbai įmonėje Code Metal

Code Metal yra B2B programinės įrangos įmonė, kurianti patikrinamą kodo transliavimą ir automatizuotas įrankių grandines ypatingos svarbos sistemoms. Jos platforma aukšto lygio tyrimų ir dirbtinio intelekto kodą paverčia gamybai paruošta, standartus atitinkančia programine įranga, skirta tokioms kalboms ir technologijoms kaip C/C++, Rust, VHDL, CUDA ir OpenCL. Dirbtiniu intelektu valdomas transliavimas, statinė analizė, automatinis testų generavimas, formalus verifikavimas ir konkrečiam tikslui pritaikytas optimizavimas padeda kurti atsekamą kodą, atliekant funkcinio lygiavertiškumo, saugos ir atitikties patikras. Code Metal aptarnauja aviacijos ir kosmoso, gynybos, automobilių pramonės, puslaidininkių ir robotikos organizacijas, kurioms reikia diegti programinę įrangą įvairiuose lustuose ir įterptosiose platformose, išlaikant perkeliamumą ir patikimumą.