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

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

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

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

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

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

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

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

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

Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як чорної скрині, та системи ...