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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

и) процедур выполнения проверок и ревизий;

к) процедур составления и прохождения донесений о выявленных недостатках и процедур устранения недостатков;

л) процедур контроля, осуществляемого поставщиком изделия.

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

Для исходной программы (документ № 7) следует использовать согласованный носитель – бумагу, магнитные диски, ленты и т. п.

Для выходной (объектной) программы (документ № 8) следует использовать согласованный носитель-ленту, магнитные диски, программируемое постоянное запоминающее устройство (ППЗУ), перфокарты и т. д.

Состав и построение системы вспомогательных средств и средств для разработки программно-математического обеспечения (документ № 9) описывают аппаратуру, программное обеспечение и процессы, используемые для разработки, хранения и воспроизведения исходных и объектных программ.

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

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

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

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

а) описание системы и ее функциональную блок-схему, разбиение системы на сменные блоки, описание сертифицируемых функций;