ПО ДЛЯ АВИАЦИИ

LynxOS-178
Сертифицированная операционная система реального времени для ответственных применений

LynxOS - Операционная система реального времени (ОСРВ) в стандарте POSIX
LynxOS-178 - Сертифицированная операционная система реального времени для ответственных применений.

LynxSecure - Операционная система на базе MILS-архитектуры для оборонной и авиационной отрасли.

ОПИСАНИЕ:

Ключевые свойства

Низкий уровень риска - сертифицирована по уровню A стандарта DO-178B, является операционной системой реального времени и имеет заранее известную стоимость.
Снижение затрат- при использовании данной ОС расходы на сертификацию значительно сокращаются, а экономия времени может составить значительное число человеко-лет .
Высокая конкурентноспособность - LynxOS-178 является наиболее мощным и функциональным продуктом из всех операционных систем, признанных соответствующими стандарту DO-178B, что ускоряет выход конечных изделий на рынок.

LynxOS-178 является первой ОС РВ, имеющей сертификат DO-178B и одновременно являющейся согласованной (conformance - наибольший уровень сертификации по стандарту POSIX) со стандартом POSIX

Военная и аэрокосмическая отрасли выдвигают серьезные технические требования к ответственным, критичным к безопасности применениям. В США они отражены в стандарте DO-178B, который ориентирован на ПО для авиационных систем. До тех пор, пока система не будет удовлетворять очень серьезным требованиям этого стандарта, эта система никогда не оторвется от земли.

Сертификация программного обеспечения по стандарту DO-178B (и эквивалентного ему европейского стандарта EUROCAE/ED-12B) традиционно требует значительных усилий, выражаемых в десятках человеко-лет, обуславливающих высокую стоимость и задержки с выводом на рынок. Операционная система реального времени LynxOS-178 фирмы LynuxWorks позволяет компаниям уменьшить эти риски путем обеспечения уже сертифицированного пакета по известной цене.

Исторически, желание использовать коммерческие (commercial-off-the-shelf - COTS) операционные системы могло привести к неопределенной стоимости при сертификации, что влекло за собой потерю преимуществ от использования COTS компонент. Многие производители авиационного оборудования сосредоточились на развитии их собственного ПО, подобного операционным системам, где они были в состоянии контролировать затраты и набор возможностей с помощью ограниченного набора средств проектирования. Для LynxOS-178 известно, что эта коммерческая ОС сертифицирована по уровню A стандарта DO-178B и обеспечивает эффективное по стоимости решение для этих производителей.

LynxOS-178 - это первая сертифицированная по DO-178B и EUROCAE/ED-12B, POSIX-согласованная ОС РВ. Коммерческая версия включает наиболее обширный набор средств из доступных ядер ОС РВ, сертифицированных по уровню A DO-178B. Она спроектирована таким образом, чтобы быть максимальным образом интегрированной с сертифицированным стеком LynxOS (LynxOS Certifiable Stack - LCS), который является единственным среди других ОС РВ сертифицированным по стандарту DO-178B стеком TCP/IP. В отличие от использования частнофирменных или "мало известных" программных интерфейсов, LynxOS-178 использует популярные программные интерфейсы, основанные на стандарте POSIX. Таким образом, интеграция LynxOS-178 c основанным на стандартном интерфейсе стеком TCP/IP позволяет пользователям иметь беспрецендентные преимущества, которые обеспечивают программисту эффективность и возможность без труда получить готовое программное обеспечение.

Семейство продуктов LynxOS-178 включает: набор стандартных средств разработки (GNU-средств), полную поддержку заказчика, включая консультационное обслуживание по стандарту DO-178B и пакет артифактов для операционной системы вместе с требуемой документацией для сертификации по DO-178B.

Минимизация рисков на пути к сертификации по DO-178B

Как известно, сертифицированная ОС может сэкономить тысячи человеко-часов и десятки миллионов долларов при сертификации проекта.

