Кушодани рамзи компилятори Rust Ferrocene

Ferrous Systems эълон кард, ки он ба табдил додани Ferrocene, як дистрибюторҳои хусусии Rust барои системаҳои муҳими миссия ба лоиҳаи кушодаасос шурӯъ кардааст. Рамзи Ferrocene дар зери иҷозатномаҳои Apache 2.0 ва MIT нашр шудааст. Ferrocene асбобҳоро барои таҳияи барномаҳо дар Rust барои амнияти иттилоотӣ ва системаҳои муҳими бехатарӣ таъмин мекунад, ки нокомии онҳо метавонад ба ҳаёти инсон таҳдид кунад, ба муҳити зист зарар расонад ё ба таҷҳизот зарари ҷиддӣ расонад.

Асоси rustc, компилятори стандартии лоиҳаи Rust мебошад, ки барои қонеъ кардани талаботи муҳити нармафзор барои системаҳои автомобилӣ ва саноатӣ оварда шудааст (ISO 26262 ва IEC 61508). Эътимоднокии Ferrocene тавассути истифодаи усулҳои васеъи санҷиш, санҷиш ва идоракунии сифат тасдиқ карда мешавад. Дар давоми ду соли охир, маҳсулот ҳамчун маҳсулоти хусусӣ таҳия карда мешавад, аммо Ferrous Systems такмилҳо ва ислоҳҳои худро барои хатогиҳои муайяншуда ба лоиҳаи асосӣ баргардонд.

Яке аз ҳадафҳои рушд ин нигоҳ доштани Ferrocene ба қадри имкон ба болооб (идеалӣ ҳеҷ гуна тағирот вуҷуд надорад), аз ин рӯ пешниҳод карда мешавад, ки беҳбудиҳо ва ислоҳҳои аз ҷониби саҳмгузорони мустақил таҳияшуда мустақиман ба анбори асосии занг/занг интиқол дода шаванд, на ба он. анбори Ferrocene. Дар навбати худ, Ferrous Systems ба таъмини анҷуманҳои тасдиқшудаи дуӣ, ҳамгироӣ ба SDK истеҳсолкунандагони таҷҳизот, кор оид ба кафолати сифат ва озмоиш дар платформаҳои саноатӣ, татбиқи дастгирии стандартҳои DO-178C, ISO 21434 ва IEC 62278, инчунин пешбурди қобилиятҳо ва тағиротҳои rustc, ки дар системаҳои муҳими миссия ва дастгоҳҳои саноатии дарунсохт талаб карда мешаванд.

Ба нақша гирифта шудааст, ки Ferrocene 23.06.0 ба зудӣ бароварда шавад, ки он аввалин нашри мувофиқ ба талаботи ISO 26262 (ASIL D) ва IEC 61508 (SIL 4) хоҳад буд. Нашр бар маҷмӯаи Rust 1.68 асос ёфтааст ва дар марҳилаи ниҳоии истеҳсолот қарор дорад, аммо он пурра кушода нахоҳад шуд, зеро он маълумоти хусусии яке аз шарикони қаблиро дар бар мегирад. Дарҳол пас аз нашри Ferrocene 23.06.0, кор дар версияи 23.06.1 оғоз мешавад, ки дар он онҳо нақша доранд, ки дохилкуниҳои хусусиро тоза кунанд ва моҳи оянда онро ҳамчун маҳсулоти кушода нашр кунанд. Рушди минбаъда дар шакли кушода анҷом дода мешавад ва ҳама релизҳои минбаъда ҳамчун манбаи кушода нашр карда мешаванд. Дар оянда онҳо инчунин нақша доранд, ки рамзи насбкунандаи kritikup -ро кушоянд ва рушди онро бо лоиҳаи rustup ҳамоҳанг созанд.

Манбаъ: opennet.ru

Илова Эзоҳ