ndard Interface). Стандартний інтерфейс, розроблений компанією ARINC в 1997 році, вводить концепцію ізольованих розділів на основі універсального програмного інтерфейсу APEX (Application/Executive) між операційною системою і прикладним програмним забезпеченням [5]. Вимоги інтерфейсу визначені так, щоб дозволити додаткам контролювати диспетчеризацію, зв'язок і стан внутрішніх оброблюваних елементів. p align="justify"> У 2003 році прийнята нова редакція ARINC-653, в якій введена концепція ізольованих віртуальних машин (розділів, рис. 2). Її особливістю є жорстке і заздалегідь визначене квантування часу між віртуальними машинами, а метою-забезпечення гарантій того, що не виникнуть які загальні відмови системи. Стандарт ARINC-653 реалізований для операційних систем реального часу LynxOS-178, VxWorks, Integrity, CsLeos та ін
В
Рис. 2. Реалізація ARINC-653 в LynxOS-178
ОС Linux в режимі користувача-самий універсальний емулятор, що дозволяє створювати віртуальне обладнання, якого може і не бути на фізичному комп'ютері. Це досить зручно для тестування конфігурацій апаратного забезпечення. UML складається з набору латок до ядра Linux, які дозволяють запускати інші операційні системи в консольних вікнах, і кожен користувач може незалежно завантажувати скільки завгодно операційних і віконних систем, аж до X11. User-Mode Linux допускається застосовувати для пристроїв з архітектурою IA-32 і PowerPC G5. p align="justify"> Програмні середовища віртуальних машин. Найбільш популярними з них є Microsoft Virtual PC і група програмних продуктів VMware. Система віртуальних машин дозволяє запускати на комп'ютері відразу кілька різних операційних систем і перемикатися з однієї на іншу без перезапуску комп'ютера. На комп'ютері під керуванням основний (базової) операційної системи, створюються один або кілька віртуальних комп'ютерів, на кожному із яких можна запустити "гостьову" ОС.Workstation дозволяє запустити кілька екземплярів Windows, Linux і NetWare. Реалізовані повноцінна підтримка мережі, переносимість оточень і гнучкий підхід до роботи з оточенням. Проект Virtual PC спочатку розробляла компанія Connectix, але на початку 2003 року його купила корпорація Microsoft. На жаль, після цього Virtual PC позбувся підтримки "гостьових" Unix-подібних систем (у тому числі, Linux) і був повністю орієнтований на встановлення Windows-cистем на інших платформах. p align="justify"> Технологія віртуалізації Intel. VT, компонент многоядерной технології підтримки віртуалізації на апаратному рівні [3], забезпечує підтримку віртуальних машин на рівні процесора за допомогою нового режиму VMX (Virtual Machine Extensions) і десяти команд vmptrld, vmptrst, vmclear, vmread, vmwrite, vmcall, vmlauch, vmresume, vmxoff і vmxon. При цьому підвищуються як надійність і продуктивність роботи додатків, так і рівень загальної безпеки. p align="justify"> Архітектура VT підтримує два класи ПЗ: монітор ві...
