Защищенная операционная система реального времени (ЗОСРВ) «Нейтрино» КПДА.10964-01 предназначена для отказоустойчивого и предсказуемого управления ресурсами многопроцессорных/многоядерных и многомашинных вычислительных комплексов реального времени.

ЗОСРВ «Нейтрино» удовлетворяет требованиям к СВТ по 3 классу защиты информации от НСД, 2 уровню контроля отсутствия НДВ, 2 классу защищенности для межсетевых экранов, что позволяет использовать изделие КПДА.10964-01 в АС класса защищённости до 1Б включительно.

ЗОСРВ "Нейтрино" сертифицирована во ФСТЭК России по требованиям: «Требования безопасности информации к операционным системам», «Профиль защиты операционных систем типа А второго класса защиты.ИТ.ОС.А2.ПЗ» и «Профиль защиты операционных систем типа В второго класса защиты. ИТ.ОС.В2.ПЗ».

Сертификаты соответствия:

Особенности области применения ЗОСРВ «Нейтрино»:

• высокие требования к надежности, продиктованные потенциально катастрофическими результатами в случае возникновения сбоя САУ или АСУ;
• жесткие требования функционирования в режиме реального времени, обусловленные тесной взаимосвязью вычислительного процесса с процессами, протекающими в электрическом и механическом оборудовании, химическими реакциями, распространением излучений и сигналов различной физической природы;
• жесткие требования технологической независимости, исключающие возможность негативного влияниязарубежных организаций или частных лиц на проектирование, разработку, производство, поставку и сопровождение изделия;

ЗОСРВ «Нейтрино» поддерживает широкий спектр отечественного оборудования

• микропроцессоры и вычислительные комплексы разработки АО «МЦСТ», ФГУ ФНЦ НИИСИ РАН, ОАО НПЦ «ЭЛВИС»;
• процессорные модули производства ЗАО «НПФ «ДОЛОМАНТ», ЗАО «Скан Инжиниринг Телеком», ЗАО «РТСофт», ООО «АТРИ», ОАО «НКБ ВС», ООО «Московский завод «Физприбор» и других российских разработчиков вычислительной техники;
• а также оборудование ведущих мировых производителей.

Ключевые особенности ЗОСРВ «Нейтрино» КПДА.10964-01

Архитектура на основе микроядра

• Динамически обновляемые приложения, системные сервисы и драйверы
• Изоляция сбоев и автоматическое самовосстановление системы
• Обмен сообщениями для построения модульных, согласованных систем

Предсказуемость и производительность жесткого реального времени

• Вытесняющий планировщик с выбором дисциплины диспетчеризации
• Распределенное наследование приоритетов
• Защита от инверсии приоритетов

Технология адаптивного квотирования ресурсов

• Гарантированное выделение системных ресурсов для создания отказоустойчивых систем
• Упрощение системной интеграции и диагностики

Поддержка мультипроцессорности

• Комплексная поддержка многоядерных процессоров
• Выбор между динамическим назначением процессора для выполнения потоков и привязкой потоков к конкретным процессорам/процессорным ядрам

Расширенная графика

• Многослойная и многомониторная графика
• Поддержка OpenGL и OpenVG
• Сетевая оконная система
• Расширяемая поддержка мультимедиа
• Технологии Qt, GTK, Photon

Монитор Ключевых Процессов

• Отслеживание работоспособности для ранней диагностики отказов
• Интеллектуальное восстановление сбойных компонентов
• Механизм автоматического восстановления логических соединений
• Механизм контрольных точек для восстановления контекста приложения

Файловые системы

• ОЗУ-резидентные
• Программируемые и непрограммируемые ПЗУ
• Дисковые PowerSafe, QNX4, HFS/HFS+, Ext2, NTFS, FAT, UDF, ISO9660
• Сетевые (NFS, CIFS)

Сетевые технологии

• Полноценный стек NetBSD (IPv4, IPSec, IPv6, межсетевой экран PF)
• Berkeley Socket API, системный интерфейс
• Berkeley для переноса сетевых драйверов и фильтров
• Прозрачно-распределенная сеть Qnet

Диагностическая версия микроядра

• Анализ производительности и оптимизация всей системы в целом
• Быстрое выявление ошибок синхронизации и скрытых дефектов

Широкие возможности управления аппаратурой

• Выбор аппаратной архитектуры целевых систем (ARM, MIPS, PowerPC, x86, Эльбрус, КОМДИВ, Мультикор)
• Технология быстрой активации устройств
• Технология быстрого старта
• Поддержка управления питанием

Высокая эффективность разработки

• Интерфейс прикладного программирования IEEE POSIX
• Профессиональные инструменты разработки, отладки и анализа
• Инструментальная поддержка верификации
• Визуальный построитель графических ЧМИ
• Интеграция с популярными системами управления исходными текстами (SVN, GIT и др.)
• Прозрачные распределенные вычисления
• Прозрачный доступ к удаленным ресурсам
• Простота реализации отказоустойчивых кластеров

Дополнительные продукты для ЗОСРВ «Нейтрино»

• Комплект разработчика для ЗОСРВ «Нейтрино»
• Комплект разработчика для ЗОСРВ «Нейтрино-Э»

Документация

• Руководство администратора
• Положение о технической поддержке

Поставка продукции Информация о стоимости и об условиях поставки ЗОСРВ "Нейтрино" доступна по запросу. Отправить запрос >

Учебные курсы Актуальные курсы подготовки квалифицированных специалистов. Посмотреть курсы >

Помощь на форуме Остались вопросы? Больше информации можно узнать на форуме. Посетить форум >