Масштабируемые Оберон-технологии как средства обеспечения защищенного ПО критически важных систем

Дмитрий Викторович Дагаев (главный эксперт АО «Русатом Автоматизированные системы управления», консультант проекта «Информатика-21») принял участие в конференции OS DAY 2019 с докладом Масштабируемые Оберон-технологии как средства обеспечения защищенного ПО критически важных систем.

Обсуждение: https://forum.oberoncore.ru/viewtopic.php?t=6407

Цитата из новостей ИСП РАН:

Далее выступил Дмитрий Дагаев − главный эксперт АО «Русатом Автоматизированные системы управления» и консультант проекта «Информатика-21» по развитию Оберон-технологий в России. Темой его доклада стали масштабируемые Оберон-технологии как средства обеспечения защищенного ПО критически важных систем. Он рассказал о принципах «прогресса от ограничения» Роберта Мартина. В качестве примера он привел требования по обеспечению функциональной безопасности для АЭС категории А («избегать использования универсальных ОС», «массивы должны иметь фиксированную длину» и др.). Кроме того, Дагаев подчеркнул, что строгие требования к атомной отрасли могут распространяться и на другие отрасли в целях повышения безопасности. Говоря об Оберон-технологиях, он отметил, что сейчас только Оберон идет в сторону уменьшения сложности синтаксиса языков программирования.

Разработка ПО критически важных систем имеет дело с повышенными требованиями в части функциональной безопасности и защиты от кибер-угроз. Оберон-технологии представляют собой широкий спектр решений подобных задач как с использованием, так и без использования ОС . Исключение избыточной сложности в сочетании с модульностью и жесткой типизацией дает возможность построения настраиваемых компиляторов для определенных задач.

Презентация