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

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

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

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

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

5 Вертолет

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

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

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

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

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