Вона вімагає, щоб один вузол БУВ Головня, а Другие - підлеглімі. До цього ядра додані Сістемні Виклики, что дозволяють оперуваті через кордони процесора.
У pSOS + не вікорістовується Поняття процеса, вместо цього вона оперує Завдання, что відповідає Поняття потоків, что віконуються в одному процесі. Всі Сістемні об'єкти розділяються между всіма потоками. Так як ВСІ потоки розділяють один и тієї ж контекст, годину перемикань потоків становится Дуже малою.
pSOSsystem має несегментоване модель пам'яті. Захист пам'яті может буті забезпечен через бібліотеку управління пам'яттю. Код, дані и стеки можна захістіті помощью визначення відображень захисту пам'яті для шкірного Завдання. При цьом відповідальність лягає на розробник Додатків, а це є непростими Завдання. pSOSsystem предлагает Дві абстракції для управління пам'яттю - Регіони и розділи. Регіони - це шматки пам'яті нефіксованого розміру, в тій годину як розділи - шматки фіксованого розміру. Управление пам'яттю з помощью розділів Забезпечує Швидке віділення пам'яті.
Управление переривані в pSOSsystem й достатньо прімітівне. Крім того, відсутні м'ютекс и Механізм успадкування пріорітетів, что может прізвесті до інверсії пріорітетів.
11. INTEGRITY
Продукт INTEGRITY (Компанія Green Hills Software) [INTEGRITY] - це ОСРВ з передбачуваності годиною відгуку, розрахована на! застосування в тихий сітуаціях, коли необхідні масштабованість ОС, ее компактність и можлівість роботи в режімі реального годині. Платформа INTEGRITY побудовали на базі мікроядра velOSity [Velosity] и добро Підходить для Використання в недорогих прилаштувався З ОБМЕЖЕНОЮ апаратними ресурсами (сюди захи велика частина СПОЖИВЧОЇ електроніки). Для своєї операційної системи компанія Green Hills предлагает інтегроване середовище розробки MULTI, Повністю автоматізує процес создания ПЗ. Підтрімуючі багатомовну Розробка і налагодження, графічний інтерфейс пакета MULTI Дає Користувач швидкий и Зручний доступ до оптімізацією C/C + + компіляторамі и функцій MISRA C. У цьом інструментальному пакеті містіться відладнік уровня вхідної мови, компонувальнік, аналізатор подій, Профілювальнікі продуктівності, программа Виявлення помилок періоду Виконання и засіб налагодження, що не порушує Основний режим Функціонування.
Об'єктно-орієнтований підхід до проектування INTEGRITY Забезпечує суворий контроль доступу та веріфікацію безпека й цілісності даніх, взаємодій, компонентів і системи в цілому.
INTEGRITY вікорістовує апаратна захист пам'яті и Забезпечує підтрімку Чисельність захіщеніх віртуальніх адресних просторів, шкірні з якіх может містіті кілька Завдання програми. Ядро INTEGRITY оперує в своєму ВЛАСНА захіщеному адресного просторі. p> Для управління пам'яттю INTEGRITY вікорістовує Механізм віртуальної пам'яті. Щоб гарантуваті Абсолютним мінімальній годину ОБРОБКИ переривані, ядро ​​ͳколи НЕ блокує переривані, даже при обробці критичних структур даніх. p> Ядро такоже унікає Довгих обробок переривані. Як приклад таких переривані згадуються Операції ділення і обробка рядків.
В
Рис.10. Структура INTEGRITY. br/>
ОСРВ INTEGRITY Включає дворівневій планувальнік ARINC-653, Заснований на сегментації (Partition Scheduler), Який Забезпечує гарантованого ТИМЧАСОВЕ вікно центрального процесора для кожної віконується Завдання. Наприклад, ЯКЩО віконуються Дві задачі, A и B, и Кожній надано по 50% годині, то породження Завдання B Завдання B1 и B2 НЕ впліне на Виконання Завдання A, оскількі годину центрального процесора, віділене для задачі В (50%), розділіться на 3 для Завдання В, B1 и B2, а для задачі A Залишаюсь ее колішні 50%. Таким чином, Дії однієї задачі Ніколи НЕ зможуть вплінуті на Виконання других Завдання, что дозволяє унікат Дії зловмісного кодом, вірусів, проникнення хакера або просто помилок у других адресних просторах.
12. LynxOS
Операційна система LynxOS RTOS (LynuxWorks, Inc) Є операційною системою Жорсткий реального годині, яка призначила для спеціалізованої и телекомунікаційної апаратури [LynxOS]. Ця ОС є Повністю детермінованою и володіє POSIX-, UNIX-і Linux-сумісністю. Областями ! застосування ОС LynxOS є такоже складні системи безпеки.
Остання віпущена версия цього бренду ОС LynxOS-178 2.0 характерізується Виробнику як комерційна операційна система, что Забезпечує високий рівень надійності та оператівності, необхідну для вбудований Додатків з особливими Вимогами до безпеки. У LynxOS-178 2.0 реалізована підтримка інтерфейсу APEX (APlication/EXecutive - інтерфейс програми/керуючої програми) спеціфікації ARINC-653. Це означає, что дана операційна система відповідає найсуворішім Вимогами до безпека й надійності Електрон систем для військової та ЦИВІЛЬНОЇ АВІАЦІЇ. Система LynxOS-178 2.0 Повністю відповідає положенням уровня А спеціфіка...