Сертификация по DO-178B - это очень дорогое мероприятие для поставщиков, связанных с авиационными проектами, и очень важна для компаний, вовлеченных в другие программы, связанные с обеспечением безопасности, такими как ядерные, медицинские и коммуникационные проекты. Применимый ко всему ПО такого рода (связанному с обеспечением безопасности), стандарт DO-178B устанавливает руководство для процессов и целей, которые должны использоваться для развития программного обеспечения, критичного к безопасности. Процессы и цели DO-178 должны быть проверяемы и прослеживаемы с помощью документированных артифактов разработки ПО и процесса сопровождения. Эта идентифицируемость требует много времени и значительных усилий. Этот процесс является настолько кропотливым, что поставщики по опыту знают, что они могут верифицировать не более 125 строк кода за один человеко-месяц.

В дополнение к спецификации процесса разработки ПО, стандарт DO-178B охватывает некоторые критичные к безопасности архитектурные соглашения. Они включают разделение (partitioning) так, что независимые компоненты изолируются, чтобы ограничить сбои, которые предположительно могли бы привести к отказу всей критичной к безопасности системы. Разделение верифицируется с помощью тщательного анализа и тестирования программного обеспечения и мониторинга безопасности используемых функций. Для того, чтобы достичь более быстрого выхода на рынок и более низкой общей стоимости сертификации, компаниям нужно реализовать коммерческие продукты, которые должны быть сертифицированы в соответствии с DO-178B.

Это означает, что программный пакет должен:

Соответствовать архитектурным соглашениям, таким как разделение (partitioning) для ограничений влияния сбоев.
Обеспечить необходимые и достаточные данные для дальнейшей сертификации.

Твердая основа - LynxOS

Полностью детерминированная ОС РВ с 1988 года, LynxOS соответствует ключевым архитектурным соглашениям спецификации DO-178B. Ядром LynxOS-178 является LynxOS, спроектированная как UNIX-подобная ОС жесткого реального времени. LynxOS протестирован в десятках миллионов экземпляров продуктов, начиная с первого релиза 1988 года. Разработчики ответственных систем могут подтвердить, что LynxOS имеет значительно меньшую долю дефектов, чем его более "незрелые" конкуренты, что является наиболее важным при разработке ответственных систем. LynxOS и LynxOS-178 вместе являются фундаментом для различных сертифицированных по DO-178B продуктов, включая множество военных и аэрокосмических систем, сертифицированных по уровню A (наиболее высокому уровню требований безопасности).

Разделение (partitioning) - для ограничения влияния сбоев

Ключевой атрибут LynxOS-178 - это поддержка нескольких полностью разделенных по времени и памяти разделов. Каждый раздел полностью изолирован, так что невозможно распространение сбоев между разделами. Это разделение относится к процессорному времени, адресному пространству и ресурсам в каждом разделе как к пути для изоляции сбоев и гарантировании доступности всех ресурсов.

С помощью LynxOS-178 фиксированные разделы обслуживаются как Виртуальные Машины. Каждый прикладной процесс оперирует внутри его собственной среды операционной системы, как если бы он работал на своем собственном процессоре. Это применимо ко всем ресурсам процессора и именованным пространствам. Эта абстракция защищает разработчика прикладной системы от дополнительных усилий при программирования сложной системы. Управление разделами контролируется с помощью Таблицы Конфигурации Виртуальных Машин (Virtual-Machine Configuration Table - VCT) и является обязательным в среде LynxOS-178, позволяя разработчику приложений сконцентрироваться на разработке приложений, а не на разделении системы.

Кроме того, LynxOS-178 поддерживает разделение систем, совместимых с RTCA DO-255, которое разрешает системе выполнять ПО с различными уровнями безопасности по DO-178B в различных разделах (виртуальных машинах). Это означает, что ОС может выполнять приложение с уровнем A (по DO-178B) на одной виртуальной машине и приложение с уровнем C на другой, причем оба работают на одном и том же процессоре в рамках одной и той же системы.

