QNX

QNX – встраиваемая ОС «жесткого» реального времени для ответственных применений. Благодаря архитектуре на основе микроядра и встроенным механизмам отказоустойчивости QNX обеспечивает прочный фундамент для высоконадежных систем, требующих безотказной работы в непрерывном режиме. Поддержка стандартов POSIX обеспечивает QNX гибкую расширяемость; в сочетании с надежной архитектурой это позволяет оперативно создавать на базе QNX системы широчайшей функциональности, обеспечивая при этом высокую безопасность и качество обслуживания.

Архитектура и основные характеристики

• Микроядро, защита памяти процессов, многопоточность POSIX
• «Жесткое» реальное время: переключение контекста/реакция на прерывание – единицы мкс, вытесняемые прерыва-
• ния, защита от инверсии приоритетов
• Планировщик: вытесняющий, 64 уровня приоритета, адаптивное квотирование ресурсов
• Дисциплины планирования: FIFO, карусельная, спорадическая
• API: POSIX с расширениями
• Ресурсоемкость: ОЗУ/ПЗУ – единицы Мбайт, поддерживает выполнение из ПЗУ (XIP)
• Встроенная отказоустойчивость, динамическое восстановление компонентов (Кг ≥ 0,99999)

Поддерживаемые технологии

• Многопроцессорность (SMP/AMP/BMP), многоядерные процессоры, распределенные вычисления, виртуализация
• Расширенная поддержка сетей TCP/IP (IPv4/6, SNMP, коммутация и маршрутизация, фильтрация IP, виртуальные сети,
• безопасные беспроводные сети)
• Файловые системы: QNX, Ext2, FAT, ISO9660, NFS, CIFS, ETFS, Flash-ПЗУ, ОЗУ резидентная
• Встраиваемая графическая оболочка с поддержкой 2D- и 3D-ускорения и многослойного отображения, Qt, OpenGL
• Интеграция со SCADA-приложениями на базе Windows (OPC-шлюзы)
• Мультимедиа: медиакодеки, потоковое аудио/видео, синтез и распознавание речи
• Управление энергопотреблением
• Поддержка баз данных: реляционные СУБД и БД реального времени

Инструментарий разработчика

• Инструментарий: штатная интегрированная кросс-среда на базе Eclipse (Windows, GNU Linux)
• Поддерживаемые языки: C/C++
• Компилятор GNU C/C++, библиотеки GNU и Dinkum, встраиваемый C++
• Символьный кросс-отладчик
• Встроенная система управления версиями
• Средства верификации и диагностики: анализатор покрытия кода, профайлер, монитор целевых систем, анализатор
• ОЗУ, системный профайлер
• Визуальный конфигуратор загружаемого образа

Поддерживаемое оборудование

• Поддерживаемые процессоры: х86/IA, ARM, MIPS, PowerPC
• Широкая поддержка оборудования Fastwel, RTD, LIPPERT, MEN Mikro Elektronik, Advantech и других производителей
• Компания «ПРОСОФТ» предлагает предустановку QNX на совместимое оборудование

Типовые применения и сертификаты

• Применения: ответственные системы, промышленные приложения, транспорт, сети/телекоммуникации
• Сертификация: МЭК 15408 («Общие критерии») EAL 4+, МЭК 61508 SIL 3

Лицензирование

• Исходный текст: доступен частично
• Лицензионная модель: инструментальный пакет + лицензионные отчисления

Характеристики