Требования к программному обеспечению бортовой аппаратуры и систем КТ-178B, страница 23

Процесс регистрации, оценки, утверждения или отклонения и координации изменений вединицах конфигурации после формального введения их идентификации или аналогичныхдействий по отношению к базовым версиям после их введения.2. Систематическая оценка, координация, утверждение или отклонение, а такжереализация утверждённых изменений в конфигурации, состоящей из некоторых единиц, послеформального введения идентификации этой конфигурации или аналогичные действия поотношению к базовым версиям после их введения.Управление конфигурацией (Configuration management):1. Процесс:- идентификации и определения единиц конфигурации системы,- контроля за выпуском и изменением этих единиц в течение жизненного цикла ПО,- регистрации и сообщения о состоянии единиц конфигурации и запросов на изменения,- проверки полноты и корректности единиц конфигурации.2. Порядок технического и административного руководства и надзора для:а.

идентификации и регистрации функциональных и физических характеристикединиц конфигурации,b. управления изменениями этих характеристик.с. регистрации и сообщения о процессе управления изменениями и о состоянии ихреализации.Управляющая программа (Control program) – Программа, предназначенная для планированияпроцесса выполнения программ в вычислителе и для контроля за этим процессом.© НИИАО 2002.Формат А497КТ-178В________________________________________________________________________________Условие (Condition) – Логическое (булевское) выражение, не содержащее булевские операторы.Устойчивость к неисправностям (Fault tolerance) – Свойство системы сохранятьработоспособное состояние при ограниченном количестве неисправностей в аппаратуре илипрограммном обеспечении.Устройство памяти (Memory device) – Элемент аппаратуры, способный хранить программывычислений и относящиеся к ним данные.Может быть выполнен в виде интегральной схемы, платы интегральных схем, магнитныхсердечников, диска, магнитной ленты.Учет состояния конфигурации (Configuration status accounting) – Регистрация информации,необходимой для управления некоторой конфигурацией, включая перечень утвержденнойидентификации конфигурации, состояние предложенных изменений и состояние реализацииутвержденных изменений.Формальные методы (Formal methods) – Описательная символика (система обозначений) ианалитические методы, используемые для составления, разработки и обоснованияматематических моделей работы системы.Эмулятор (Emulator) – Устройство, программа или система, которая принимает те же входныеданные, формирует те же выходные данные и использует тот же объектный код, что ирассматриваемая система.© НИИАО 2002.Формат А498КТ-178В________________________________________________________________________________ПЕРЕЧЕНЬ ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ1.

Document NO. RTCA/DO-178B. Software considerations in airborne systems an equipmentcertification. 1992.2. First annual report for clarification of ED-12B «Software considerations in airborne systems andequipment certification». 1999.3. Квалификационные требования. Часть 178А. Требования к программном обеспечениюбортовой аппаратуры и систем при сертификации авиационной техники. 1997.4. Авиационные правила. Часть 23.

Нормы летной годности гражданских легки: самолетов. 1993.5. Авиационные правила. Часть 25. Нормы летной годности самолетов транспортной категории.1994.6. Авиационные правила. Часть 29. Нормы летной годности винтокрылы: аппаратовтранспортной категории. 1995.7. Авиационные правила. Часть 21. Процедуры сертификации авиационной техники.

Том 1.Разделы А, В, С, Д, Е. 1994.8. ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определения. 1990.© НИИАО 2002.Формат А499КТ-178В________________________________________________________________________________БЛАНК ДЛЯ ИЗЛОЖЕНИЯ ПРЕДЛОЖЕНИЙ ПО СОВЕРШЕНСТВОВАНИЮ ДОКУМЕНТАНаименование организации___________________________________________________________________________________Фамилия И. О. _______________________________________________________________________Адрес ______________________________________________________________________________Телефон _________________________ Дата _____________________________________________Документ КТ-178ВРаздел _______Стр. _______Строка _________________________[ ] Ошибки в оформлении (Формат, пунктуация, написание слов)[ ] Смысловые ошибки[ ] Предложения по улучшению или исправлениюОбоснование (описание ошибки или обоснование улучшения) ___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________Просьба изложить любые общие замечания и предложения по улучшении документа_________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________Заполненный бланк направить по адресу, указанному в сопроводительном письме.© НИИАО 2002.Формат А4.