Лидия Александровская - Сертификация сложных технических систем

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

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

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

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

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

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

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

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

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

Таблица 6.3

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

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

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

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

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

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

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

Таблица 6.4

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

а) описание структуры построения программы (древовидную схему) и членение программы на самостоятельные части;

б) описание или схему потока данных;

в) описание или блок-схему программы;

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

д) описание алгоритмов;

е) технические условия на временные ресурсы;

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

Для гарантии функционирования изделия в соответствии с техническими условиями в плане сопровождения ПМО и гарантии его качества (документ № 5) дается описание:

а) процедур сопровождения;

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

в) порядка учета текущего состояния вариантов построения программно-математического обеспечения;

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

д) процедур контроля носителей программ;

е) средств и методов, используемых при разработке программно-математического обеспечения;