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

1КТ-178В________________________________________________________________________________Межгосударственный Авиационный КомитетАвиационный РегистрКВАЛИФИКАЦИОННЫЕ ТРЕБОВАНИЯЧАСТЬ 178ВТРЕБОВАНИЯ К ПРОГРАММНОМУ ОБЕСПЕЧЕНИЮБОРТОВОЙ АППАРАТУРЫ И СИСТЕМПРИ СЕРТИФИКАЦИИ АВИАЦИОННОЙ ТЕХНИКИ-2002© НИИАО 2002.Формат А42КТ-178В________________________________________________________________________________ЛИСТ УЧЕТА ИЗМЕНЕИЙк Квалификационным требованиям«Требования к программному обеспечению бортовой аппаратуры и систем при сертификацииавиационной техники» КТ-178B№ОбозначениеДата№ОбозначениеДатап/пизменениявступления в силуп/пизменениявступления в силу1«1И1 – 8.2»Примечание:номер изменения состоит из цифр, указывающих:- общий порядковый № изменения,- буквы «И»,- цифр, указывающих порядковый № изменения к данному пункту и- № пункта, в который вносится изменение.Например: «3И2 – 5.2» - это 3-е изменение к КТ-178В, являющееся вторым к пункту 5.2.© НИИАО 2002.Формат А43КТ-178В________________________________________________________________________________ПредисловиеОсновой настоящих Квалификационных требований КТ-178В «Требования к программномуобеспечению бортовой аппаратуры и систем при сертификации авиационной техники» являетсядокумент RTCA/DO-178B «Software considerations in airborne systems and equipmentcertification» [1] с учетом его корректировок и изменений, приведенных в документе «First annualreport for clarification of ED-12B» [2].Документ КТ-178В развивает требования и методические подходы, приведенные в ранеевыпущенном документе КТ-178А [3].Термины и определения, использованные в КТ-178А, по возможности, сохранены.Отказные состояния определены в соответствии с разделом А-0 Авиационных правил(части 23, 25 и 29) [4-6].Заключение о соответствии ПО требованиям КТ-178В является обязательным приквалификации комплектующих изделий [7].© НИИАО 2002.Формат А44КТ-178В________________________________________________________________________________ОГЛАВЛЕНИЕ№ п/п1.1.1.1.2.1.3.1.4.1.5.1.6.2.2.1.2.1.1.2.1.2.2.2.2.2.1.2.2.2.2.2.3.2.3.2.3.1.2.3.2.2.3.3.2.4.2.5.2.6.2.7.3.3.1.3.2.3.3.4.4.1.4.2.4.3.4.4.4.4.1.4.4.2.4.4.3.4.5.4.6.5.5.1.5.1.1.5.1.2.5.2.5.2.1.5.2.2.5.2.3.5.3.5.3.1.5.3.2.5.4.5.4.1.Наименование разделаВВЕДЕНИЕНазначение документаОбласть применения документаСвязь с другими документамиРекомендации относительно работы с документомСтруктура документаОтличия данного документа от DO-178BСИСТЕМНЫЕ АСПЕКТЫ, ОТНОСЯЩИЕСЯ К РАЗРАБОТКЕ ПОИнформационные потоки между процессами жизненных циклов системы ипрограммного обеспеченияИнформационный поток из процессов системы в процессы ПОИнформационный поток из процессов ПО в процессы системыОтказное состояние и уровень ПОКлассификация отказных состоянийОпределения уровней ПОУстановление уровня ПОУчет особенностей архитектуры системыОбособлениеМноговерсионное разнородное ПООбеспечение безопасности с помощью непрерывного контроляУчет влияния системных аспектов на ПО, модифицируемоепользователем, опционное ПО и готовое коммерческое ПОУчет влияния схемы построения системы на ПО, загружаемое на местеэксплуатацииУчет требований к системе при верификации ПОУчет ПО при верификации системыЖИЗНЕННЫЙ ЦИКЛ ПОПроцессы жизненного цикла ПООпределение жизненного цикла ПОКритерии перехода между процессамиПРОЦЕСС ПЛАНИРОВАНИЯ СОЗДАНИЯ ПОЦели процесса планированияМероприятия процесса планировании создания ПОПланы создания ПОПланирование среды жизненного цикла ПОСреда разработки ПОЯзыки программирования и компиляторыСреда испытаний ПОСтандарты на разработку ПОРассмотрение и гарантия процесса планирования создания ПОПРОЦЕССЫ РАЗРАБОТКИ ПОПроцесс разработки требований к ПОЦели процесса разработки требований к ПОМероприятия процесса разработки требований к ПОПроцесс проектирования ПОЦели процесса проектирования ПОМероприятия проектирования ПОПроектирование ПО, модифицируемого пользователемПроцесс кодированияЦель процесса кодированияМероприятия процесса кодированияПроцесс интеграцииЦель процесса интеграции© НИИАО 2002.Стр.7777791011111212121313141515161617181819202020222323232424252626262728282829292930303131313232Формат А45КТ-178В________________________________________________________________________________№ п/п5.4.2.5.4.3.5.5.6.6.1.6.2.6.3.6.3.1.6.3.2.6.3.3.6.3.4.6.3.5.6.3.6.6.4.6.4.1.6.4.2.6.4.2.1.6.4.2.2.6.4.3.6.4.4.6.4.4.1.6.4.4.2.6.4.4.3.7.7.1.7.2.7.2.1.7.2.2.7.2.3.7.2.4.7.2.5.7.2.6.7.2.7.7.2.8.7.2.9.7.3.8.8.1.8.2.8.3.9.9.1.9.2.9.3.9.4.10.10.1.10.2.10.3.11.11.1.Наименование разделаМероприятия процесса интеграцииОбстоятельства, которые следует учитывать в процессе интеграцииТрассируемостьПРОЦЕСС ВЕРИФИКАЦИИ ПОЦели процесса верификации ПОМероприятия процесса верификации ПОРассмотрения и анализы ПОРассмотрения и анализы требований высокого уровняРассмотрения и анализы требований низкого уровняРассмотрения и анализы архитектуры ПОРассмотрения и анализы «Исходного кода»Рассмотрения и анализы результатов процесса интеграцииРассмотрения и анализы тестовых примеров, процедур и результатовиспытанийИспытания ПОСреда испытанийВыбор тестовых примеров на основе требованийТестовые примеры в допустимом диапазонеРобастные тестовые примерыМетоды испытаний на основе требованийАнализ полноты испытанийАнализ тестовых покрытий на основе требованийАнализ структурного покрытияУстранение недостатков по результатам анализа структурного покрытияПРОЦЕСС УПРАВЛЕНИЯ КОНФИГУРАЦИЕЙ ПОЦели процесса управления конфигурацией ПОМероприятия процесса управления конфигурацией ПОИдентификация конфигурацииБазовые версии и трассируемостьСообщения о проблемах, отслеживание и корректирующие действияУправление изменениямиРассмотрение измененийУчет состояния конфигурацииАрхивирование, воспроизведение и выпускКонтроль загрузки ПОКонтроль за состоянием среды жизненного цикла ПОКатегории контроля данныхПРОЦЕСС ГАРАНТИИ КАЧЕСТВА ПОЦели процесса гарантии качества ПОМероприятия процесса гарантии качества ПОРассмотрение соответствия ПО требованиямПРОЦЕСС ВЗАИМОДЕЙСТВИЯ ЗАЯВИТЕЛЯ И СЕРТИФИЦИРУЮЩЕГООРГАНАМетоды определения соответствия и планированиеОбоснование соответствияМинимальный состав документов жизненного цикла ПО, представляемыхсертифицирующему органуДокументы жизненного цикла ПО, относящиеся к типовой конструкцииОБЗОРНОЕ ОПИСАНИЕ ПРОЦЕССА СЕРТИФИКАЦИИ ВОЗДУШНОГОСУДНА И ДВИГАТЕЛЯСертификационный базисУчет ПО при сертификации воздушного судна и двигателяОпределение соответствияДОКУМЕНТЫ ЖИЗНЕННОГО ЦИКЛА ПОПлан сертификации ПО© НИИАО 2002.Стр.323233343435353636373738383940404141414343434345454545464747484848494950515151525353535354555555555657Формат А46КТ-178В________________________________________________________________________________№ п/п11.2.11.3.11.4.11.5.11.6.11.7.11.8.11.9.11.10.11.11.11.12.11.13.11.14.11.15.11.16.11.17.11.18.11.19.11.20.12.12.1.12.1.1.12.1.2.12.1.3.12.1.4.12.1.5.12.1.6.12.2.12.2.1.12.2.2.12.2.3.12.2.3.1.12.2.3.2.12.2.4.12.3.12.3.1.12.3.2.12.3.3.12.3.3.1.12.3.3.2.12.3.3.3.12.3.3.4.12.3.3.5.12.3.4.12.3.5.Наименование разделаПлан разработки ПОПлан верификации ПОПлан управления конфигурацией ПОПлан гарантии качества ПОСтандарты на разработку требований ПОСтандарты на проектирование ПОСтандарты на кодированиеТребования к ПООписание проекта ПОИсходный кодИсполняемый объектный кодПримеры и процедуры верификации ПОРезультаты верификации ПОКаталог среды жизненного цикла ПОКаталог комплектации ПОСообщения о проблемахПротоколы УКПОПротоколы ГКПОИтоговое заключение о ПОДОПОЛНИТЕЛЬНЫЕ УКАЗАНИЯИспользование ранее разработанного ПОМодификация ранее разработанного ПОУстановка на другое воздушное судноИзменение условий применения или среды разработкиДоработка базовой версииУказания по вопросам управления конфигурацией ПОУказания по вопросам гарантии качества ПОКвалификация инструментаКритерии квалификации инструментов для разработки ПОКритерии квалификации инструментов для верификации ПОДокументы квалификации инструментаПлан квалификации инструментаЭксплуатационные требования к инструментуОдобрение квалификации инструментаАльтернативные методыФормальные методыИспытания по методу полного перебораУказания по верификации многоверсионного разнородного ПОНезависимость многоверсионного разнородного ПОВерификация ПО, реализуемого на нескольких процессорахВерификация многоверсионного «Исходного кода»Квалификация инструмента для многоверсионного разнородного ПОПрименение нескольких имитаторов при верификацииМодели надёжности ПОЗаархивированный период эксплуатацииПРИЛОЖЕНИЕ АПРИЛОЖЕНИЕ В.