Разделение по времени-ARINC 653-подобный планировщик

Ядро LynxOS было расширено в версии для DO-178B, чтобы обеспечить возможности, которые являются ключевыми для соглашений по архитектуре DO-178B. Одно из таких расширений - это добавление ARINC 653-подобного планировщика, управляемого 1 миллисекундным таймером. Этот конфигурируемый, с фиксированным циклическим разделением времени планировщик обеспечивает разделение по времени, требуемым для того, чтобы обеспечить гарантированную доступность процессорного времени, когда выполняются ответственные приложения.

Разделение по памяти

Жесткое разделение по памяти обеспечивается с помощью MMU процессора. Этот механизм обеспечивает ограничение распространения сбоя с помощью жесткого разделения адресов и выделения доли из всей доступной памяти для каждой виртуальной машины. Полная поддержка LynxOS-178 возможностей MMU обеспечивает надежные преимущества защищенной памяти и преимущества производительности защиты отображения в физические адреса для фиксированного разделения между виртуальными машинами. Кроме того, MMU используется для изолирования процессов внутри раздела. Это позволяет каждой задаче выполняться в его собственном защищенном адресном пространстве и обеспечивать высокую надежность внутри фиксированного раздела. Эта дополнительная защита обеспечивает более легкую сертификацию приложения пользователя. Этот второй дополнительный уровень модульности отсутствует в большинстве конкурирующих продуктов.

Полное 100% тестирование кода, основанное на требованиях к системе

Одни из наиболее дорогих усилий по сертификации уровня A для DO-178B - это тестирование, основанное на требованиях к системе, известное кроме того, как требование Структурного Покрытия (Structural Coverage). Для DO-178B уровня A, требуется, чтобы код был верифицирован с помощью критерия Модифицированное условие/Покрытие решения ( Modified Condition/Decision Coverage - MCDC) для каждой строки программного обеспечения в системе. Это тестирование может быстро разростись до стоимости в миллионы долларов, если код является достаточно сложным. LynxOS-178 удовлетворяет требованию 100% структурного покрытия по критерию MCDC, обеспечивая разработчикам систем возможность сконцентрироваться на их собственных приложениях, а не на усилиях по получению по сертификации самой ОС.

Более быстрые апгрейды и расширенная сертификация

LynxOS-178 поддерживает монтируемые файловые системы, порождаемое выполнение процессов и динамические драйверы устройств. Эти возможности позволяют приложениям и драйверам устройств быть модульными компонентами, которые не требуется линковать в один большой выполняемый файл, выполняемый на ответственной системе. С помощью LynxOS-178, приложения и драйверы могут быть изолированы, ограничивая усилия по повторной сертификации всего программного обеспечения, когда изменено только одно приложение или драйвер. Программное обеспечение без такой возможности делает необходимым повторную верификацию или повторную сертификацию всей системы, включая все приложения, ядро, драйверы и библиотеки, значительно расширяя усилия и стоимость даже простого апгрейда или расширения системы.

Путь с низким риском к сертификации уменьшает стоимость и время выхода на рынок

LynxOS-178 позволяет разработчикам быстро вывести на рынок продукт с помощью использования программного обеспечения и артифактов, которые были уже ранее сертифицированы. LynxOS-178 полностью удовлетворяет критериям спецификации DO-178B и позволяет разработчикам соответствовать техническим требованиям при производстве программного обеспечения для авиационных систем. Наконец, LynxOS-178 обеспечивает высокую конкурентноспособность путем предоставления возможности быстрого вывода на рынок приложений, критичных к безопасности.

ТЕХНИЧЕСКАЯ ИНФОРМАЦИЯ:

Справочный лист

МОДИФИКАЦИИ / АНАЛОГИЧНЫЕ ПРОДУКТЫ:

LynxOS