Инновационные решения LynuxWorks для ответственных систем

Компания LynuxWork предлагает своим заказчикам полноценное семейство встраиваемых операционных систем на основе открытых стандартов. В настоящее время основные усилия LynuxWorks направлены на развитие средств для ответственных применений в гражданской и военной авиации, системах специального назначения и телекоммуникациях.

LynuxWorks готовится к сертификации ОСРВ LynxOS-178 2.0 на соответствие спецификации RSC (Reusable Software Component). Концепция RSC предполагает значительное сокращение временных и финансовых затрат, необходимых на обеспечение соответствия авиационному стандарту DO-178, благодаря многократно используемым программным компонентам (части операционной системы, библиотеки и пр.). Такие компоненты позволяют разработчикам сосредоточиться на выполнении требований DO-178 применительно к своему прикладному программному обеспечению и к пакетам поддержки для конкретных аппаратных средств, а также получать соответствующие официальные документы в более сжатые сроки и с меньшими затратами.

LynuxWorks Inc. разработала ядро LynxSecure, обеспечивающее наивысший уровень защиты секретности ПО, которое впервые было продемонстрировано на Embedded Systems Conference в Бостоне (США) в сентябре этого года. Решение LynxSecure использует концепцию изолированных разделов, реализованную в ОС реального времени LynxOS-178, и может служить надежным фундаментом при построении систем с архитектурой MILS (Multiple Independent Levels of Security). В будущем операционную среду LynxSecure предполагается сертифицировать на соответствие уровню EAL-7 (Evaluated Assurance Level 7) в рамках «Общих критериев для оценки секретности информационных технологий» (Common Criteria).

Многие оборонные системы, работающие как с незасекреченными данными, так и с данными различной степени секретности, должны обеспечивать безопасность информации на разных уровнях (Multi Level Security – MLS) и гарантировать ее надежную защиту. Аналогичные требования к безопасности все чаще возникают и в различных коммерческих приложениях. В этом состоит мотивация создания LynxSecure.

Первая и единственная на сегодняшний день реализация виртуальной машины User-Mode Linux (UML) для архитектуры PowerPC на базе ядра Linux 2.6 от компании LynuxWorks позволяет создавать на хост-платформах BlueCat Linux устойчивые Linux-среды, поддерживающие функции Linux 2.6 и архитектуру PowerPC. Благодаря User-Mode Linux на одной хост-системе можно запускать множество виртуальных Linux-машин, работающих в пользовательском режиме и обеспечивающих полный доступ к ядру Linux 2.6 для отладки.

Специалисты LynuxWorks изменили UML таким образом, чтобы обеспечить поддержку ядра PowerPC G5. User-Mode Linux на основе ядра Linux 2.6 впервые применяется для процессоров с системой команд, отличающейся от x86, и теперь разработчики смогут приобщиться к современным функциям Linux (поддержка режима реального времени, простота переноса и пр.).

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *