Для динамического перераспределения ресурсов системы будет использована политика управления - round-robin. В этом случае процесс выполняется либо пока выделенный ему квант времени не истечёт, либо пока не будет приостановлен другим процессом с более высоким приоритетом. После того, как время, выделенное для данного процесса, истечёт, активируется следующий готовый к запуску процесс.
Когда процесс получает более высокий приоритет и приостанавливает выполнение текущего, планировщик сохраняет контекст приостановленного процесса для того, чтобы потом продолжить его выполнение с места останова. Приостановленный процесс остаётся готовым к запуску.
Процессы в списке готовых к запуску задач упорядочены, согласно методу EDF – в порядке возрастания времени реакции. При наличии блокировки запускаются только задачи с приоритетом выше или равным приоритету инициировавшей блокировку задачи.
3.2.2. Описание функционирования приложения.
Схема взаимодействия объектов создаваемой системы показана на диаграмме 10.
3.2.2.1. Подготовка к запуску планировщика.
Главная программа запускает функцию инициализации планировщика, в которую передается массив структур, состоящий из указателей на планируемые процедуры и из параметров выполнения. В число параметров входят: идентификатор (задается главной программой), приоритет, интервал/квант выполнения, время реакции, время выполнения (для мягких задач может не определяться), период (для периодических функций), количество запусков или время работы (для спорадических задач), порядок, относительно других задач. Также возможна передача указателя на входные параметры процедуры.
В планировщике создается список задач. Создаётся процесс-таймер, который будет формировать последовательность сообщений для планировщика.
Главная программа выполняет вызовы функции, отсылающей сообщения о начале работы определённой задачи. Планировщик создаёт отдельные процессы для каждого задания. Запущенные задачи сами могут вызывать функции планирования для себя или других задач.
Таймер получает от планировщика сообщения и создаёт соответствующие метки отсылки сообщений для планировщика. В дальнейшем по достижении метки таймер посылает планировщику сообщение инициировать работу определённой задачи. Если это метка периодической или спорадической задачи, то таймер создаёт через «период» следующую. Планировщик посылает процессам-заданиям сигналы начала кванта времени для выполнения.
При выходе определённой задачи за пределы времени реакции, таймер посылает сообщения о блокировании тех задач, у которых приоритет меньше. Если выход за пределы у двух одинаково приоритетных одновременно, то они продолжат выполняться вместе.
Во многих системах можно заранее установить множество задач, которые будут использоваться, и предположить их характеристики работы в худшем случае. При этом можно либо провести фиксированное планирование, которое будет удовлетворять требованиям системы, либо определить предварительные приоритеты задач. Однако неизбежно возникает необходимость изменения текущего режима/состояния системы. Можно выделить следующие типы операций по изменению режима:
· Добавление задачи.
Планировщик принимает сообщение об активации задачи, и помещает в число готовых к запуску с учётом абсолютных и относительных ограничений. Добавляется запись в процесс-таймер.
· Изменение интервала выполнения задачи.
Принимается сообщение об изменении интервала. Если задача, для которой он должен быть измен, активна, то она приостанавливается. Интервал изменяется. Затем цикл вычислений продолжается, начиная с этой задачи.
· Изменение периода выполнения периодической задачи.
Планировщик принимает сообщение и посылает к процессу-таймеру сигнал на изменение метки времени, соответствующей данной задаче.
· Изменение времени реакции, времени выполнения или приоритета.
Принимается сообщение о необходимости изменения параметра. Если задача, для которой он должен быть измен, активна, то она приостанавливается. Удаляется соответствующая метка в таймере. Параметр изменяется. Устанавливается новая метка в таймере. Если время реакции равно 0, то блокируются задачи с приоритетом меньшим, чем у данной.
· Удаление задачи.
Задача завершает своё выполнение и посылает планировщику сообщение на удаление её из списка готовых к выполнению. Или планировщик удаляет задачу, вышедшую за пределы выделенного ей времени выполнения.
3.3. Реализация протокола ARINC A.415 на основе разработанного модуля СРВ.
3.3.1. Модель требований к системе.
Протокола A.415 ARINC, используется во встроенных системах реального времени самолётов ведущих авиаперевозчиков, таких как Airbus, McDonnel Douglas и др. Это протокол опроса бортовых устройств, позволяющий в заранее обозначенный промежуток времени получить от них информацию и сигнализировать о неисправности в оборудовании.
Бортовые системы самолёта через жёстко заданные промежутки времени формируют специальные сообщения, в которых могут сообщать о возникновении внутри них неисправностей и описывать их. Специальные подсистемы самолёта должны получать сообщения бортовых систем и отправлять отчеты о неисправностях на диалоговую систему, предназначенную для взаимодействия с оператором в самолёте. Оператор, в свою очередь, должен иметь возможность акцентировать своё внимание на одной из контролируемых систем и вступить с ней во взаимодействие.
3.3.1.2. Модель случаев использования.
Данная модель представлена на рисунке 11.
У разрабатываемой системы будет 2 вида взаимодействий с «внешним окружением»: в Диалоговом режиме и в Обычном режиме. Диалоговый режим используется при взаимодействии с оператором в самолёте. Обычный режим используется при стандартной работе интерфейсной подсистемы по индикации неисправностей.
3.3.1.3. Функциональная модель.
Функциональная модель системы представлена в виде диаграмм 12 и 13.
В Обычном режиме система реализует следующие функции: начало работы (инициализация), тёплый старт, получение сообщения от бортовой системы, опрос APM (в случае необходимости), отсылка сообщений к CFDIU, переход в диалоговый режим.
В Диалоговом режиме система реализует следующие функции: получение сообщения от бортовой системы, отсылка сообщений к CFDIU, получение команд от CFDIU, переход в Нормальный режим.
· Сообщение от бортовой системы.
Бортовая система ↔ OMSI И Бортовая система ↔ Энергонезависимая память
· Получить настройки из APM.
APM ↔ OMSI
· Отправить отчет к CFDIU.
OMSI ↔ Шина передачи данных ↔ CFDIU
ИЛИ
General Format Manager
· Запуск диалогового режима.
CFDIU ↔ Шина передачи данных ↔ OMSI
· Начало работы.
Инициализация ИЛИ Тёплый старт
· General Format Manager.
Шина передачи данных ↔ OMSI
· Получить команду.
Шина передачи данных ↔ OMSI
· Инициализация.
OMSI ↔ APM
· Тёплый старт.
Энергонезависимая память ↔ OMSI И APM ↔ OMSI
· Получить команду от CFDIU.
CFDIU ↔ Шина передачи данных ↔ OMSI
· Запуск Обычного режима.
CFDIU ↔ Шина передачи данных ↔ OMSI
3.3.2.2. Модель взаимодействий.
· Сообщение от бортовой системы.
OMSI - начал работу. Бортовая система - начала работу. Бортовая система - сохранила сообщение о неисправности в Энергонезависимой памяти. Бортовая система - отправила сообщение о неисправности.
· Получить настройки из APM.
OMSI - начал работу. OMSI - запросил настройки у APM. APM - передало необходимые настройки.
· Отправить отчет к CFDIU.
CFDIU - начал работу. OMSI - начал работу. Шина передачи данных - активна. OMSI - проверил активность Шины передачи данных. OMSI - отправил отчет. Шина передачи данных - переправила отчет к CFDIU. CFDIU - получил отчет.
ИЛИ
General Format Manager.
· Запуск диалогового режима.
CFDIU - начал работу. OMSI - начал работу. Шина передачи данных - активна. CFDIU - отправил команду ENQ. Шина передачи данных - передаёт команду на нужный OMSI. OMSI - переходит в диалоговый режим.
· Начало работы.
Инициализация ИЛИ Тёплый старт
· General Format Manager.
OMSI - начал работу. Шина передачи данных - неактивна. OMSI - проверил активность Шины передачи данных.
· Получить команду.
Шина передачи данных - активна. Шина передачи данных - передаёт команду на OMSI. OMSI - предпринимает действие в соответствии с командой.
· Инициализация.
OMSI - размещение в памяти, инициализация переменных, запрос настроек. APM - поиск и передача необходимых настроек.
· Тёплый старт.
OMSI - размещение в памяти, инициализация переменных, запрос настроек. APM - поиск и передача необходимых настроек. OMSI - восстановление ранее передававшегося сообщения из Энергонезависимой памяти.
· Получить команду от CFDIU.
CFDIU - начал работу. OMSI - начал работу. Шина передачи данных - активна. CFDIU - отправил команду. Шина передачи данных - передаёт команду на нужный OMSI. OMSI - предпринимает действие в соответствии с командой.
· Запуск Обычного режима.
CFDIU -> начал работу. OMSI -> начал работу. Шина передачи данных -> активна. CFDIU -> отправил команду Log Off. Шина передачи данных -> передаёт команду на нужный OMSI. OMSI -> переходит в номальный режим.
3.3.2.3. Поведенческая модель.
· OMSI.
Диаграмма 14. Старт - Проверить Энергозависимую память. - Выбор: Есть ли непереданные сообщения в Энергонезависимой памяти? Да – Инициализация; Нет – Тёплый старт. Тёплый старт - Забрать сообщения из Энергонезависимой памяти - Загрузить настройки из APM. Инициализация - Загрузить настройки из APM - Работа - Принять сообщения - Получить команду - Сформировать отчет - Проверить активность Шины передачи данных - Выбор: Шина активна? Да – Отослать вопрос; Нет – Ждать активизации Шины передачи данных. Отослать отчет - Принять сообщения. Ждать активизации шины - Отослать отчет.