Сертификация программно-математического обеспечения

Сертификация программно-математического обеспечения [c.214]

Зарубежный опыт сертификации программно-математического обеспечения [c.214]

Из каких основных этапов состоит план сертификации программно-математического обеспечения [c.239]

Приведите примеры документации, необходимой при сертификации программно-математического обеспечения. [c.239]

Процесс сертификации начинается с документа Требования к системе . Затем разработчик определяет перечень работ, необходимых для проверки соответствия программно-математического обеспечения предъявляемым требованиям и для санкционирования его эксплуатационной пригодности (табл. 6.1). Рисунок 6.8 показывает, что разработка является итерационным процессом. Рисунок 6.9 иллюстрирует процесс разработки программно-математического обеспечения. На каждой стадии [c.216]

Изменения в программно-математическом обеспечении могут считаться незначительными при условии, что они не затрагивают основу первоначальной сертификации критических функций или любые аспекты, связанные с выполнением обязательных функциональных требований. [c.228]

В перспективе все большую долю будут составлять оборудование и системы, использующие цифровые вычислители. При этом качество программно-математического обеспечения (ПМО) будет непосредственно влиять на безопасность полетов. Таким образом, необходима разработка руководств по сертификации про-граммно-математического обеспечения. За рубежом, и в первую очередь в США, накоплен значительный опыт сертификации цифрового бортового оборудования самолетов, представляющий значительный интерес для отечественных специалистов. Наиболее полно принципы сертификации авиационного бортового оборудования изложены в документах Радиотехнической комиссии США по аэронавтике (РТКА). Временный специализированный комитет, учрежденный исполкомом РТКА, пришел к заключению, что хотя стандарты РТКА и стандартизированные технические требования федерального авиационного управления (FAA) и охватывают в достаточной степени сертификационные требования и характеристики выполняемых функций, однако необходимо дополнительное руководство относительно требований к [c.214]

Рассмотрение вопросов, связанных с сопровождением программно-математического обеспечения, является частью каждого из этапов жизненного цикла изделия (табл. 6.2). Планы сопровождения программно-математического обеспечения (СПМО) и гарантии качества математического обеспечения (ГКПМО) могут быть как раздельными, так и объединенными в единый документ. План СПМО устанавливает содержание сопровождения (документацию, ее контроль, контроль изменений уровня решений о внесении изменений) и порядок, которого изготовитель должен придерживаться до сертификации головной партии серийных изделий или до их поставки предприятию-заказчику. [c.226]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...