Сертификация сложных технических систем
Шрифт:
в) требования к характеристикам, проверке, проектированию и критичности каждой функции;
г) требования к ресурсам памяти и временным ресурсам;
д) описание взаимодействия аппаратуры и программного обеспечения;
е) требования к встроенному тест-контролю или непрерывному контролю;
ж) характеристики при отказах (ухудшение характеристик и качество функционирования).
Описание построения программно-математического обеспечения (документ № 3), разрабатываемого изготовителем оборудования, содержит:
а) описание структуры построения программы (древовидную
б) описание или схему потока данных;
в) описание или блок-схему программы;
г) описание информационного и управляющего взаимодействия между отдельными частями программы и между программным и аппаратурным обеспечением (описание отдельных трактов «вход-выход»);
д) описание алгоритмов;
е) технические условия на временные ресурсы;
ж) информацию об организации и ресурсах памяти. Назначением руководства для программистов (документ № 4) является изложение информации, достаточной для понимания принципов работы и для программирования вычислителя, используемого в бортовом оборудовании. Эта информация должна включать полное описание архитектуры (работу системы команд), а также описание и руководство по применению языка программирования. Допускается, что для выполнения программирования вычислителя может оказаться необходимой информация о структуре программы и взаимодействии ее частей, содержащаяся в документе № 3 и других документах.
Для гарантии функционирования изделия в соответствии с техническими условиями в плане сопровождения ПМО и гарантии его качества (документ № 5) дается описание:
а) процедур сопровождения;
б) обозначений вариантов построения программно-математического обеспечения;
в) порядка учета текущего состояния вариантов построения программно-математического обеспечения;
г) процедур контроля изменений в программном обеспечении;
д) процедур контроля носителей программ;
е) средств и методов, используемых при разработке программно-математического обеспечения;
ж) стандартов, установившейся практики и соглашений, используемых при разработке программно-математического обеспечения;
з) документации, необходимой для разработки программно-математического обеспечения;
и) процедур выполнения проверок и ревизий;
к) процедур составления и прохождения донесений о выявленных недостатках и процедур устранения недостатков;
л) процедур контроля, осуществляемого поставщиком изделия.
Листинг исходной программы (документ № 6) содержит исходные операторы, по которым составляется машинная программа с комментариями для описания модулей, функций и управляющей логики программы. Листинг должен содержать блочный номер программы, ее наименование и дату выпуска. В комплектацию данного документа должен быть включен листинг редактора связей распределителя памяти, дающий схему загрузочного модуля.
Для исходной программы (документ № 7) следует использовать согласованный носитель – бумагу, магнитные диски, ленты и т. п.
Для выходной (объектной) программы (документ № 8) следует использовать согласованный носитель-ленту, магнитные диски, программируемое постоянное запоминающее устройство (ППЗУ),
Состав и построение системы вспомогательных средств и средств для разработки программно-математического обеспечения (документ № 9) описывают аппаратуру, программное обеспечение и процессы, используемые для разработки, хранения и воспроизведения исходных и объектных программ.
Краткий обзор выполненных работ (документ № 10, на контроль не передается) представляет краткое описание задач, решенных в процессе разработки программно-математического обеспечения и плана его сопровождения. К числу вопросов, рассматриваемых в обзоре, относятся описание системы, порядок проектирования, испытания и контроль.
План, методики и результаты испытаний (документ № 11) могут быть составлены применительно к разным этапам испытаний и описывать испытания, которые должны быть выполнены; цель каждого из них; функции, которые должны быть проверены; последовательность и методы испытаний. Эти документы также охватывают средства проверки на соответствие требованиям и средства, используемые при санкционировании эксплуатационной пригодности; требования к поверочному оборудованию; требования к испытаниям программно-математического обеспечения и результаты испытаний.
Стандарты на проектирование программно-математического обеспечения (документ № 12), разрабатываемые изготовителем оборудования или предприятием, осуществляющим его установку, определяют требования на проектирование программно-математического обеспечения и его реализацию, действующие соответственно на этапах разработки и испытаний. В нем также описываются запрещенные способы реализации программно-математического обеспечения, применение которых могло бы повредить выполнению функций, предписанных системе.
В требованиях к системе (документ № 13) дается общее описание сертифицируемой системы. Документ может исходить или от предприятия, осуществляющего установку оборудования, или от предприятия-изготовителя. Он должен содержать:
а) описание системы и ее функциональную блок-схему, разбиение системы на сменные блоки, описание сертифицируемых функций;
б) сертификационные требования, включая все применимые положения Федеральных авиационных правил (FAR), консультативных циркуляров FАА, требования Британского управления гражданской авиации и требования других нормативных документов. Дополнительно (если система, выполняющая сертифицируемую функцию, является элементом системы более высокого уровня) необходимо дать ссылку на требования к этой последней или их краткое изложение;
в) методы и средства проверки соответствия, позволяющие:
• завершить программу разработки, выполняемую поставщиком изделия;
• завершить программу проверки соответствия требованиям, проводимую предприятием, устанавливающим оборудование;
• обнаружить и устранить ошибки программирования;
• разработать документацию.
В табл. 6.5 приведена документация, которую изготовитель должен (в соответствии с соглашением, достигнутым в результате переговоров) представить пользователю, желающему взять на себя ответственность за совершенствование и доработку оборудования или систем.