ПОИСК Статьи Чертежи Таблицы Классификация функций по категориям критичности из "Сертификация сложных технических систем " Классификация каждой функции осуществляется с использованием описания проекта, анализа, моделирования, метода аналогий, наземных и летных испытаний и пр. [c.216] Правильность выбора категории критичности подтверждается полномочным органом при разработке плана сертификации. [c.216] Общий подход учитывает три разновидности сертификации сертификация типа, дополнительная сертификация типа, сертификация на соответствие стандартизированным требованиям FAA (рис. 6.7). [c.216] При наличии полных требований к профаммно-математичес-кому обеспечению с использованием соответствующих руководств, разрабатывается подробная проектная документация на профамм-но-математическое обеспечение, в том числе план испытаний. [c.219] Для проверки полноты и качества проекта выполняется анализ его соответствия требованиям. Целью этой проверки является установление правильности воплощения в проектной документации требований к программно-математическому обеспечению, соблюдение стандартов на проектирование, гарантии того, что алгоритмы правильно представляют техническую идею, являются точными и устойчивыми. [c.222] Технология реализации проекта должна гарантировать, что полученные с ее помощью программы понятны, прослеживаемы до уровня проектной документации и поддаются проверке. Все ощибки должны быть зарегистрированы. [c.222] При реализации проекта ПМО больщие преимущества сулят использование языков высокого уровня соответствующих компиляторов (трансляторов) и обеспечивающих программных средств. К числу этих преимуществ относятся облегчение понимания результатов реализации и потенциальная возможность снижения количества ощибок, допускаемых на ранних этапах разработки. [c.222] При изменениях обеспечивающих программных средств необходимы процедуры, позволяющие идентифицировать текущее состояние этих средств и проверить влияние любых изменений на конечную программу. В том случае, когда обеспечивающие программные средства разработаны не изготовителем оборудования, а другим предприятием, могут потребоваться консультации с государственным органом относительно методов установления доверия к этим средствам. [c.222] Для проверки результатов программирования получают листинг исходной программы. Проверка осуществляется либо вручную путем сквозного разбора программы с помощью таблицы контрольных проверок ощибок отдельных видов, либо с помощью таблиц истинности, либо автоматически с помощью анализаторов программ. Далее выполняется проверка блоков программы с целью показать, что блоки выполняют заданные функции и не выполняют не заданные операции. Результаты этой проверки сводятся в План испытаний программно-математического обеспечения . Проверка блоков проводится в двух направлениях проверка логики и проверка вычислений. [c.222] Целью проверки вычислительной части программы является обнаружение и устранение ошибок в последовательности вычислений, их выполнении, точности, синхронизации в правильности установки числовых алгоритмов в исходное положение для данных, находящихся в пределах технических условий, выходящих за эти пределы, фаничных, особых для масштабирования при вычислениях с фиксированной запятой и для используемых единиц измерения физических величин, а также в случае нежелательных режимов работы контуров с обратными связями. [c.223] После проверки блоков программы выполняется проверка правильности объединения блоков программы с целью показа правильности взаимодействия при выполнении заданных функций функционально связанных блоков программы. Эта проверка вовлекает дополнительные аппаратурные ресурсы, способствующие объединению модулей (периферийные устройства и память). [c.223] Испытания на воздействие окружающей среды являются необходимой частью сертификации любого оборудования и выполняются с целью демонстрации того, что аппаратура правильно функционирует в заданном диапазоне условий окружающей среды. Программное обеспечение, используемое при этих испытаниях, может быть как рабочим, так и специальным испытательным. [c.224] Требования пользователя изменить функциональные возможности системы и обнаруженные в процессе эксплуатации ошибки проектирования приводят к необходимости послесертпифика-ционных изменений программно-математического обеспечения. [c.225] Изменения, внесенные в программно-математическое обеспечение критических и важных функций, требуют повторных проверок программных блоков их взаимодействия взаимодействия аппаратуры и программного обеспечения частей системы, затронутых внешними изменениями. [c.225] Изменения программно-математического обеспечения не важных функций могут быть внесены на основе анализа или повторных испытаний. [c.225] Сопровождение программно-математического обеспечения представляет собой специальную техническую дисциплину, связанную с идентификацией и контролем изменений и регистрацией текущего состояния программно-математического обеспечения в течение всего срока службы. [c.225] Сопровождение включает также контроль документов, в которых регламентируются требования к взаимодействию с программами табличных данных и автоматического тест-контроля, выбираемыми пользователем, но сами эти программы под контроль данного сопровождения не подпадают, имея свое собственное сопровождение. [c.226] План ГКПМО описывает роль гарантии качества программно-математического обеспечения при выполнении требований и стандартов на его разработку, при выполнении плана ПМО и плана испытаний, а также в обеспечении соответствия математического обеспечения документации на него. [c.226] В плане СПМО рассматриваются вопросы идентификации, контроля и учета текущего состояния, а также вопросы, связанные с ревизиями и проверками состава и общего построения программных и аппаратурных средств. [c.226] Вернуться к основной статье