Разработка и применение методов повышения технологичности программного обеспечения систем управления

СОДЕРЖАНИЕ
ПЕРЕЧЕНЬ ОСНОВНЫХ ОБОЗНАЧЕНИЙ .
ВВЕДЕНИЕ
1. ПРОЦЕСС СОЗДАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АСУТП
1.1. Этапы разработки и специфицирование программного обеспечения АСУТП .
1.1.1. Этапы разработки по АСУТП .
1.1.2. Специфицирование программного
обеспечения АСУТП .
1.2. Требования к математической модели специфицирования
1.3. Модели параллельных вычислений .
1.4. Выбор модели специфицирования
2. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СПЕЦИФИЦИРОВАНИЯ ПО АСУТП .
2.1. Описание модели Керка .
2.1.1. Описание циклических процессов
2.1.2. Описание взаимодействия процессов .
2.2. Проблемы, решаемые при помощи модели Керка .
2.2.1. Тайминг процессов системы .
2.2.2. Проблема тупика .
2.3. Пример специфицирования поведения подсистемы
сбора и первичной обработки данных
ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АСУТП И СПЕЦИАЛИЗИРОВАННЫЕ ОПЕРАЦИОННЫЕ СИСТЕМЫ . б
3.1. Виртуальная машина и операционная система
3.1.1. Виртуальная машина .
3.1.2. Операционные системы .
3.1.3. Операционные системы реального времени .
3.2. Специализация ОСРВ на основе спецификации поведения .
3.2.1. Специализация ядра ОСРВ .
3.2.2. Специализация драйверов внешних
устройств
3.2.3. Специализация системы обработки
особых случаев .
3.2.4. Специализация систем службы времени, загрузки прикладного ПО и диалога
с конечным пользователем
3.2.5. Специализация системного планирования
3.3. Семейство специализированных операционных
систем реального времени
3.3.1. Методы создания семейства программ .
3.3.2. Метод фиксированных решений
3.4. Интерпретация модели Керка для структуры
ПО АСУТП
ДВУХЦЕНТРОВАЯ АСУТП И СЕМЕЙСТВО СПЕЦИАЛИЗИРОВАННЫХ
4.1. Двухцентровая система программ МЕДОУС
для АСУТП
4.1.1. Основные функции АСУТП карбамида .
4.1.2. Аппаратурная база системы .
4.1.3. Общая структура программного
обеспечения системы .
4.1.4. База данных
4.1.5. Функциональные подсистемы
4.1.6. Операционная система МЕДККС
4.2. Семейство специализированных операционных
систем реального времени МЕДЕКС
4.3. ХРВ ГЕО для бортовой геофизической системы программного обеспечения
4.4. Операционная система с разделением времени МВДСАР и технология программирования систем компьютерного управления Ю
ЗАКЛЮЧЕНИЕ III
ЛИТЕРАТУРА