CSIRO Data61 свързва екипа на Trustworthy Systems зад seL4

Екипът зад seL4 вече не е под шапката на данните на Организацията за научни и индустриални изследвания на Австралия (CSIRO) в Австралия, като членовете са преместени от микроядра в подкрепа на изкуствения интелект.

“[CSIRO’s Data61] демонтира Trustworthy Systems (TS), екипът, който разтърси научния свят с първото доказателство за коректност на ОС, # seL4. Персоналът на ТС да бъде преразпределен за проекти за ИИ или уволнен, “професор Гернот Хайзер, председател на фондация seL4, каза в петък.

“Искове от [Data61] на научните постижения звучат кухо. Предизвиквам ви да идентифицирате работата в Data61, засенчваща екипа на TS и # seL4. И все пак е лесно да се идентифицира силно нарастваща работа в Data61, която изглежда безопасна. ”

През 2009 г. защитата на seL4 беше математически доказана.

Хайзер добави, че тоталната катастрофа е избегната благодарение на seL4 Foundation се установява миналата година.

Говорител на CSIRO каза, че seL4 е “зряла област на технологиите”, в която организацията е инвестирала в продължение на няколко години и че организацията ще остане като член на фондацията, за да може да се “отклони” от работата си.

“За да подкрепи нацията в най-важните области, CSIRO вече няма да поддържа съществуващата група Trustworthy Systems. Групата Trustworthy Systems е фокусирана върху областта на официалните методи за проектиране, внедряване и проверка на софтуерни системи,” заяви CSIRO .

„Засилваме фокуса си върху области като киберсигурност, индустрия 4.0 и природни опасности / анализи на околната среда, както и нововъзникващи области като надежден ИИ.“

Говорителят добави, че Data61 следва нови цели, като се влагат пари за изкуствен интелект, „преоткривайки“ начина, по който науката ще се прави с помощта на цифрови технологии, и „поставяйки цифровата наука и технологии в основата на възстановяването и устойчивостта на Австралия“.

“В резултат на промените ще бъдат създадени приблизително 100 длъжности, включително 30 нови докторски длъжности”, каза говорителят.

“В краткосрочен план до 70 души в Data61 ще бъдат потенциално засегнати, но броят вероятно ще бъде по-малък, тъй като работим за пренасочване на хора в цялата организация. В рамките на две години, предвид новите позиции, очакваме броят на персонала да бъде по-голям от днес. ”

Изследванията, проведени от Trustworthy Systems, ще продължат в Университета на Нов Южен Уелс, каза Хайзер, но беше остра на взетото решение.

“Ако този блестящ пример за австралийски иновации вече няма място в Data61, тогава за какво е добра организацията? Смятам, че това развитие е силно разстройващо не само поради въздействието си върху собствената ми работа, нашата програма за осигуряване на сигурността на компютърните системи в света , но и като данъкоплатец, който финансира тази организация, ” той написа.

“Вече не съм убеден, че данъчните ми долари са добре похарчени там.”

Свързано покритие



Публикациите се превеждат автоматично с google translate

Източник: www.zdnet.com