Сертификация сложных технических систем

Для критических функций устанавливается система официальных сообщений о недостатках, обнаруженных в математическом обеспечении и мерах по их устранению. Такая же система желательна и для функций других категорий. Указанная система должна гарантировать ответные действия на все документально зафиксированные недостатки.

В план СПМО и гарантии его качества должны быть включены положения о контроле носителей программно-математического обеспечения. Со всех оригиналов, действующих документов, записей исходных и объектных программ, программ для проведения проверок и испытаний, программ вспомогательных систем должны быть сняты копии, хранящиеся в отдельных архивах с соблюдением мер предосторожности.

Для гарантии целостности хранимых данных устанавливается порядок апробации всех лент, дисков и т. п. с периодичностью, совместимой с гарантийным сроком хранения данного носителя. При создании оригиналов и архивных документов следует предусмотреть меры предосторожности, гарантирующие только считывание хранимой информации. Каждый процесс снятия копии должен проверяться с помощью побитового сравнения. На каждом носителе следует записать алгоритмы, предназначенные для проверки правильности компиляции, копирования или загрузки.

6.5.6. Документация на аппаратное/программное обеспечение

Для первоначальной сертификации оборудования или системы, а также для их повторной сертификации после модернизаций, необходима достаточная, точная и отражающая текущее состояние дел документация двух видов (табл. 6.4 и 6.5).

В табл. 6.4 (с разбивкой по категориям критичности: НВ – не важная, К – критическая) указана документация, которую изготовитель должен подготовить для первоначальной сертификации типа, дополнительной сертификации типа или для утверждения оборудования (например утверждения соответствия стандартизованным техническим требованиям FАА). В этой таблице знаком «Д» отмечены документы, которые соискатель удосто

Таблица 6.4

верения летной годности может направить органу, регулирующему деятельность в области авиации в качестве официально зарегистрированных материалов, обосновывающих заявку. Знак «А» обозначает дополнительную документацию, которая может быть сочтена в плане сертификации необходимой для какого-либо конкретного случая.

Каталог комплектации (документ № 1) является основным контрольным документом для каждой самостоятельной версии программно-математического обеспечения. В нем (в хронологическом порядке) даются ссылки на все документы, находящиеся под контролем, осуществляемым в рамках сопровождения, и указывается статус каждого из них на данный момент времени.

Для цифровых систем каталог комплектации системы является регистрационным документом высшего уровня. В нем содержатся наименования блоков аппаратуры, номера всех сменных блоков, входящих в состав системы, и номера программно-математического обеспечения всех сменных блоков, имеющих таковое. В нем также дан перечень каталогов комплектации всех сменных блоков системы.

Каталог комплектации системы может разрабатываться изготовителем оборудования или предприятием, осуществляющим его установку.

Каталог комплектации сменного блока описывает его аппаратуру и его программно-математическое обеспечение. Он подготавливается разработчиком оборудования для каждого сменного блока, имеющего программно-математическое обеспечение. В его содержании указывается:

а) точный состав и построение объединенного пакета программно-математического обеспечения, поставляемого вместе с блоком;

б) перечень действующей документации на данный сменный блок.

В требованиях к программно-математическому обеспечению (документ № 2), разрабатываемому предприятием, осуществляющим установку оборудования, или предприятием-разработчиком, должна содержаться (но не обязательно ограничиваться приведенным перечнем) следующая информация:

а) функциональные и эксплуатационные требования к программно-математическому обеспечению, сформулированные в количественной форме и там, где это применимо, с указанием допусков; общий и описательный материал, включающий функциональную блочную схему или эквивалентное предоставление каждой машинной программы; графическое изображение процесса выполнения функции и связей между функциями;

б) требования к каждой рабочей функции или режиму работы плюс требования к таким специальным функциям, как упорядочение, выявление и устранение ошибок, контроль входной и выходной информации, диагностика в реальном масштабе времени и т. д.;

в) требования к характеристикам, проверке, проектированию и критичности каждой функции;

г) требования к ресурсам памяти и временным ресурсам;

д) описание взаимодействия аппаратуры и программного обеспечения;

е) требования к встроенному тест-контролю или непрерывному контролю;

ж) характеристики при отказах (ухудшение характеристик и качество функционирования).

Описание построения программно-математического обеспечения (документ № 3), разрабатываемого изготовителем оборудования, содержит: