Ви є тут

Разработка модели и алгоритмов отладки и контроля комплекса программ АСУ реального времени

Автор: 
Кузнецов Александр Григорьевич
Тип роботи: 
ил РГБ ОД 61
Рік: 
1585
Артикул:
560719
179 грн
Додати в кошик

Вміст

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. ХАРАКТЕРИСТИКА И ОСОБЕННОСТИ КОМПЛЕКСА
ПРОГРАММ АСУ РЕАЛЬНОГО ВРЕМЕНИ
1.1. Основные этапы разработки комплекса программ АСУ реального времени
1.2. Проблема надежности программ, основные понятия
1.3. Классификация методов обеспечения надежности программ .
1.4. Постановка задачи отладки и контроля комплекса программ АСУ реального времени Выводы.
ГЛАВА 2. ФОРМАЛИЗАЦИЯ ОПИСАНИЯ ТРЕБОВАНИЙ СПЕЦИФИКАЦИЙ И РАЗРАБОТКА МОДЕЛИ КОМПЛЕКСА ПРОГРАММ
АСУ РЕАЛЬНОГО ВРЕМЕНИ.
2.1. Формализация описания требований спецификаций к комплексу программ АСУ реального времени
2.2. Разработка модели комплекса программ
АСУ реального времени. .
2.3. Анализ ошибок и отказов в программах, функционирующих в реальном вреюени .
2.4. Формулировка задачи распределения временных ресурсов на отладку и оперативный динамический контроль комплекса
программ АСУ реального времени
Выводы
стр.
ГЛАВА 3, РАЗРАБОТКА АЛГОРИТМОВ АНАЛИЗА КОМПЛЕКСА
ПРОГРАММ АСУ РЕАЛЬНОГО ВРЕМЕНИ
3.1. Разработка алгоритма анализа требований спецификаций к комплексу программ АСУ реального времени
3.2. Разработка алгоритма построения функционала надежности комплекса программ АСУ реального времени
3.3. Разработка алгоритма решения задачи распределения временных ресурсов на отладку и оперативный динамический контроль комплекса программ АСУ реального времени . .
ГЛАВА 4. ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ МОДЕЛИ И
АЛГОРИТМОВ
4.1. Описание программного обеспечения аппаратнопрограммного комплекса автоматизации эксперимента в реальном масштабе времени с расчетными, имитационными и физическими моделями .
4.2. Экспериментальное исследование программного обеспечения аппаратнопрограммного комплекса автоматизации эксперимента в реальном масштабе времени с расчетными, имитационными и физическими моделями . .
стр.
4.3. Инженерная методика распределения временных ресурсов на отладку и оперативный динамический контроль исследуемого
программного обеспечения .
Выводы.
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