Адкрыццё кода Rust-кампілятара Ferrocene

Кампанія Ferrous Systems абвясціла аб пачатку пераўтварэнні Ferrocene, прапрыетарнага дыстрыбутыва з Rust-кампілятарам для крытычна важных сістэм, у адчынены праект. Код Ferrocene апублікаваны пад ліцэнзіямі Apache 2.0 і MIT. Ferrocene дае інструментар для распрацоўкі на мове Rust прыкладанняў для абароны інфармацыі і крытычна важных сістэм, якія патрабуюць падвышанай надзейнасці (Safety-Critical Systems), збой у якіх можа пагражаць жыццю людзей, нанесці шкоду навакольнаму асяроддзю або прывесці да сур'ёзных пашкоджанняў абсталявання.

У якасці асновы задзейнічаны rustc, штатны кампілятар ад праекту Rust, прыведзены да адпаведнасці патрабаванням праграмных асяродкаў для аўтамабільных і прамысловых сістэм (ISO 26262 і IEC 61508). Надзейнасць Ferrocene верыфікавана праз прымяненне пашыраных метадаў праверкі, тэсціравання і кіравання якасцю. Апошнія два гады прадукт развіваўся як прапрытэтарны, але кампанія Ferrous Systems вяртала свае дапрацоўкі і выпраўленні выяўленых памылак у асноўны праект.

Адной з мэт распрацоўкі з'яўляецца падтрыманне стану Ferrocene як мага бліжэй да upstream (у ідэале наогул без змен), таму распрацаваныя незалежнымі ўдзельнікамі паляпшэння і выпраўленні прапануецца перадаваць напроста ў асноўны рэпазітар rust-lang/rust, а не ў рэпазітар 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, у якой плануюць правесці чыстку прапрыетарных уключэнняў і апублікаваць у наступным месяцы ў выглядзе адчыненага прадукта. Далей распрацоўка будзе весціся ў адчыненай форме і ўсе наступныя выпускі будуць публікавацца як open source. У будучыні таксама плануюць адкрыць код усталёўніка criticalup і сінхранізаваць яго распрацоўку з праектам rustup.

Крыніца: opennet.ru

Дадаць каментар