Search
Now showing items 11-20 of 25
Метод оценки качества человеко-машинных интерфейсов в системах автоматизированной обработки телеметрической информации
(ХАІ, 2010)
Показано, что для повышения эффективности функционирования, снижения стоимости разработки и эксплуатации таких сложных систем, как системы телеметрии, обработка информации в которых происходит в режиме реального времени, ...
Знание-ориентированные методы формирования нормативных профилей к системам критического применения на основе онтологий
(ХАІ, 2010)
В статье рассматривается разработка элементов технологии интеллектуальной поддержки принятия решений при реализации задачи экспертирования программного обеспечения – формировании нормативного профиля. Выделены этапы процесса ...
Анализ эргономических критериев и показателей качества человеко-компьютерных интерфейсов в SCADA-системах
(ХАІ, 2010)
Показано, что проектирование и реализация пользовательских интерфейсов таких сложных систем, как SCADA-системы (Supervisory Control and Data Acquisition – диспетчерское управление и сбор данных), играют ключевую роль в ...
Модель вычислений, управляемых данными, в программном обеспечении систем реального времени
(ХАІ, 2010)
Показано, что контроль точности, достоверности и актуальности вычислений в программном обеспечении систем реального времени является актуальной задачей. Предложено в качестве теоретического решения данной задачи использовать ...
Модель управляющих алгоритмов испытаний бортовых систем космических аппаратов
(ХАІ, 2012)
Показано, что из-за сложности и иерархичности управляющих алгоритмов существует необходимость в разработке модели управляющего алгоритма испытаний бортовых систем космических аппаратов, которая предназначена для ...
Метод визуализации управляющих алгоритмов реального времени
(ХАІ, 2012)
Показано, что для повышения наглядности программного обеспечения, реализующего управляющий алгоритм, снижения трудоемкости процессов тестирования и отладки управляющих алгоритмов реального времени, а также возможности их ...
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью
(ХАІ, 2014)
Для количественной оценки надежности и функциональной безопасности критических систем одной
из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности ...
Фактори надійності програмного забезпечення
(ХАІ, 2013)
Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних
систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як
чорної скрині, та системи ...
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...