rpd000000089 (1012087), страница 2
Текст из файла (страница 2)
Тематика: Специфицировать, реализовать и оттестировать программный модуль, реализующий заданную программную структуру
Трудоемкость(СРС): 12
Прикрепленные файлы:
Типовые варианты:
-Стек, хранящий данные о вагонах: Груз, Вес, Пункт_Назначения.
-Очередь на получение жилой площади: ФИО, Площадь, Количество_Комнат.
-Стек операций: Тип_Операции, Количество_Операндов, Приоритет.
-Стек операндов: Тип, Значение, Признак_Пустого.
-Очередь на стоянку: Тип_Автомобиля, Приоритет, Время стоянки
-Очередь сообщений: Тип_Сообщения, Текст сообщения.
-Кольцевую очередь процессов: Идентификатор_Процесса, Адрес_Паспорта_Процесса, Приоритет_процесса.
-Стек обработки процедур: Адрес, Слово_Состояния_Процессора, Значение_Сумматора.
-Очередь на покупку оборудования на предприятии: Наименование, Подразделение_Заказчик, Сумма.
-Очередь на комиссию (пересдачу) экзаменов: Номер_Зачетной_Книжки, Наименование_Дисциплины, Код_Специальности.
-Кольцевая очереди обслуживания приборов: Идентификатор, Операция (Чтение/Запись), Адрес, Длина.
-Стек обработки ошибок: Код_ошибки, Наименование, Дата, Время.
-Очередь на приобретение автомобиля: Марка, Цвет, ФИО, Телефон.
-Очередь на техническое обслуживание автомобилей: Марка, Вид_Обслуживания, Льготы, Телефон.
-Стек обработки прерываний: Приоритет, Причина, Адрес_Обработчика, Слово_Состояния_Процесса.
-
Рубежный контроль
-
Промежуточная аттестация
1. Экзамен
Прикрепленные файлы:
Вопросы для подготовки к экзамену/зачету:
1.Понятие встроенного программного обеспечения
2.Определение уровня критичности системы в ГОСТ Р51904
3.Процессы разработки программного обеспечения
4.Поддерживающие процессы
5.Системное, функциональное и инструментальное ПО
6.Типизация структур данных и алгоритмы их обработки
7.Понятие абстрактого типа данных (АТД)
8.Множество значений и множество операций. Полнота множества операций АТД
9.Независимость свойств от реализации АТД
10.Список как абстракция АТД
11.Представление списков в последовательной памяти
12.Стек как АТД.
13.Предствление стека в последовательной памяти
14.Очередь как АТД
15.Предствление очереди в последовательной памяти
16.Связное представление списка. Понятие указателя
17.Добавление и исключение элементов списка
18.Дерево как АТД
19.Бинарные деревья
20.Деревья поиска
21.Добавление и исключение узлов дерева
22.Обходы деревьев
23.Восстановление дерева по двум обходам
24.Прошивки дерева
25.Сортировка. Сортировка списков
26.Инвертированные списки
27.Хеширование
28.Проблемы коллизий
29.Алгоритмы ре-хеширования
30.Представление выражений в бинарных деревьях
-
УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
а)основная литература:
Дональд Кнут Искусство программирования Том 1. Основные алгоритмы. М, СП.Киев.: «Вильямс», 2001.
Синицын С.В., Михайлов А.С., Хлытчиев О.И. Программирование на языке высокого уровня,
М:Академия, 2010, 400 с.
б)дополнительная литература:
Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения М:Бином, Интуит, 2006
в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:
Программное обеспечение и Интернет-ресурсы Студентам предоставляется в электронном виде
«Пособие по информатике», разработанное на кафедре 705б.
-
МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
1. При проведении лекционных занятий ипользуется проектор, компьютер и экран.
2. При проведении лабораторных занятий используется компьтерный класс с соответствующим ПО МОКБ "Марс".
Приложение 1
к рабочей программе дисциплины
«Программные системы реального времени »
Аннотация рабочей программы
Дисциплина Программные системы реального времени является частью Математического и естественно-научный цикл дисциплин подготовки студентов по направлению подготовки Системы управления летательными аппаратами. Дисциплина реализуется на 7 факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) 705Б.
Дисциплина нацелена на формирование следующих компетенций: ПК-1 ,ПК-2 ,ПК-5 ,ПК-25.
Содержание дисциплины охватывает круг вопросов, связанных с: проектированием типовых структур данных, используемых в системах реального времени, алгоритмов их обработки и реализации этих алгоритмов в среде языка высокого уровня.
Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Лабораторная работа.
Программой дисциплины предусмотрены следующие виды контроля: промежуточная аттестация в форме Экзамен.
Общая трудоемкость освоения дисциплины составляет 3 зачетных единиц, 108 часов. Программой дисциплины предусмотрены лекционные (34 часов), практические (0 часов), лабораторные (16 часов) занятия и (31 часов) самостоятельной работы студента. Дисциплина «Программные системы реального времени» является вариативной частью математического и естественно - научного цикла дисциплин подготовки студентов по направлению подготовки 161101 «Системы управления летательными аппаратами». Дисциплина реализуется на факультете «Робототехники и интеллектуальных систем» (факультет №7) Московского авиационного института (национального исследовательского университета кафедрой № 705Б «Бортовая автоматика беспилотных космических и атмосферных летательных аппаратов».
Преподавание дисциплины предусматривает следующие формы организации учебного процесса: лекции, выполнение лабораторных работ и выполнения курсовой работы(КР) студента.
Программой дисциплины предусмотрены следующие виды контроля: текущий контроль успеваемости в форме опросов, допуска к выполнению лабораторной работе и защита результатов лабораторной работы, контроль выполнения курсовой работы, конечный контроль в форме экзамена.
Приложение 2
к рабочей программе дисциплины
«Программные системы реального времени »
Cодержание учебных занятий
-
Лекции
1.1.1. Основные характеристики программного обеспечения реального времени(АЗ: 2, СРС: 0,5)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.1.2. Понятие абстрактного типа данных(АЗ: 4, СРС: 1)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.2.1. Введение в списковые структуры.(АЗ: 4, СРС: 1,5)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.2.2. Представление списков в последовательной памяти.(АЗ: 4, СРС: 1,5)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.2.3. Связное представление списков.(АЗ: 4, СРС: 1,5)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.3.1. Деревья(АЗ: 4, СРС: 1)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.3.2. Обходы деревьев.(АЗ: 4, СРС: 1)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.1. Сортировки(АЗ: 2, СРС: 0,5)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.2. Стековые алгоритмы обработки выражений(АЗ: 4, СРС: 1,5)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.3. Хеширование.(АЗ: 2, СРС: 1)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
-
Практические занятия
-
Лабораторные работы
1.1.1. Абстрактные типы в последовательной памяти(АЗ: 4, СРС: 2)
Форма организации: Лабораторная работа
Описание: Реализовать тип данных “списки с доступом по ключу”. Объектами экспорта модуля являются тип LIST и процедуры, реализующие вставку элемента, поиск и удаление элемента по ключу.
1.2.1. Абстрактные типы в связной памяти(АЗ: 4, СРС: 2)
Форма организации: Лабораторная работа
Описание: Написать программный модуль управления динамической памятью. Предусмотреть процедуры выделения и освобождения блока памяти, заменяющие системные процедуры. Для простоты выделяемые блоки могут иметь фиксированную длину.
1.3.1. Иерархические структуры(АЗ: 4, СРС: 2)
Форма организации: Лабораторная работа
Описание: Реализовать тип данных “деревья произвольного вида”. Объектами экспорта модуля являются тип TREE и процедуры, реализующие перемещение по дереву, вставку и удаление вершины, операции с поддеревьями (копирование, удаление, перевешивание).
1.4.1. Двоичные деревья поиска.(АЗ: 4, СРС: 2)
Форма организации: Лабораторная работа
Описание: Реализовать тип данных “упорядоченные двоичные деревья с доступом по ключу”. Объектами экспорта модуля являются тип TREE и процедуры, реализующие вставку вершины, поиск и удаление вершины по ключу.
-
Типовые задания
Приложение 3
к рабочей программе дисциплины
«Программные системы реального времени »
Прикрепленные файлы
Версия: AAAAAARxpzM Код: 000000089