Search
Now showing items 41-50 of 298
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.
Instability analysis of delays contributing to web service response time
(ХАІ, 2010)
This paper reports our practical experience of benchmarking a complex System Biology Web Service, and investigates the instability of its behaviour and the delays induced by the communication medium.
Оптимизация программного кода с использованием методов математического программирования
(ХАІ, 2010)
Сформулированы и решены математические задачи нахождения оптимальных характеристик программного обеспечения, которые применимы при выполнении инженерной задачи оптимизации работы программ.
Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-B
(ХАІ, 2010)
Предложен метод, который позволяет объединить метод анализа деревьев отказов (FTA) и формальную спецификацию в Event-B. Использование методики формальной разработки гарантирует корректность внедрения требований по ...
Модели корпоративных сервисов на основе иерархических сетей Петри
(ХАІ, 2010)
Представлена структура корпоративных сервисов. Рассмотрены существующие решения задачи анализа эффективности корпоративных информационных систем.
Метод планирования задач и распределения ресурсов в ГРИД на основе процедур прогнозирования
(ХАІ, 2010)
Проанализирована проблематика планирования задач и распределения ресурсов в ГРИД окружении. Разработан метод планирования потока задач и ресурсов на основе анализа и прогноза параметров функционирования ГРИД окружения.
Особенности информационного обеспечения автоматизированной системы сопровождения проведения квалификационных испытаний бортовой аппаратуры ракетно-космической техники
(ХАІ, 2010)
В статье представлен обзор процесса разработки автоматизированной системы сопровождения проведения квалификационных испытаний бортовой аппаратуры ракетно-космической техники, предназначенной для применения в составе ...
Multi version service oriented architechtures dependability analisys
(ХАІ, 2010)
This article is targeted on investigating the web-services dependability problem and, in particular, the reasonableness of multi version architecture usage to solve it and guarantee the customer he is safe while using the ...
Модели автоматизированных систем периметровой охраны объектов с «пассивным» нарушителем
(ХАІ, 2010)
Проведен анализ структурных и функциональных моделей автоматизированных систем периметровой охраны объектов с учетом размещения датчиков контроля, коммуникационных средств и обработки информации.
Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления
(ХАІ, 2010)
Устойчивость к отказам программно-аппаратных средств является важной составляющей функциональной безопасности информационно-управляющих систем (ИУС), а также других критических характеристик систем, важных для безопасности ...