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

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

Статьи Чертежи Таблицы О сайте Реклама

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

Сертификация программно-математического обеспечения  [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]


Смотреть главы в:

Сертификация сложных технических систем  -> Сертификация программно-математического обеспечения



ПОИСК



Обеспечение математическое

Обеспечение программное

Программные



© 2025 Mash-xxl.info Реклама на сайте