знати основні принципи, алгоритми, методи проектування програмно-апаратних засобів віртуальних системних і процесних машин, внутрішні механізми функціонування цих машин, способи верифікації.
вміти складати технічне завдання на проект, обирати адекватні програмно-апаратні інструменти проектування, виконувати етап ескізного проектування з розподілом виконання функцій поміж апаратними і програмними засобами, виконати розробку віртуальної машини.
мати навики відлагодження та тестування програмноі віртуальної машини.

пререквізити
Архітектура комп`ютерів
Мови опису апаратних засобів
Системне програмування

Комп'ютерні архітектури і історія віртуалізації. Основи віртуальних машин. Процесні (прикладні) віртуальні машини. Системні віртуальні машини. Основи інтерпретації. Ниткова інтерпретація . Прекодування і пряма ниткова інтерпретація. Інтерпретація CISC архітектури. Бінарна трансляція. Дослідження коду і динамічна трансляція. Продуктивність віртуальної машини. Реалізація віртуальних машин. Сумісність. Проекція станів. Емуляція архітектури пам'яті. Емуляція виключних ситуацій Емуляція операційних систем. Керування кодовим кешем. Системне оточення. Архітектури мовних віртуальних машин. Віртуальна машина Java. Віртуальні машини VirtualBox, Virtual PC та VMware Workstation. Віртуалізація ресурсів: процесор, пам'ять, підсистема введення-виведення. Апаратні технології віртуалізації фірми Intel.

1. Tim Lindholm, Frank Yellin, Gilad Bracha, Alex Buckley. The Java Virtual Machine Specifacation. – Addison-Wesley, 2013. – 608 p.
2. Bill Blunden. Virtual Machine Design and Implementation in C/C++ . - Wordware Publishing, Inc: 2002. 689 p.
3. James E. Smith, Ravi Nair. Virtual Machines / Elservier Inc. 2005. 647 p.

- поточний контроль - письмові звіти з лабораторних робіт, усне опитування, оцінювання виконаних індивідуальних завдань (30%);
- підсумковий контроль - контрольний захід, залік диференційований: письмово-усна форма (70 %).