CC BY
27УДК 629.01
ГРНТИ 50.01.81
КИБЕРФИЗИЧЕСКИЙ ПОДХОД К ПОСТРОЕНИЮ ВИРТУАЛЬНОГО ИМИТАЦИОННО-МОДЕЛИРУЮЩЕГО ИСПЫТАТЕЛЬНОГО КОМПЛЕКСА
И.В. ЩЕРБАКОВ
Государственный летно-испытательный центр имени В.П. Чкалова (г. Щелково)
В статье рассмотрен киберфизический подход к построению виртуального имитационно-моделирующего испытательного комплекса, заключающийся в применении технологий виртуализации, искусственного интеллекта и облачных вычислений. Описана архитектура виртуального имитационно-моделирующего испытательного комплекса для квалиметрии специального программного обеспечения автоматизированных систем организации управления воздушным движением. Предложен критерий для оценки эффективности проектируемого комплекса.
Ключевые слова: испытания, имитационное моделирование, квалиметрия, облачные вычисления, специальное программное обеспечение, технологии виртуализации.
Введение. В настоящее время одной из ключевых задач отечественной авиационной промышленности является разработка автоматизированных систем организации управления воздушным движением (АС ОУВД), способных выполнять свои функции с высоким уровнем устойчивости к отказам и сбоям. Стремление расширить функциональные возможности таких систем вызвано высокой интенсивностью использования воздушного пространства и напрямую связано с увеличением объема и сложности применяемого для этого специального программного обеспечения (СПО). Эффективность применения АС ОУВД напрямую зависит от качества используемого СПО [1].
Согласно [2] для аппаратно-программных комплексов с большим удельным весом программной части особое внимание уделяется выбору методов, позволяющих сократить время на разработку изделий и повысить качество проведения квалиметрии СПО.
Актуальность. Основными причинами, по которым предприятия авиационной промышленности все чаще сталкиваются с проблемами ограниченности и недостаточности ресурсов, требуемых для проведения испытаний АС ОУВД, являются повышенные требования к СПО в области организации высоконадежных вычислений, связанные с увеличением объема обрабатываемой информации, поступающей от разных источников, таких как:
- управляемые воздушные объекты (ВО);
- радиолокационные станции (РЛС);
- радиомаяки;
- наземные компоненты навигационных систем (НК НС).
Повышение эффективности испытаний перспективных систем управления авиацией напрямую связано с разработкой унифицированного средства технологического контроля экспериментальных исследований АС ОУВД, в части совершенствования процессов квалиметрии СПО.
Общая идея создания виртуального имитационно-моделирующего испытательного комплекса (ВИМИК) основана на том, что для испытаний СПО, реализованного непосредственно на управляющей электронной вычислительной машине (ЭВМ) из состава АС ОУВД, необходимо моделировать управляемый процесс и обеспечивать поступление в ЭВМ информации об этом процессе, в том числе и от моделей внешней среды (имитаторов) [3]. Эффективно применяемые в настоящее время при испытаниях автоматизированных систем
управления различными технологическими процессами моделирующие комплексы были разработаны в конце 80-х годов прошлого столетия. Современные средства вычислительной техники в совокупности с новыми методами и алгоритмами обработки (хранения) информации позволяют создать автоматизированные испытательные комплексы нового поколения, дающие возможность:
- повышения эффективности новых систем управления воздушным движением, благодаря увеличенному объему статистических данных о работе программного обеспечения, полученных в результате автоматизированного процесса квалиметрии СПО;
- уменьшения количества необходимых натурных испытаний, за счет применения различных имитаторов, что приведет к значительному сокращению материальных ресурсов, требуемых для проведения испытаний;
- повышения оперативности в получении, обработке и использовании информации о результатах квалиметрии программного обеспечения АС ОУВД участниками испытаний.
В статье рассматривается киберфизический подход к созданию ВИМИК по автоматизации процессов квалиметрии СПО на основе применения средств имитационного моделирования в совокупности с технологиями виртуализации, искусственного интеллекта, облачных вычислений.
Архитектура виртуального имитационно-моделирующего испытательного комплекса. Разработанная архитектура ВИМИК автоматизированного проведения испытаний СПО представлена на рисунке 1.
ССИ - старший специалист-испытатель, СИ(о) - специалист-испытатель (оператор), СИ ОиА - специалист-испытатель по обработке и анализу результатов испытаний, СУБД - система управления базами данных
Рисунок 1 - Архитектура ВИМИК
В составе ВИМИК предполагается использование программных комплексов информационной поддержки процессов жизненного цикла изделий [4], которые выступают в роли источника исходных данных для создания имитационных моделей объектов, взаимодействующих с АС ОУВД. Цифровое описание объекта, необходимое для создания его имитационной модели, выполняется с помощью базовых систем, обеспечивающих реализацию стратегии PLM (Product Life-cycle Management) на стадиях его проектирования и подготовки к производству [5-7]. Базовыми выступают: системы компьютерного проектирования и изготовления - Computer Aided Design / Computer Aided Manufacturing, управления данными о продукте - Product Data Management и компьютерного инженерного анализа - Computer Aided Engineering. В формируемой участниками испытаний библиотеке моделей присутствуют цифровые описания объектов, применяемые с целью имитации требуемой воздушной обстановки и ряда служб для управления воздушным движением. Библиотека создается на принципах открытой архитектуры, что позволяет с течением времени детализировать и усложнять разработанные модели. В рамках выполнения проверок, связанных с функционированием АС ОУВД в условиях, наиболее близких к натурным, а также для анализа многочисленных вариантов решения информационных и расчетных задач, которые при натурном эксперименте реализовать сложно, в составе ВИМИК используются: модель РЛС, модель радиомаяка, модель НК НС, модель управляемого ВО [1, 3]. Загружая сведения из библиотеки моделей объектов, имитаторы позволяют реализовать необходимую конфигурацию для различных проверок и режимов работы АС ОУВД.
Управление технологическими процессами квалиметрии СПО в ВИМИК осуществляется посредством взаимодействия комплекса подготовки и проведения испытаний (КППИ) с тестируемым программным обеспечением, установленным на ЭВМ из состава испытываемой автоматизированной системы. КППИ представляет собой платформу, на которой размещены объединенные в локальную вычислительную сеть автоматизированные рабочие места (АРМ) специалистов-испытателей. КППИ позволяет:
- задавать эталонные значения количественных и качественных характеристик оцениваемых показателей СПО;
- генерировать на основе искусственной нейронной сети тестовые примеры для проверок решения СПО прикладных задач [8-11];
- формировать и выдавать внешние команды управления (Ug);
- осуществлять прием и обработку данных о состоянии тестируемого СПО (&а);
- вести контроль выполнения плана испытаний;
- выполнять анализ полученных результатов решения информационных и расчетных задач и оценивать их приемлемость.
В архитектуре ВИМИК связующим элементом является интерфейс информационного взаимодействия, обеспечивающий на аппаратно-программном уровне обмен данными между АРМ КППИ, библиотекой моделей объектов, имитаторами и ЭВМ. Структура кодограмм приема и передачи данных определяется протоколом информационно-логического сопряжения.
Обеспечение требуемой производительности ВИМИК может быть достигнуто благодаря облачным технологиям обработки и хранения данных. Применение облачных технологий в задачах квалиметрии СПО позволит интегрировать базы данных эталонных значений оцениваемых показателей, тестовых сценариев проведения проверок, результатов испытаний, в единое информационное поле. Это позволит обеспечить передачу больших массивов информации, как между машинами, так и между централизованными системами контроля, осуществить децентрализацию систем аналитики и принятия решений, а также реализовать возможность разработчикам оперативно устранять выявленные недостатки в СПО [12, 13].
Организация единого информационного поля на этапах подготовки и проведения испытаний АС ОУВД требует постоянного автоматического контроля над целостностью информации, циркулирующей между элементами ВИМИК. Для решения такого рода задач, а
также с целью ввода данных в базы данных информационного обеспечения испытаний и последующей эффективной обработки результатов испытаний за счет автоматизации процесса поддержания структуры количественных и качественных показателей, характеризующих решение информационных и расчетных задач, предлагается использовать разработанное устройство ввода данных [14]. Устройство обеспечивает:
- снижение затрачиваемого времени при вводе данных;
- выявление фактов нарушения целостности вводимых данных;
- исключение дублирования данных;
- корректное объединение данных от нескольких источников в единый логически связанный информационный массив.
Результаты внедрения разработанного устройства в автоматизированные аналитические системы поддержки принятия решений, используемые для сбора, обработки и анализа результатов квалиметрии СПО, полученные на испытаниях автоматизированных систем управления различными технологическими процессами, представлены на рисунке 2.
Рисунок 2 - Сравнительная диаграмма
Применение разработанного устройства позволило:
- многократно сократить временные затраты, необходимые для ввода данных в базы данных информационного обеспечения испытаний;
- уменьшить на 13-15 % количество ошибок, допускаемых специалистами-испытателями при вводе данных в базы данных информационного обеспечения испытаний;
- увеличить до 99,9 % эффективное выполнение функций по обеспечению контроля целостности вводимых данных, корректному совмещению данных от нескольких источников информации, а также исключению дублирования данных.
В интересах расширения функциональных возможностей проектируемого ВИМИК, а также его унификации, ставится вопрос о необходимости интеграции в состав изделия стендов и имитаторов, успешно применяемых при испытаниях автоматизированных систем управления различного назначения.
Концепция интеграции существующих средств моделирования в состав ВИМИК. Тенденция интеграции и объединения существующих средств имитационного моделирования (стендов) в единый ВИМИК должна рассматриваться как перспективная и актуальная для предприятий авиационной промышленности. Концептуальной основой дальнейшего
эффективного применения средств имитационного моделирования является создание на базе ВИМИК информационно-моделирующей среды, использующей набор универсальных интерфейсов и модульный принцип их построения. ВИМИК будет включать как ранее созданные стенды и различные имитаторы, так и вновь создаваемые.
Для решения этих вопросов разработана функциональная модель процесса интеграции существующих средств моделирования (стендов, имитаторов) в единый ВИМИК (рисунок 3).
КД - конструкторская документация, ЭД - эксплуатационная документация Рисунок 3 - Функциональная модель процесса интеграции средств моделирования в состав ВИМИК
На рисунке 3 представлена взаимосвязь задач при интеграции существующих средств моделирования в состав ВИМИК. Вынесенные в функциональные блоки комплексы задач являются отдельными этапами разработки.
Исходными данными для начала интеграции служит план работ с указанием конкретных причин необходимости включения в состав ВИМИК применяемых стендов (имитаторов). Основной задачей на первом этапе является изучение конструкторской документации на изделия и выдача обоснованного решения о целесообразности выполнения запланированных работ. В случае положительного решения предприятие-изготовитель ВИМИК на основании утвержденного задания на доработку предоставляет необходимые вычислительные ресурсы и выделяет дополнительные каналы связи для подключения интегрируемых в состав ВИМИК средств. Подзадачами второго и третьего этапов являются:
- определение технических характеристик дополнительных вычислительных средств;
- формирование требований к таким параметрам, как максимальная пропускная способность средств приема и передачи информации, мощность и другие характеристики вычислительных ресурсов для обработки информации;
- определение допустимой нагрузки на каналы связи, а также возможности кабельной сети с учетом внешних подключений по проводным и беспроводным каналам.
На завершающих этапах, совместно с разработчиками интегрируемых в состав ВИМИК изделий, по результатам анализа эксплуатационной документации разрабатываются протоколы
информационного обмена данными, и организуется подключение стендов (имитаторов) к общим серверам.
Детальная проработка каждой представленной задачи с полученными выходными результатами позволяет сформировать общую концепцию интеграции существующих средств моделирования в состав ВИМИК, позволяющего эффективно решать задачи по подготовке и проведению испытаний СПО.
Успешная реализация разработанной концепции предполагает использование инновационных технологий, позволяющих организовать перенос серверов хранения данных существующих средств моделирования в виртуальное пространство. Внедрение технологии виртуализации (динамического выделения ресурсов, так называемых облачных вычислений, формирования каналов связи достаточной пропускной способности) [15] предоставляет возможность для интеграции эксплуатируемых средств имитационного моделирования в единый ВИМИК нового поколения. В концепцию интеграции и объединения существующих средств моделирования (стендов) заложена возможность совершенствования ВИМИК без изменения базовых принципов его создания.
Применение технологии виртуализации позволит обеспечить следующие направления развития ВИМИК:
- построение территориально-распределенной архитектуры;
- одновременное использование на одном сервере несколько операционных систем;
- взаимодействие с различными автоматизированными системами управления, в том числе и военного назначения;
- расширение области применения (обучение, показы);
- добавление дополнительных вычислительных ресурсов.
Разработанный киберфизический подход к построению ВИМИК, состоящий в применении средств имитационного моделирования в совокупности с технологиями виртуализации, искусственного интеллекта, облачных вычислений, обеспечит создание технологической базы для автоматизации процессов квалиметрии СПО АС ОУВД.
Критерий оценки эффективности ВИМИК. Процесс квалиметрии СПО с использованием ВИМИК предполагает применение инструментов, позволяющих подготавливать исходные данные и тестовые среды для автоматизированного выполнения проверок согласно программе испытаний АС ОУВД. Следовательно, эффективность ВИМИК может оцениваться объемом оцениваемых показателей качества СПО с заданным уровнем точности и достоверности при имеющихся ограничениях на продолжительность (Ти) испытаний АС ОУВД [16]. В качестве обобщенного показателя эффективности ВИМИК Эвимик целесообразно использовать критерий максимального количества N оцениваемых показателей качества СПО АС ОУВД при решении информационных и расчетных задач в единицу времени
Э
ВИМИК
N (К (лк), Ти (кs)) Т (К )
(1)
где К={Мэ, £мм, 8им} - ВИМИК, аргументы которого определяют его облик с учетом выбора различного сочетания соответственно по числу экспериментов, альтернативных вариантов стендовой базы при испытаниях, а именно математических моделей и стендов имитационного моделирования, реализующих определение характеристик СПО; Лк - АС ОУВД.
Предлагаемый подход позволяет учесть не только реализуемый объем по количеству оцениваемых показателей качества с применением ВИМИК, но и динамическую составляющую процесса оценивания, то есть временные затраты на оценку полученных характеристик СПО в ходе испытаний АС ОУВД.
Выводы. В статье рассмотрен киберфизический подход к построению ВИМИК, решающего комплекс задач в интересах автоматизированной подготовки и проведения
испытаний АС ОУВД. Главный вывод по результатам проведенного исследования заключается в том, что применение средств имитационного моделирования в совокупности с технологиями искусственного интеллекта, облачных вычислений служат основой для создания унифицированного комплекса управления процессами квалиметрии СПО. Тестирование СПО с помощью ВИМИК позволит увеличить количество оцениваемых характеристик в единицу времени, тем самым повысить эффективность испытаний перспективных систем управления авиацией.
Использование в составе ВИМИК устройства ввода данных обеспечит с необходимым уровнем информационной безопасности автоматизированный ввод данных в базы данных информационного обеспечения испытаний.
Предложенная концепция интеграции эксплуатируемых средств имитационного моделирования при помощи технологии виртуализации позволит организовать дальнейшее развитие архитектуры ВИМИК, расширить область его применения, в том числе использовать его для квалиметрии СПО образцов авиационной техники военного назначения.
СПИСОК ЛИТЕРАТУРЫ
1. Щербаков И.В. Имитационно-моделирующий стенд автоматизированного проведения испытаний специального программного обеспечения // Воздушно-космические силы. Теория и практика. 2022. № 23. С. 76-87. [Электронный ресурс]. Режим доступа: http://www.vva.mil.ru/ Izdaшay/VKS-teoriya-i-praktika (дата обращения 03.04.2023).
2. Стратегии развития отрасли информационных технологий в Российской Федерации на 2014-2020 годы на перспективу до 2025 года. [Электронный ресурс]. Режим доступа: https://docs.cntd.ru/document/499055616 (дата обращения 08.02.2023).
3. Щербаков И.В. Виртуальная имитационно-моделирующая система автоматизированного проведения испытаний специального программного обеспечения // Известия ТулГУ. Технические науки. 2022. № 9. С. 232-238.
4. Яблочников Е.И., Фомина Ю.Н., Саломатина А.А. Компьютерные технологии в жизненном цикле изделия. СПб.: СПб ГУ ИТМО, 2010. 188 с.
5. Голосовский М.С. Алгоритмы автоматизированного выявления связей между элементами проекта разработки программного обеспечения // Кибернетика и программирование. 2017. № 6. С. 38-49.
6. Тобин Д.С., Богомолов А.В., Голосовский М.С. Организация испытаний программного обеспечения для различных моделей его жизненного цикла // Математические методы в технологиях и технике. 2021. № 7. С. 132-135.
7. Голосовский М.С Модель расчета оценок трудоемкости и срока разработки информационных систем на начальном этапе жизненного цикла проекта // Программная инженерия. 2016. Т. 7. № 10. С. 446-455.
8. Данилов А.Д., Мугатина В.М. Применение нейронных сетей для генерации сценариев тестирования программного продукта // Актуальные направления научных исследований XXI века: теория и практика. 2016. Т. 4. № 6 (26). С. 16-21.
9. Данилов А.Д., Мугатина В.М. Верификация и тестирование сложных программных продуктов на основе нейросетевых моделей // Вестник Воронежского государственного технического университета. 2016. Т. 12. № 6. С. 62-67.
10. Данилов А.Д., Федоров А.И. Иерархическая структура процесса тестирования сложного программного обеспечения // Вестник Воронежского государственного технического университета. 2014. Т. 10. № 3. С. 18-21.
11. Данилов А.Д., Мугатина В.М. Использование нейронных сетей в задачах тестирования сложных программных продуктов // Современные тенденции развития науки и технологий. 2016. № 10-3. С. 6-9.
12. Богомолов А.В., Климов Р.С. Автоматизация обработки информации при проведении коллективных сетевых экспертиз // Автоматизация. Современные технологии. 2017. Т. 71. № 11. С. 509-512.
13. Солдатов А.С. Концепция создания перспективной информационно-измерительной системы для летных испытаний авиационной техники с применением технологий Индустрии 4.0 // Воздушно-космические силы. Теория и практика. 2021. № 20. С. 167-177. [Электронный ресурс]. Режим доступа: http://www.vva.mil.ru/Izdaniay/VKS-teoriya-i-praktika (дата обращения 03.04.2023).
14. Пат. 216851 Российская Федерация, МПК: G 06 F 21/64, G 06 F 3/06. Устройство ввода данных в информационный фонд автоматизированной аналитической системы поддержки принятия решений / Щербаков И.В. ; заявитель и патентообладатель Щербаков И.В. № 2022120912; заявл. 01.08.22; опубл. 03.03.23, Бюл. № 7.
15. Анализ современных технологий виртуализации. [Электронный ресурс]. Режим доступа: http://habrahabr.ru/company/centosadmin/blog/212985/ (дата обращения 03.04.2023).
16. Балык О.А., Айвазян С.А., Богомолов А.В., Солдатов А.С. Методологические основы применения средств моделирования в процессе разработки и сертификации беспилотных авиационных систем // Математические методы в технологиях и технике. 2022. № 8. С. 39-43.
REFERENCES
1. Scherbakov I.V. Imitacionno-modeliruyuschij stend avtomatizirovannogo provedeniya ispytanij special'nogo programmnogo obespecheniya // Vozdushno-kosmicheskie sily. Teoriya i praktika. 2022. № 23. pp. 7б-87. ['Elektronnyj resurs]. Rezhim dostupa: http://www.vva.mil.ru/ Izdaniay/VKS-teoriya-i-praktika (data obrascheniya 03.04.2023).
2. Strategii razvitiya otrasli informacionnyh tehnologij v Rossijskoj Federacii na 2014-2020 gody na perspektivu do 2025 goda. ['Elektronnyj resurs]. Rezhim dostupa: https://docs.cntd.ru/document/499055616 (data obrascheniya 08.02.2023).
3. Scherbakov I.V. Virtual'naya imitacionno-modeliruyuschaya sistema avtomatizirovannogo provedeniya ispytanij special'nogo programmnogo obespecheniya // Izvestiya TulGU. Tehnicheskie nauki. 2022. № 9. pp. 232-238.
4. Yablochnikov E.I., Fomina Yu.N., Salomatina A.A. Komp'yuternye tehnologii v zhiznennom cikle izdeliya. SPb.: SPb GU ITMO, 2010. 188 p.
5. Golosovskij M.S. Algoritmy avtomatizirovannogo vyyavleniya svyazej mezhdu 'elementami proekta razrabotki programmnogo obespecheniya // Kibernetika i programmirovanie. 2017. № 6. pp. 38-49.
6. Tobin D.S., Bogomolov A.V., Golosovskij M.S. Organizaciya ispytanij programmnogo obespecheniya dlya razlichnyh modelej ego zhiznennogo cikla // Matematicheskie metody v tehnologiyah i tehnike. 2021. № 7. pp. 132-135.
7. Golosovskij M.C. Model' rascheta ocenok trudoemkosti i sroka razrabotki informacionnyh sistem na nachal'nom 'etape zhiznennogo cikla proekta // Programmnaya inzheneriya. 2016. T. 7. № 10. pp. 446-455.
8. Danilov A.D., Mugatina V.M. Primenenie nejronnyh setej dlya generacii scenariev testirovaniya programmnogo produkta // Aktual'nye napravleniya nauchnyh issledovanij XXI veka: teoriya i praktika. 2016. T. 4. № 6 (26). pp. 16-21.
9. Danilov A.D., Mugatina V.M. Verifikaciya i testirovanie slozhnyh programmnyh produktov na osnove nejrosetevyh modelej // Vestnik Voronezhskogo gosudarstvennogo tehnicheskogo universiteta. 2016. T. 12. № 6. pp. 62-67.
10. Danilov A.D., Fedorov A.I. Ierarhicheskaya struktura processa testirovaniya slozhnogo programmnogo obespecheniya // Vestnik Voronezhskogo gosudarstvennogo tehnicheskogo universiteta. 2014. T. 10. № 3. pp. 18-21.
11.Danilov A.D., Mugatina V.M. Ispol'zovanie nejronnyh setej v zadachah testirovaniya slozhnyh programmnyh produktov // Sovremennye tendencii razvitiya nauki i tehnologij. 2016. № 10-3. pp. 6-9.
12. Bogomolov A.V., Klimov R.S. Avtomatizaciya obrabotki informacii pri provedenii kollektivnyh setevyh 'ekspertiz // Avtomatizaciya. Sovremennye tehnologii. 2017. T. 71. № 11. pp.509-512.
13. Soldatov A.S. Koncepciya sozdaniya perspektivnoj informacionno-izmeritel'noj sistemy dlya letnyh ispytanij aviacionnoj tehniki s primeneniem tehnologij Industrii 4.0 // Vozdushno-kosmicheskie sily. Teoriya i praktika. 2021. № 20. pp. 167-177. fElektronnyj resurs]. Rezhim dostupa: http://www.vva.mil.ru/Izdaniay/VKS-teoriya-i-praktika (data obrascheniya 03.04.2023).
14. Pat. 216851 Rossijskaya Federaciya, MPK: G 06 F 21/64, G 06 F 3/06. Ustrojstvo vvoda dannyh v informacionnyj fond avtomatizirovannoj analiticheskoj sistemy podderzhki prinyatiya reshenij / Scherbakov I.V.; zayavitel' i patentoobladatel' Scherbakov I.V. № 2022120912; zayavl. 01.08.22; opubl. 03.03.23, Byul. № 7.
15. Analiz sovremennyh tehnologij virtualizacii. fElektronnyj resurs]. Rezhim dostupa: http://habrahabr.ru/company/centosadmin/blog/212985/ (data obrascheniya 03.04.2023).
16. Balyk O.A., Ajvazyan S.A., Bogomolov A.V., Soldatov A.S. Metodologicheskie osnovy primeneniya sredstv modelirovaniya v processe razrabotki i sertifikacii bespilotnyh aviacionnyh sistem // Matematicheskie metody v tehnologiyah i tehnike. 2022. № 8. pp. 39-43.
© Щербаков И.В., 2023
Щербаков Иван Владимирович, старший инженер-испытатель, Государственный летно-испытательный центр имени В.П. Чкалова (г. Щелково), Россия, 141103, Московская область, г. Щелково, Аэродром Чкаловский, стр. 6, [email protected].
UDK 629.01
GRNTI 50.01.81
cyber-physical approach to the virtual simulation and modeling test complex construction
I.V. SHCHERBAKOV
V.P. Chkalov State Flight Test Center (Shchelkovo)
The article deals with the cyber-physical approach to the construction of a virtual simulation and modeling test complex, which implies the use of virtualization technologies, artificial intelligence and cloud computing. The architecture of a virtual simulation-modeling test complex for qualimetry of special software of the automated air traffic control systems is described. The criterion of the effectiveness assessment of the designed complex is proposed.
Keywords: tests, simulation modeling, qualimetry, cloud computing, special software, virtualization technologies.
