Хмарний сервіс Modeling for Simulation (MOSI)

Пропонується in-memory інтелектуальний векторно-логічний комп’ютинг на основі read-write транзакцій для економнічного вирішення задач верифікації цифрових проектів за метрикою заощадження ресурсів – енергії та часу. Пропонуються механізми in-memory MOdeling for SImulation, які обнуляють складність алгоритмів аналізу даних за рахунок експоненційної надмірності розумних моделей. Результати роботи є оригінальними та опубліковані у журналах так конференцiях, що iндексрванi Scopus.

Хмарний сервiс Modeling for Simulation (MOSI) представлений такими компонентами:

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

Актуальність створення системи MOSI у вигляді хмарного сервісу полягає у економічному вирішенні задач верифікації цифрових проектів за метрикою заощадження ресурсів – енергії (мінімум на 38%) та часу (мінімум на порядок), а також у наданні доступу користувачам з будь-якої точки світу, що є прикладом масового комп’ютингу майбутнього. Більш ефективне використання ресурсів, зниження відходів та зменшення негативного впливу на довкілля сприяє збереженню екології планети, на що спрямовані цілі сталого розвитку (ЦСР 12 – відповідальне споживання та виробництво, ЦСР 9 – Індустріалізація, інновації та інфраструктура).

Автори:

Хаханов Іван Володимирович, к.т.н., асистент кафедри АПОТ, ХНУРЕ;
Кулак Георгій Костянтинович, асистент кафедри АПОТ, ХНУРЕ;
Воронов Андрій Олександрович, аспірант кафедри АПОТ, ХНУРЕ;
Демченко Олег Іванович, аспірант кафедри АПОТ, ХНУРЕ;
Максимова Наталія, аспірант кафедри АПОТ, ХНУРЕ;
Пономарьова Вероніка Ігорівна, інженер кафедри АПОТ, ХНУРЕ.

Науковий керівник: Хаханов Володимир Іванович, д.т.н., проф. каф. АПОТ, ХНУРЕ