Шолом Анатолий
Шрифт:
• неправильная реализация протоколов связей между элементами системы;
• непредвиденная неустойчивость контуров, замыкаемых между элементами системы;
• неспособность программно-математического обеспечения одного из элементов системы правильно функционировать при отказе другого элемента.
Требования пользователя изменить функциональные возможности системы и обнаруженные в процессе эксплуатации ошибки проектирования приводят к необходимости послесертифика-ционных изменений программно-математического обеспечения.
Изменения, внесенные в программно-математическое обеспечение критических и важных функций, требуют повторных проверок: программных блоков; их взаимодействия; взаимодействия аппаратуры и программного обеспечения; частей системы, затронутых внешними изменениями.
Изменения программно-математического обеспечения не важных функций могут быть внесены на основе анализа или повторных испытаний.
6.5.5. Сопровождение программно-математического обеспечения и вопросы гарантии качества
Сопровождение программно-математического обеспечения представляет собой специальную техническую дисциплину, связанную с идентификацией и контролем изменений и регистрацией текущего состояния программно-математического обеспечения в течение всего срока службы.
Сопровождением охватывается рабочее программное обеспечение, обеспечивающие программные средства, математическое обеспечение для испытаний и проектирования, а также аппара-тура, необходимая для внесения изменений в рабочее программ-ное обеспечение для его испытаний и воспроизведения.
Сопровождение включает также контроль документов, в ко-торых регламентируются требования к взаимодействию с про-граммами табличных данных и автоматического тест-контроля, выбираемыми пользователем, но сами эти программы под конт-роль данного сопровождения не подпадают, имея свое собствен-ное сопровождение.
Рассмотрение вопросов, связанных с сопровождением про-граммно-математического обеспечения, является частью каждо-го из этапов жизненного цикла изделия (табл. 6.2). Планы сопро-вождения программно-математического обеспечения (СПМО) и гарантии качества математического обеспечения (ГКПМО) мо-гут быть как раздельными, так и объединенными в единый доку-мент. План СПМО устанавливает содержание сопровождения (до-кументацию, ее контроль, контроль изменений уровня решений о внесении изменений) и порядок, которого изготовитель дол-жен придерживаться до сертификации головной партии серий-ных изделий или до их поставки предприятию-заказчику.
План ГКПМО описывает роль гарантии качества программ-но-математического обеспечения при выполнении требований и стандартов на его разработку, при выполнении плана ПМО и плана испытаний, а также в обеспечении соответствия матема-тического обеспечения документации на него.
В плане СПМО рассматриваются вопросы идентификации, контроля и учета текущего состояния, а также вопросы, связан-ные с ревизиями и проверками состава и общего построения про-граммных и аппаратурных средств.
В плане СПМО должны быть определены минимальные тре-бования к сопровождению для каждого применения оборудова-ния. На основании этого плана изготовитель должен разработать соответствующую документацию и хранить ее в течение всего жиз-ненного цикла оборудования.
План ГПМО определяет технические средства, приемы и ме-тоды, которых необходимо придерживаться при производстве ре-визий и проверок качества, а также при выполнении других фун-кций, гарантирующих целостность изделия и соответствующей документации на него, а также непрерывность процесса сопро-вождения.
СПМО на этапе сертификации и в течение всего периода эк-сплуатации изделия должно предусматривать наличную докумен-
тацию; соглашение относительно маркировки изделия, контроля изменений, учета текущего состояния.
На внешней стороне каждого сменного блока должна быть нанесена маркировка в виде блочного номера. В системе нумерации должны быть воплощены следующие принципы:
• сменные блоки с одинаковой маркировкой должны быть взаимозаменяемыми по габаритам, посадочным размерам и выполняемым функциям;
• если в конструкцию блока или в его программно-математическое обеспечение внесено изменение, блочные номера таких блоков и блочные номера блоков более высоких уровней должны быть изменены вплоть до уровня, на котором восстанавливается взаимозаменяемость. Контроль действительного текущего состояния, осуществляемый пользователем, не обязательно должен быть основан на системе нумерации блоков, принятой у изготовителя.
Если используется маркировка статуса состояния блока, то в каталогах комплектации блоков и систем могут даваться ссылки без указания статуса модификации, однако в этих каталогах должна быть ссылка на журнал регистрации статуса модификации.
На каждое устройство заранее программируемой памяти, входящее в состав блока, должна быть нанесена маркировка, позволяющая установить состояние его аппаратурного и программного обеспечения. Если память сменного блока загружается на месте, то идентификатор состояния может быть вызван из самой памяти и проидентифицирован.