ЖАНРЫ

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

Шолом Анатолий

Шрифт:

Изменение программно-математического обеспечения, не затрагивающее функциональную взаимозаменяемость, требует:

• изменения маркировки статуса программно-математического обеспечения;

• введения в блочный номер соответствующего подномера;

• изменения идентификатора программно-математического обеспечения, вводимого в память модифицированного запоминающего устройства;

• внесения изменений в журнал регистрации состояния блока.

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

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

Таблица 6.3 иллюстрирует требования к изменению маркировки аппаратурного/программного обеспечения после выполнения их доработок.

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

Проведем расшифровку значения блочного номера, показанного в табл. 6.3. Номер блока, указанный на его внешней поверхности:

Вариант модификации, указанный на внешней поверхности блока и в журнале регистрации состояния блока: аппаратуры – 03; программного обеспечения – 06.

Опознавательный номер комплекта документации, указываемый только в каталоге комплектации: 503.

Блочный номер, указанный в каталоге комплектации:

< image l:href="#"/>

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

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

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

Таблица 6.3

проверок и ревизий в ключевых точках процесса разработки изделия и внесения в него изменений.

Такое определение указанных проверок и ревизий, их график и последовательность проведения приводятся в плане гарантии качества программно-математического обеспечения (ГКПМО).

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

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

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

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

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

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

Таблица 6.4

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

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

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

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

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

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

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

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

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

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

Поделиться с друзьями: