O-178B и стандарт ARINC-653. Оскількі ці стандарти розроблені в США, Варто відзначіті ще європейський стандарт ED-12B, Який є аналогом DO-178B. p> Поширеними такоже є стандарт OSEK/VDX [OSEK], Який спочатку розвівався для систем автомобільної індустрії.
POSIX
Стандарт POSIX БУВ Створений як стандартний інтерфейс сервісів операційніх систем. Цею стандарт Дає можлівість створюваті переносимі програми. Згідно цею стандарт БУВ Розширення особливая режиму реального годині [POSIX]. p> Спеціфікації POSIX задають стандартний Механізм взаємодії програми и ОС. Звітність, відзначіті, что стандарт POSIX тісно пов'язаний з ОС Unix; тім не менше, розробник багатьох ОСРВ намагають вітримати відповідність цьом стандарту. Відповідність стандарту POSIX для ОС и апаратної платформ повинною буті сертіфіковане помощью прогону на них тестових наборів [POSIXTestSuite]. Однак, ЯКЩО ОС не є Unix-подібної, вітримати це Вимога становится непрості Завдання. Тестові набори існують Тільки для POSIX 1003.1a. Оскількі структура POSIX є сукупністю необов'язково можливіть, постачальники ОС могут реалізуваті позбав частина стандартного інтерфейсу, и при цьом Говорити про POSIX-компліантності своєї системи. p> Незважаючі на ті, что стандарт POSIX віріс з Unix'а, ВІН зачіпає основоположні абстракції операційніх систем, а Розширення реального годині застосовні до всіх ОСРВ. p> До теперішнього годині стандарт POSIX розглядається як сімейство спорідненіх стандартів: IEEE Std 1003.n (де n - це номер). p> Стандарт 1003.1a (OS Definition) містіть базові інтерфейси ОС - підтрімку єдиного процеса, підтрімку багатьох процесів, управління Завдання, сигналами, групами Користувачів, файлової системи, файлові атрибутами, управління файлового прилаштувати, блокувань файлів, прибудована вводу/виводу, прибудована СПЕЦІАЛЬНОГО призначення, системних базами даніх, каналами, черго FIFO, а такоже підтрімку мови C. p> Стандарт 1003.1b (Realtime Extensions) містіть Розширення реального годині - сигналі реального годині, планування Виконання (з урахуванням пріорітетів, ціклічне планування), таймери, синхронний и асинхронний ввід/вивід, ввід/вивід з пріорітетамі, сінхронізація файлів, Блокування пам'яті, колективна пам'ять, передача Повідомлень, семафори. Щоб дива POSIX-компліантной, ОС винна реалізуваті не менше 32 рівнів пріорітетів. POSIX візначає три політики планування ОБРОБКИ процесів:
В· SCHED_FIFO - Процеси обробляються в режімі FIFO и віконуються до завершення,
В· SCHED_RR - round robin - шкірному процеса віділяється квант годині,
В· SCHED_OTHER - довільна реалізаційно-залежна політика, яка не переносять на Другие платформи. p> Стандарт 1003.1c (Threads) стосується функцій ПІДТРИМКИ багатопотокового ОБРОБКИ всередіні процеса - управління потоками, планування з урахуванням пріорітетів, м'ютекс (СПЕЦІАЛЬНІ сінхронізуючі об'єкти в взаємодії между процесами, что подаються сигнал, коли смороду НЕ захоплені яких-небудь потоком), пріорітетне спадкування у мьютекса, змінні стану (condition variables). p> Стандарт 1003.1d Включає підтрімку Додатковий Розширення реального годині - семантика породження новіх процесів (spawn), спорадічні серверне планування, моніторинг процесів и потоків годині Виконання, таймаут функцій Блокування, управління прибудована и переривані. p> Стандарт 1003.21 стосується розподіленіх систем реального годині и Включає Функції ПІДТРИМКИ розподіленого взаємодії, організації буферізації даніх, посилки керуючих блоків, синхрони и асинхронним операцій, ОБМЕЖЕНОЮ Блокування, пріорітетів Повідомлень, міток Повідомлень, и реалізацій протоколів. p> Стандарт 1003.2h стосується сервісів, что відповідають за працездатність системи. p> DO-178B Стандарт DO-178B, Створено радіотехнічній комісією з аеронавтікі (RTCA, Radio Technical Commission for Aeronautics) для розробки ПЗ бортових авіаційних систем [DO178B]. Перша его версия булу прийнятя в 1982 р., Друга (DO-178A) - у 1985-му, потокових DO-178B - в 1992 р. Готовится Прийняття Нової Версії, DO-178C. Стандартом передбача п'ять рівнів серйозності відмові, и для шкірного з них Визначи набор вимог до програмного забезпечення, Які повінні гарантуваті працездатність всієї системи в цілому при вінікненні відмов даного уровня серйозності
Даній стандарт візначає Такі Рівні сертіфікації:
В· А (катастрофічній),
В· В (небезпечний),
В· С (істотній),
В· D (несуттєвій)
В· Е (что НЕ впліває). p> ARINC-653 Стандарт ARINC-653 (Avionics Application Software Standard Interface) розроблення компанією ARINC в 1997 р. Цею стандарт візначає універсальний Програмний інтерфейс APEX (Application/Executive) между ОС авіаційного комп'ютера и прикладними ПЗ. Вимоги до інтерфейсу между прикладними ПЗ и сервісамі операційної системи візначаються таким чином, щоб дозволіті прикладного ПЗ контролюваті діспетчерізацію, зв'язок и стан внутрішніх оброблюва...