ТЕРМИНЫ И ОПРЕДЕЛЕНИЯПЕРЕЧЕНЬ ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВБЛАНК ДЛЯ ИЗЛОЖЕНИЯ ПРЕДЛОЖЕНИЙ ПО СОВЕРШЕНСТВОВАНИЮ© НИИАО 2002.Стр.58585960616162626263636363646465656565676767676869696970717172727273737374757576767676777779909899Формат А47КТ-178В________________________________________________________________________________1.

ВВЕДЕНИЕ1.1. Назначение документаНазначением данного документа является изложение инструктивных материаловотносительно создания программного обеспечения (ПО) бортовых систем и оборудования,которые выполняют предписанные им функции с уровнем доверия к безопасности,удовлетворяющим требованиям к летной годности.Эти инструктивные материалы имеют форму:• Целей процессов жизненного цикла ПО.• Описания мероприятий и конструктивных соображений для достижения этих целей.• Описания доказательных материалов, подтверждающих, что цели достигнуты.1.2. Область применения документаВ документе рассматриваются те аспекты сертификации, которые относятся к созданию ПОдля бортовых систем и оборудования, используемых на воздушных судах или двигателях.Чтобы облегчить понимание процесса сертификации, при обсуждении этих вопросовописывается жизненный цикл системы и его связь с жизненным циклом ПО.Полное описание жизненного цикла ПО, включая процесс оценки безопасности системы ипроцесс удостоверения пригодности или процесса сертификации самолета и двигателя, неявляется назначением данного документа.1.3.