 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Динамическая спецификация критического ПО
|
|
В реферате по теме рекомендуется рассмотреть следующие вопросы:
· Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт 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)
· Программирование динамических спецификаций - преодоление противоречий между параллельным характером (природой) процессов реального мира и последовательным характером обработки данных компьютером.
· ОС реального времени. Классификация.
· Статическое и динамическое формирование заявок на решение задач ИУС.
· Дисциплина (алгоритм) обслуживания заявок. Приоритетное обслуживание с вытеснением.
Дата публикования: 2015-07-22; Прочитано: 552 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
