- •Что можно автоматизировать (компьютеризировать) в эксперименте?
- •Что нужно для проведения автоматизированного эксперимента?
- •Какие этапы эксперимента автоматизируются
- •5 Структурная схема испытательного стенда сур жрд.
- •6. Основные принципы теории систем и системного анализа
- •7 Сходство в поведении физических систем различной физической природы
- •8. Обобщенная схема расчетно-экспериментального комплекса
- •Формирование экспериментальных данных
- •Идентификация параметров
- •9. Основные понятия теории моделирования
- •11 Регрессионный анализ и метод наименьших квадратов.
- •Цели регрессионного анализа
- •Математическое определение регрессии
- •Метод наименьших квадратов (расчёт коэффициентов)
- •12. Планирование экспериментов, основные понятия, регрессионные модели.
- •13 Эксперименты активные, пассивные и последовательные. Теория планирования экспериментов
- •14. Отклик, функции отклика, оценка функции отклика, дисперсия функции отклика.
- •15.Линейные и нелинейные по параметрам модели.
- •16.Сходство в поведении различных по физической природе систем с точки зрения математического моделирования (аналогии).
- •17. Понятие квантования.
- •18. Особенности оценки математических моделей в пространстве модели и параметров.
- •19. Критерии планирования экспериментов.
- •20. Причины возникновения “островковой” автоматизации промышленных производств
- •21.Направления развития интеллектуального производства
- •22. В чем причины трудностей внедрения интегрированных систем?
- •23.Отличия mes систем от erp систем
- •24.Принципы организации бортовых вычислительных систем перспективных летательных аппаратов
- •25 Возможные подходы к разработке архитектур кбо для перспективных ла
- •26 Архитектурная организации управления современными кбо
- •27. Функциональная организация кбо перспективных ла следующего поколения
- •Функции операционных систем
- •33 Ос реального времени : жесткие и мягкие. Операционные системы реального времени для авионики.
- •Документы, регламентирующие требования к осрв
- •34 Временные параметры ос. Временные параметры ос
- •Стабильность временных параметров
- •Управление доступом к ресурсам
- •Поддержка мультипроцессорных и распределенных систем
- •Поддержка файловых систем
- •35Унифицированная Методология Разработки Моделей в системе scade
- •36 Программные среды конечного пользователя. Программные продукты класса scada.
Документы, регламентирующие требования к осрв
Стандарт DO-178 (Software Consideration in Airborne Systems and Equipment Certification) определяет требования к процессу разработки программного обеспечения и тщательности его проверки в зависимости от его уровня критичности. Уровень критичности ПО определяется на основе анализа серьезности последствий отказа в ПО. Всего предусмотрено пять уровней критичности ПО (от A до E).
MILS (Multiple Independent Levels of Secutiry) представляет собой специальный подход к проектированию ОС, препятствующий распространению ошибок прикладного программного обеспечения во время выполнения, а также упрощающий верификацию программ за счет модульности ПО. Все приложения помещаются в так называемые разделы (partitions). Разделы имеют выделенные ресурсы (область памяти, процессорное время в течение каждого цикла системы, доступ к каналам обмена и пр). Доступ к выделенным ресурсам гарантируется ОС, работающей в режиме супервизора. Таким образом, на одном процессорном модуле под управлением одной ОС может работать прикладное ПО разного уровня критичности — если сбой произойдет в менее критичном (и, соответственно, менее проверенном) ПО, это никак не повлияет на работу других разделов, так как попытки «узурпировать» чужие ресурсы будут пресечены операционной системой. Идеи MILS перекликаются с идеями ИМА и DO-178B.
Стандарт ARINC-653 (Avionics Application Software Standard Interface) специфицирует интерфейс прикладного программного обеспечения APEX, поддерживающий концепцию разделов в духе MILS. Данный интерфейс включает функции управления разделами, процессами, разделением времени, коммуникациями между разделами и внутри раздела, мониторинг состояния системы. Надо отметить, что стандарт ARINC-653 описывает общепризнанный подход к реализации идей MILS для ИМА, хотя могут быть и другие реализации. Авиационная ОСРВ, соответствующая ARINC-653, имеет преимущества, так как данный стандарт хорошо известен и понятен международным сертифицирующим органам, поэтому на систему, построенную по этому стандарту, проще получить сертификат соответствия DO-178B.
Стандарт Reusable Software Components. В соответствии с DO-178B программное обеспечение той или иной системы авиационного применения проходит процедуру сертификации полностью, даже если оно использует модули (компоненты), которые уже были сертифицированы ранее в составе другой системы. Одной из последних инициатив FAA (Федеральное агентство по сертификации гражданской авиации, США) является определение критериев возможности многократного использования ПО без повторной сертификации. Компоненты, которые можно повторно не сертифицировать, называются RSC (Reusable Software Components). Чтобы получить сертификат на RSC, нужно затратить больше усилий, но затем RSC дает серьезную экономию.
Российские документы, определяющие требования к ПО (и в том числе к ОСРВ):
ГОСТ Р ИСО/МЭК 51904—2002 («ПО встроенных систем. Общие требования к разработке и документированию») — аналог DO-178B для военной авиации;
КТ-178А («Квалификационные требования часть 178А») — аналог DO-178B для гражданской авиации;
ГОСТ Р ИСО/МЭК 12207—99 («Информационная технология. Процессы жизненного цикла программных средств»).
Сравнение ОС РВ проводилось по 13 параметрам, которые учитывают технические критерии, удобство разработки и экономические параметры.