Микрооперационная система реального времени Клебан Виталий, Стрюк Леонид, Научный руководитель: Шалыто А. А.

Логическое управление Управление большим числом приборов и учет большого числа входных воздействий вынуждает применять формализованное описание. Разделение управления на независимые, но синхронизированные между собой блоки Мультиагентные системы

Непрерывное управление Управление объектом со сложной динамикой или неустойчивым объектом не позволяет его «просто запрограммировать». Необходима система управления, которая изменяет свойства объекта. Типовые законы управления: П – управление ПИ – управление ПД – управление ПИД – управление Гибридные автоматы

ЭВМ Содержит контроллер на базе ядра ARM7 с частотой 60МГц. Интегрированную систему радиосвязи радиусом действия 1.5км (скорость кбит/с) Трехосевой акселерометр Трехосевой гироскоп Магнитный компас Услилительно- преобразовательные устройства управления двигателями

Вертолет

Организация связи Протокол – автоматный. Аварийная посадка при потере связи. В язык Си введено новое ключевое слово linked. Оно означает, что переменная в БЭВМ вертолета синхронизирована с переменной в наземном комплексе. Пример: static linked double Roll = 0.0;

Организация связи (2) static linked double Roll = 0.0;

ОС Автоматная микрооперационная система Полная верифицируемость Инженерная привлекательность Система с динамической диспетчерезацией Специализированный язык. Задача: по имеющейся временной диаграмме и заданным автоматным процессам построить такой диспетчер (автомат), чтобы временная диаграмма выполнялась как можно точнее.

ОС Новые типы вызываемости для выходов: последовательный вызов z1(), z2() вызов через фальш-состояние z1(); z2() Новые типы вложенности для автоматов: A1, A2 – по порядку A1; A2 – с прерыванием A1 | A2 – параллельно по шагам A1 & A2 – параллельно с одновременным завершением Задачи: разработка текстового языка с поддержкой этих операций; разработка верификатора для этих программ;

Перспективы и задачи Принимает на вход цепочки: ab;