5.9Динамическая спецификация критического по
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Реализации ПО» (7.1.1), «Анализ требований в системном контексте» (6.4.1, 6.4.2), «Анализ требований к ПО» (7.1.2), «Проектирование архитектуры в системном и программном контекстах» (6.4.3, 7.1.3), «Детальное проектирование и конструкторская разработка ПО» (7.1.4, 7.1.5), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Особенности архитектурного проектирования критичного ПО систем жесткого регламента реального времени.
«4+1» парадигма архитектурного проектирования критического ПО, функции, компоненты, динамические спецификации ПО, размещение на вычислительной платформе, варианты использования;
Динамическая спецификация критического ПО – как дискретная функция двух переменных:
Т – дискретное время, х - условие включения/выключения задачи в спецификации ПО.
Динамическая спецификация критического ПО – «Сборочный чертеж» для описания верхнего уровсня комплекса критического ПО. Теоретико-множественное определение (модель) динамической спецификации
,
где Т – дискретное время, х – условие
коммутации задач, у – задачи.Визуализация ПО верхнего уровня информационно-управляющих систем (ИУС) критического использования, работающих в режиме жесткого регламента времени. Графические языки. Синтаксис. Перспективы развития. Макроязыки. UML реального времени. ADL (Architecture Description Languages)
Программирование динамических спецификаций - преодоление противоречий между параллельным характером (природой) процессов реального мира и последовательным характером обработки данных компьютером.
ОС реального времени. Классификация.
Статическое и динамическое формирование заявок на решение задач ИУС.
Дисциплина (алгоритм) обслуживания заявок. Приоритетное обслуживание с вытеснением.
5.10 Статический анализ в инженерии критического по.
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Обеспечение (гарантирование) качества ПО» (7.2.3), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7), «Верификация ПО» (7.2.4), «Валидация ПО» (7.2.5), «Гарантирование (обеспечение) качества ПО» (7.2.3).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Классификация методов верификации ПО. Место и роль статического анализа.
Цели, задачи, возможности, ограничения статического анализа исходных кодов ПО.
Адаптация к ЯВУ;
Проблема отчуждаемости критического ПО.
Теоретические основы анализа текстов ПО на языках высокого уровня.
Синтаксический разбор текста ПО. Парсинг. Формальный анализ исходных текстов ПО.
Перспективы использования статического анализа текстов ПО.
Инструментальные средства и среды. Возможности Ограничения.
Формальные методы анализа и верификации критического ПО на основе статического анализа.
Полимодельная Model-checking верификация с использованием инварианто-ориентированных моделей критического ПО. На основе статического анализа исходных текстов ПО.