ЗОСРВ "НЕЙТРИНО" КПДА.10964-01
Защищенная операционная система реального времени (ЗОСРВ) «Нейтрино» КПДА.10964-01 предназначена для отказоустойчивого и предсказуемого управления ресурсами многопроцессорных/многоядерных и многомашинных вычислительных комплексов реального времени.
ЗОСРВ «Нейтрино» удовлетворяет требованиям к СВТ по 3 классу защиты информации от НСД, 2 уровню контроля отсутствия НДВ, 2 классу защищенности для межсетевых экранов, что позволяет использовать изделие КПДА.10964-01 в АС класса защищённости до 1Б включительно.
Сертификаты соответствия:МО РФ № 3385 от 27.10.2016 (действителен до 27.10.2021)
ФСТЭК России № 3795 от 29.08.2017 (действителен до 29.08.2020)
Особенности области применения ЗОСРВ «Нейтрино»:высокие требования к надежности, продиктованные потенциально катастрофическими результатами в случае возникновения сбоя САУ или АСУ;
жесткие требования функционирования в режиме реального времени, обусловленные тесной взаимосвязью вычислительного процесса с процессами, протекающими в электрическом и механическом оборудовании, химическими реакциями, распространением излучений и сигналов различной физической природы;
жесткие требования технологической независимости, исключающие возможность негативного влияниязарубежных организаций или частных лиц на проектирование, разработку, производство, поставку и сопровождение изделия;
ЗОСРВ «Нейтрино» поддерживает широкий спектр отечественного оборудованиямикропроцессоры и вычислительные комплексы разработки АО «МЦСТ», ФГУ ФНЦ
НИИСИ РАН, ОАО НПЦ «ЭЛВИС»;
процессорные модули производства ЗАО «НПФ «ДОЛОМАНТ», ЗАО «Скан Инжиниринг Телеком», ЗАО «РТСофт», ООО «АТРИ», ОАО «НКБ ВС», ООО «Московский завод «Физприбор» и других российских разработчиков вычислительной техники;
а также оборудование ведущих мировых производителей.
Ключевые особенности ЗОСРВ «Нейтрино» КПДА.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 и др.)
Прозрачные распределенные вычисления
Прозрачный доступ к удаленным ресурсам
Простота реализации отказоустойчивых кластеров
Источник 2 Это сообщение отредактировал pzh - 26.11.2017 - 22:09