УДК 004.45
ФУНКЦИОНАЛЬНО-РОЛЕВОЕ МОДЕЛИРОВАНИЕ НА ПРИМЕРЕ СИСТЕМЫ ИНДИКАЦИИ ПИЛОТИРУЕМОГО ЛЕТАТЕЛЬНОГО АППАРАТА
В. А. Бочаров, ассистент кафедры «Системы автоматизированного проектирования» МГТУ им. Н.Э. Баумана, Москва, Россия;
orcid.org/0009-0006-7724-3862, e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
В статье демонстрируется пример решения задачи формального определения функциональности киберфизических систем с применением преимуществ функционально-ролевой спецификации (ФРС), позволяющих определить систему непосредственно в терминах её потребительских свойств, концепции и функциональности, с использованием универсального естественно-алгоритмического языка. В примере иллюстрируется ключевые закономерности, которым подчиняется процесс эквивалентной функциональной декомпозиции – выводимость значений из аргументов, наличие в управлении предиката, «знающего» входы и выходы, и вхождение подмножества портов до декомпозиции во множество портов после неё. Выявление и реализация этих закономерностей даёт возможность автоматизировать проектирование на функциональном уровне.
Ключевые слова: функционально-ролевая спецификация, функциональная логика, функция, роль, фаза, режим, семантика, система индикации.