Список вопросов по спецкурсу




Скачать 36.86 Kb.
НазваниеСписок вопросов по спецкурсу
Дата публикации05.06.2014
Размер36.86 Kb.
ТипЛекция
litcey.ru > Информатика > Лекция
Список вопросов по спецкурсу

«Встроенные информационно-управляющие
системы реального времени»


(весенний семестр 2014 г.)

Лекция 1. Введение в ИУС РВ.

  1. Состав ИУС РВ. Функции и специфика работы ИУС РВ.

  2. Развитие архитектуры ИУС РВ. Неоднородность ИУС РВ по типам каналов, устройств, данных.

  3. Жизненный цикл ПО ИУС РВ. Виды инструментальных средств поддержки жизненного цикла ПО ИУС РВ.


Лекция 2. Архитектура процессоров для ИУС РВ.

  1. Архитектура процессора ARM.

  2. Архитектура процессора обработки сигналов (NM 6403).

  3. Постановка задачи оценки наихудшего времени выполнения программы (WCET) и основные методы её решения.

  4. Метод Bounded model checking для решения задачи оценки наихудшего времени выполнения программы (WCET).


Лекция 3. Магистральные и локальные каналы информационного обмена.

  1. Использования каналов с централизованным управлением в ИУС РВ МКС. Принципы работы каналов с централизованным управлением. Протокол информационного обмена стандарта MIL STD-1553B.

  2. Задача построения расписания выполнения работ в одноприборном устройстве. Задача построения расписания передачи сообщений по шине с централизованным управлением для схемы с подциклами и схемы без подциклов. САПР циклограмм.

  3. Топологии и классы обслуживания стандарта Fibre Channel.

  4. Описание работы кольца с арбитражем. Процедура арбитража. Протокол FC-AE-1553.

  5. Задача построения магистральных каналов информационного обмена с использованием кольца с арбитражем FC.


Лекция 4. Сети AFDX.

  1. Бортовые сети. Методы организации бортовых сетей.

  2. Бортовые сети на основе стандарта AFDX. Структура сети и адресация.

  3. Бортовые сети на основе стандарта AFDX. Виртуальные каналы. Управление и контроль трафика.

  4. Методы оценки задержек передачи кадров и сообщений в AFDX-сетях. Этапы передачи сообщений.

  5. Методы оценки задержек передачи кадров и сообщений в AFDX-сетях. Метод на основе Network Calculus.

  6. Методы оценки задержек передачи кадров и сообщений в AFDX-сетях. Response Time Analysis.


Лекция 5. ОС РВ со статическим планированием вычислений

  1. Основные требования к ОС РВ.Показатели производительности ОС РВ.

  2. Понятие потока (thread). Возможности ОС РВ по управлению потоками. Планирование потоков с приоритетами. Дисциплины планирования Rate Monotonic, Earliest Deadline First, достаточные условия выполнимости расписания.

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

  4. Служба времени в ОС РВ. Часы реального времени, таймеры.



Лекция 6. ОС РВ, использующие статико-динамическую модель вычислений.

  1. Использование концепции ИМА при разработке ПО. Интерфейс APEX. Преимущества используемого подхода к организации ПО.

  2. Структура ПО в ARINC653. Понятия разделов и задач. Взаимодействие задач. Модель вычислений в ARINC653.

  3. Задача построения статико-динамического расписания.

  4. Формальная статико-динамическая модель вычислений.

  5. Задача адаптации расписаний к изменениям в исходных данных.


Лекция 7. Расчёт надёжности ИУС РВ.

  1. Основные понятия надёжности (неисправность, ошибка, отказ, отказоустойчивость, надёжность).

  2. Расчёт надёжности последовательных систем.

  3. Расчёт надёжности параллельных систем.

  4. Способы представления систем для расчёта надёжности (блок-схема надёжности (RBD); дерево неисправностей (FTA)).

  5. Модели надёжности ПО (SRGM).


Лекция 8. Механизмы обеспечения отказоустойчивости.

  1. Постановка задачи оптимизации надёжности ИУС РВ.

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

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


Лекция 9. Мониторинг и отладка ИУС РВ.

  1. Особенности отладки ИУС РВ. Понятие удалённой отладки.

  2. Виды интерфейсов ИУС РВ. Примеры и основные характеристики интерфейсов.

  3. Анализаторы интерфейсов. Основные задачи. Примеры.

  4. Протокол удалённой отладки GDB. Цели создания. Особенности. Примеры команд.



Лекция 10. Структурный синтез и построение расписаний.

  1. Классификация задач построения расписаний, возникающих при проектировании ИУС РВ.

  2. Алгоритмы имитации отжига: принцип работы, схема одной итерации для задачи построения расписаний (расписание задается привязкой работ к процессорам и порядком выполнения работ на процессоре), операции преобразования расписания, законы понижения температуры, асимптотическая скорость сходимости, направленные стратегии применения операций.

  3. Генетические алгоритмы: алгоритм Холланда, операции скрещивания, мутации и селекции, теорема схем, гипотеза строительных блоков.

  4. Алгоритмы на основе схемы муравьиных колоний: биологическая модель, схема одной итерации, построение маршрута и обновление феромона, использование для построения расписаний.

  5. Жадные алгоритмы: общая схема, оптимальный алгоритм построение расписания выполнения работ в одноприборном устройстве, доказательство оптимальности алгоритма. Алгоритмы, сочетающие жадные стратегии и стратегии ограниченного перебора: общая схема, пример процедуры ограниченного перебора.

Похожие:

Список вопросов по спецкурсу iconСписок вопросов, выносимых на экзамен по саод в 2010

Список вопросов по спецкурсу iconСписок вопросов к экзамену по дисциплине «Web-технологии»

Список вопросов по спецкурсу iconОбзор некоторых общих вопросов, касающихся древовидных структур и иерархии в sql
В специализированных конференциях я встречал слишком много вопросов о древовидных структурах и иерархии в sql. В литературе по sql...
Список вопросов по спецкурсу iconСписок вопросов по Истории Древнего мира: Древний Восток (1-й семестр...
Список вопросов по Истории Древнего мира: Древний Восток (1-й семестр – вопросы 1-15; 2-й семестр вопросы 15-31)
Список вопросов по спецкурсу iconСписок вопросов
Мононормы как социальные регуляторы в присваивающей экономике первобытного общес­тва
Список вопросов по спецкурсу iconПриблизительный список вопросов к экзамену по специальности 12. 00. 03
Охраняемые результаты интеллектуальной деятельности в гражданском законодательстве РФ
Список вопросов по спецкурсу iconСписок вопросов к экзамену
Французское просвещение и его характерные черты. Монтескье, Вольтер, Дидро, энциклопедисты
Список вопросов по спецкурсу iconСписок вопросов к зачету: микроэкономика
Собственность: сущность и формы. Многообразие форм собственности на средства производства
Список вопросов по спецкурсу iconСписок вопросов для подготовки к зачету
Особенности причинного комплекса миграционной преступности в Сибирском федеральном округе
Список вопросов по спецкурсу iconДля тестирования 40 вопросов выбираются случайным образом, преподаватель...
Комплекс аппаратных и программных средств, позволяющих компьютерам обмениваться данными
Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
litcey.ru
Главная страница