Mradi wa AxonOS huria unaunda miundombinu ya programu kwa mifumo yenye kiolesura cha ubongo-mashine (BMI), iliyoundwa kujenga safu ya utekelezaji wa uhakika kati ya vifaa vya neva na akili bandia. Kiini cha AxonOS kimetengenezwa katika Rust katika hali ya "no_std", kwa msisitizo juu ya utekelezaji wa wakati halisi unaotabirika, simu rasmi ya mfumo ya ABI, modeli ya uwezo wa IPC isiyofungwa, na udhibiti wa wakati wa utekelezaji. Msimbo chanzo ni chanzo huria chini ya leseni za MIT au Apache 2.0.
Mradi huu unajumuisha kernel/runtime, ujumuishaji wa BCI, vipimo vya usanifu, modeli ya idhini/ruhusa, na zana za uchambuzi wa wakati halisi. AxonOS kwa sasa inatengenezwa kwa ajili ya vichakataji vya ARM Cortex-M na inafanyiwa uthibitishaji wa vifaa na majaribio huru ya utendaji wa wakati halisi. Usanifu wa AxonOS huona violesura vya ubongo-mashine kama mfumo wa tabaka nyingi: kifaa cha ubongo-mashine → HAL → muda wa utekelezaji unaoamua → IPC → ruhusa/modeli ya ufikiaji wa idhini → matumizi na safu ya AI.
Wazo kuu la mradi ni kuunda safu ya utekelezaji wa programu inayodhibitiwa inayofanya kazi kati ya kifaa cha mtandao wa neva na AI, ambapo mahitaji ya uamuzi, utenganishaji, ufikiaji wa data ya neva, na muda wa majibu ni sehemu ya usanifu wa mfumo, badala ya kazi ya programu. Lengo tofauti la mradi ni kuchambua muda mbaya zaidi wa majibu (WCRT) kwa kazi zenye kipaumbele maalum. Kwa kusudi hili, zana huru, "dy-wcet," inatengenezwa—kifurushi cha "no_std" cha kreti ya Rust kinachotekelezwa bila kutumia shughuli za sehemu zinazoelea.
Chanzo: opennet.ru
