Программно-математическое обеспечение

Реализация функциональных возможностей комплексов в полном объеме обеспечивается с помощью технических средств, входящих в них, типового программного и алгоритмического обеспечения, входящего в операционную систему и поставляемого в составе комплексов, и прикладного программного математического обеспечения, разрабатываемого непосредственно пользователем применительно к конкретным задачам эксперимента. [c.348]

Во-вторых, это обеспечение заданной эффективности посредством контроля и диагностирования (оборудования, качества изделий, хода технологического процесса, управляющей вычислительной техники и соответствующего программно-математического обеспечения и т. д.) в процессе функционирования ГПС. [c.102]

Программно-математическое обеспечение расчета ТПС на ЭВМ ЕС [c.93]

На основании изложенных в предыдущих разделах формул разработаны и эксплуатируются на ЭВМ ЕС-1055 программы, позволяющие рассчитать ТПС из различных материалов. Программно-математическое обеспечение, разработанное на языке программирования PL/1, включает в себя немногим более 300 операторов и управляется операционными системами ОС [c.93]

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

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

Требования и процедуры разработки программно-математического обеспечения [c.216]

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

Для гарантии полного учета и понимания требований к системе необходимо проведение соответствующего этапа поверочных работ, в процессе которого сопоставляются требования к программно-математическому обеспечению и требования к системе. Целью данной поверочной операции является [c.219]

Для проверки полноты и качества проекта выполняется анализ его соответствия требованиям. Целью этой проверки является установление правильности воплощения в проектной документации требований к программно-математическому обеспечению, соблюдение стандартов на проектирование, гарантии того, что алгоритмы правильно представляют техническую идею, являются точными и устойчивыми. [c.222]

Для проверки результатов программирования получают листинг исходной программы. Проверка осуществляется либо вручную путем сквозного разбора программы с помощью таблицы контрольных проверок ощибок отдельных видов, либо с помощью таблиц истинности, либо автоматически с помощью анализаторов программ. Далее выполняется проверка блоков программы с целью показать, что блоки выполняют заданные функции и не выполняют не заданные операции. Результаты этой проверки сводятся в План испытаний программно-математического обеспечения . Проверка блоков проводится в двух направлениях проверка логики и проверка вычислений. [c.222]

Для проведения проверки совместной работы аппаратуры и программно-математического обеспечения используются [c.224]

В испытаниях с целью проверки совместной работы, проводимых как часть испытаний для санкционирования эксплуатационной пригодности, должны быть выявлены ошибки в программно-математическом обеспечении следующих видов [c.225]

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

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

Сопровождение программно-математического обеспечения и вопросы гарантии качества [c.225]

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

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

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

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

Изменение программно-математического обеспечения, приводящее к нарушению функциональной взаимозаменяемости, требует введения нового опознавательного номера программно-математического обеспечения блока или нового идентификатора в память модифицированного запоминающего устройства. Изменение в документации на программно-математическое обеспечение блока отражается в конечной части номера соответствующей документации, отделенной от головной части номера с помощью тире. Изменение в программно-математическом обеспечении вспомогательного оборудования требует только изменения документации. [c.229]

Пользователь может взять на себя сопровождение своего оборудования. Одним из наиболее важных средств, позволяющих создать качественное и надежное программно-математическое обеспечение, является проверка его соответствия требованиям на ранних этапах разработки изделия путем выполнения серии [c.230]

Каталог комплектации (документ № 1) является основным контрольным документом для каждой самостоятельной версии программно-математического обеспечения. В нем (в хронологическом порядке) даются ссылки на все документы, находящиеся под контролем, осуществляемым в рамках сопровождения, и указывается статус каждого из них на данный момент времени. [c.233]

Каталог комплектации сменного блока описывает его аппаратуру и его программно-математическое обеспечение. Он подготавливается разработчиком оборудования для каждого сменного блока, имеющего программно-математическое обеспечение. В его содержании указывается [c.234]

В требованиях к программно-математическому обеспечению (документ № 2), разрабатываемому предприятием, осуществляющим установку оборудования, или предприятием-разработчиком, должна содержаться (но не обязательно ограничиваться приведенным перечнем) следующая информация [c.234]

Описание построения программно-математического обеспечения (документ № 3), разрабатываемого изготовителем оборудования, содержит [c.234]

Проблема надежности на этапе проектирования ГАП решается путем разработки технологических процессов, оборудования, управляющих систем и их программно-математического обеспечения по критериям надежности (надежностное проектирование), разработки механических, электрических, управляющих систем и их математического обеспечения со свойствами самоконтроля, выявления ошибок, отказоустойчивости и др. [c.103]

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

В правильно составленной программе разработки ПМО важное значение имеет установление такого порядка проектирования, который позволяет получить программно-математическое обеспечение, поддающееся проверке и понятное не только его создателям. Этот порядок должен быть документально оформлен. Одним из возможных методов проектирования является офани-чение функций, реализуемых с помощью разделения в пределах отдельных блоков программы (принцип разделения профаммно-математического обеспечения). Особое внимание следует уделять [c.219]

Требования пользователя изменить функциональные возможности системы и обнаруженные в процессе эксплуатации ошибки проектирования приводят к необходимости послесертпифика-ционных изменений программно-математического обеспечения. [c.225]

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

План ГКПМО описывает роль гарантии качества программно-математического обеспечения при выполнении требований и стандартов на его разработку, при выполнении плана ПМО и плана испытаний, а также в обеспечении соответствия математического обеспечения документации на него. [c.226]

Такое определение указанных проверок и ревизий, их график и последовательность проведения приводятся в плане гарантии качества программно-математического обеспечения (ГКПМО). [c.232]

В план СПМО и гарантии его качества должны быть включены положения о контроле носителей программно-математического обеспечения. Со всех оригиналов, действующих документов, записей исходных и объектных программ, программ для проведения проверок и испытаний, программ вспомогательных систем должны быть сняты копии, хранящиеся в отдельных архивах с соблюдением мер предосторожности. [c.232]

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

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