Описана постановка задачи синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической документации к программным продуктам. ...

Описана методика машинной обработки документов из нормативной базы (НБ) в процессе формирования нормативного профиля для сертификации программного обеспечения систем критического применения. Рассмотрен подход к моделированию ...

Рассматриваются способы применения технологии Windows Workflow Foundation при разработке программного обеспечения для создания виртуальных лабораторных комплексов.

Показано, что для повышения эффективности функционирования, снижения стоимости разработки и эксплуатации таких сложных систем, как системы телеметрии, обработка информации в которых происходит в режиме реального времени, ...

В статье рассматривается разработка элементов технологии интеллектуальной поддержки принятия решений при реализации задачи экспертирования программного обеспечения – формировании нормативного профиля. Выделены этапы процесса ...

Показано, что проектирование и реализация пользовательских интерфейсов таких сложных систем, как SCADA-системы (Supervisory Control and Data Acquisition – диспетчерское управление и сбор данных), играют ключевую роль в ...

Показано, что контроль точности, достоверности и актуальности вычислений в программном обеспечении систем реального времени является актуальной задачей. Предложено в качестве теоретического решения данной задачи использовать ...

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

Показано, что для повышения наглядности программного обеспечения, реализующего управляющий алгоритм, снижения трудоемкости процессов тестирования и отладки управляющих алгоритмов реального времени, а также возможности их ...

Для количественной оценки надежности и функциональной безопасности критических систем одной из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности ...