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