Австралия прекратит финансирование разработки безопасного микроядра ОС seL4
Исследовательская группа TS, разрабатывающая безопасное встроенное микроядро операционных систем (ОС) seL4, прекратит существование на службе государства в рамках реорганизации подразделения Data61 Государственного объединения научных и прикладных исследований Австралии (CSIRO), 21 мая сообщает австралийский портал ИТ-новостей ITNews.
Члены исследовательской группы будут либо переведены на проект, связанный с технологиями искусственного интеллекта (ИИ), либо уволены. Правительство Австралии планирует инвестировать в другие направления кибербезопасности.
Правительство Австралии выделило 100 млн австралийских долларов на ближайшие четыре года на развитие Data61 пяти областей науки и технологий. Одним из этих направлений являются технологии ИИ.
Еще 50 млн австралийских долларов выделено для национального центра ИИ в рамках Data61 с целью синхронизировать австралийский опыт в ИИ с опытом других стран. Представитель Data61 сообщил, что в планах есть исследования кибербезопасности и надежного ИИ, но не формальных методов проектирования программ.
Группа «сосредоточена на областях формальных методов проектирования, внедрения и проверки программных систем. Это зрелая область технологий, в которую CSIRO инвестировала в течение ряда лет, и она уже хорошо поддерживается за пределами организации», — заявил он.
Профессор Университета Нового Южного Уэльса (UNSW) и основатель группы TS Гернот Хайзер назвал разрыв отношений с правительственной структурой «печальным днем для австралийской информатики и особенно исследований в области кибербезопасности». Он добавил также, что исследования кибербезопасности будут продолжены в рамках работы университета.
Напомним, seL4 — первое ядро ОС с математическим подтверждением надежности. По словам авторов, это единственное проверенное ядро для архитектуры RISC-V и единственное 64-битное ядро ОС, проверенное в двоичном формате.
