ПРЕСС-ЦЕНТР

Ядро разделения/гипервизор LynxSecure 2.0 - новые возможности для разработчиков высоконадежных встраиваемых систем

09.02.2009

LynuxWorksЗАО «РТСофт» и компания LynuxWorks, Inc., ведущий мировой поставщик встраиваемого ПО, объявляют о выпуске продукта следующего поколения - LynxSecure 2.0. Данное программное обеспечение совмещает в себе функции ядра разделения (separation kernel) и встраиваемого гипервизора и адресовано разработчикам высоконадежных (high-assurance) систем.

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

ПО LynxSecure было разработано с целью минимизации затрат (как первоначальных, так и связанных с обновлением технологий) на оценку, сертификацию и аккредитацию высоконадежных решений. Экономия достигается благодаря использованию автоматизированных инструментов и интерактивных методов при работе с формальными методами и артефактами. По сравнению с традиционными «прямолинейными» подходами автоматизация формальных методов обеспечивает пользователю значительные преимущества и позволяет сократить сроки и стоимость разработки, а также уменьшить возможные риски. Автоматизация формальных методов, поддерживаемая ядром разделения LynxSecure, позволяет без проблем интегрировать в систему новые технологии, что значительно ускоряет сертификацию и повторные сертификации на соответствие уровню EAL-7 согласно «Общим критериям оценки секретности информационных технологий» (Common Criteria).

«Продукт LynxSecure завоевал широкое признание на рынке, - заявил Стив Блэкман (Steve Blackman), директор компании LynuxWorks по развитию бизнеса. - Он уже стал частью ключевых программ армии и ВМС США: используя LynxSecure, разработчики создают приложения, которые затем будут интегрированы в конечные решения. Эти оборонные программы предусматривают оценку, сертификацию и аккредитацию в соответствии с отраслевыми требованиями».

Виртуализируя базовое оборудование, гипервизор LynxSecure 2.0 создает условия для мирного сосуществования множественных гетерогенных операционных систем, что делает LynxSecure идеальной программной платформой для передовых аппаратных архитектур сегодняшнего и завтрашнего дня. Продукт LynxSecure оптимизирован с целью максимального раскрытия потенциала технологии виртуализации Intel VT (Virtualization Technology).

«В других подобных решениях для запуска гостевых операционных систем организуются специальные уровни эмуляции, что влечет за собой уменьшение производительности и неприемлемо для наших клиентов, - продолжил Арун Суббарао (Arun Subbarao), вице-президент компании LynuxWorks по вопросам разработки. - Ядро разделения LynxSecure - это гипервизор первого типа (Type 1), который работает непосредственно на системных аппаратных средствах и предоставляет гостевой ОС сервисы виртуализации. Такая архитектура практически не влияет на производительность гостевой операционной системы и обеспечивает очень высокую степень безопасности, поскольку LynxSecure имеет полный контроль над оборудованием».

Ранее для каждой ОС и ее приложений требовался отдельный процессор и даже отдельная система. Ядро разделения LynxSecure позволяет совмещать гетерогенные ОС в рамках одной системы и выполнять на одном процессоре большое число разнотипных приложений, что снижает стоимость оборудования и создает комфортные условия для многократного использования унаследованного программного обеспечения. Кроме того, LynxSecure поддерживает собственную компактную среду исполнения, с помощью которой можно создавать защищенные приложения, не вторгаясь в операционную систему и не нарушая ее сертификацию.

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

«В том, что касается безопасности и функций виртуализации, гипервизор LynxSecure 2.0 отвечает всем основным требованиям наших клиентов, - добавил Гуржо Сингх, главный исполнительный директор LynuxWorks. - Это существенное технологическое достижение в области создания мультидоменных защищенных систем. Системы подобного типа используются в оборонной отрасли, а также в медицине, финансовых приложениях, промышленных задачах и других областях, где требуется повышенный уровень безопасности». Ядро LynxSecure способно работать на всех 32- и 64-разрядных процессорах, имеющих блоки управления памятью (Memory Management Unit - MMU), и обеспечивает 100-процентную бинарную совместимость по приложениям между автономными и виртуализированными версиями операционных систем. Подобно другим продуктам компании LynuxWorks, ядро LynxSecure опирается на открытые стандарты и при этом удовлетворяет самым высоким требованиям к поддержке реального времени и к безопасности, включая MILS и DO-178B (уровень А).

Основные характеристики ядра разделения/гипервизора LynxSecure 2.0:

  • поддержка многопроцессорных конфигураций, позволяющая разработчикам в полной мере использовать преимущества современных многоядерных ЦП;
  • возможность реализации политик безопасности, включая контроль над взаимодействием между гостевыми операционными системами;
  • поддержка запуска на одном процессоре нескольких гостевых ОС, сильно различающихся между собой по степени надежности и защищенности;
  • поддержка открытых стандартов POSIX, Linux ABI и ARINC;
  • возможность назначения отдельных устройств отдельным гостевым операционным системам;
  • наличие средств конфигурирования платформы и определения политик безопасности;
  • возможность организации виртуальных сетей между гостевыми операционными системами.

Стратегическим партнером LynuxWorks в России и странах СНГ является ЗАО «РТСофт». Дополнительную информацию о продуктах LynuxWorks можно получить в офисах компании «РТСофт» и на сайте LynuxWorks: www.lynuxworks.com.