Програмна модель однопроцесорної системи реального часу
Вантажиться...
Дата
2020-12
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Актуальність теми.
Часові характеристики систем реального часу є визначними показниками для проектування цієї системи. Існуючі методи оцінки часових характеристик систем реального часу не є досить універсальними та не гарантують отримання вірного результату. А отже, неможна засвідчити, що система буде працездатна.
Запропонований метод визначення часових характеристик за допомогою моделювання розподілу процесорного часу між задачами згідно обраних алгоритмів планувальників з використанням моделі сіток Петрі гарантує отримання достовірних показників для конкретного типу процесора.
Об’єктом дослідження є гарантоване визначення часових характеристик системи реального часу.
Предметом дослідження є метод визначення часових характеристик за допомогою моделювання розподілу процесорного часу між задачами згідно обраних алгоритмів планувальників з використанням моделі сіток Петрі.
Мета роботи є розробка алгоритму визначення часових характеристик за допомогою моделювання розподілу процесорного часу між задачами з використанням моделі сіток Петрі.
Методи дослідження. Моделювання системи реального часу з різними параметрами задач, запропонованих для виконання. Перевірка роботи системи за допомогою обраного планувальника задач.
Наукова новизна полягає у створенні моделі системи задач за допомогою сіток Петрі, що дозволяє моделювати систему з великою кількістю задач.
Практична цінність полягає у пришвидшені процесу розробки систем реального часу загалом та мінімізації випадків, коли помилковий розподіл процесорного часу має критичне значення, наприклад, коли вихід системи з ладу веде до серйозних наслідків таких як грошові втрати на відновлення або непередбачену помилкову роботу системи, яка може привести до аварійних або небезпечних для здоров’я подій.
Структура та обсяг роботи. Магістерська дисертація складається з вступу, п’ятьох розділів, висновків та додатків.
У вступі представлена загальна характеристика роботи, проведена оцінка існуючих рішень та їх недоліків, обґрунтована необхідність розробки нового алгоритму, сформульована задача роботи.
У першому розділі дається визначення систем реального часу; описана теоретична частина проектування систем реального часу, види планувальників та проблеми моделювання.
У другому розділі описується метод визначення часових характеристик за допомогою моделювання розподілу процесорного часу між задачами згідно обраних алгоритмів планувальників з використанням моделі сіток Петрі, наводяться приклади роботи обраного методу та аналіз отриманих результатів.
У третьому розділі визначається програмне середовище для розробки алгоритму, вказуються переваги обраного програмного засобу, програмні компоненти, які використовуються у роботі алгоритму, але не мають прямого відношення до нього – модель сіток Петрі, способи швидкого помноження лінійних матриць, які використовуються в алгоритмі, система виводу результатів.
У четвертому розділі наведено алгоритм визначення часових характеристик за допомогою моделювання розподілу процесорного часу між задачами з використанням моделі сіток Петрі.
У п’ятому розділі наведено приклад роботи алгоритму на різних наборах даних та обробка результатів.
У висновках результати аналізуються, щоб затвердити чи є алгоритм ефективним при роботі системи реального часу.
Опис
Ключові слова
системи реального часу, сітка Петрі, планувальник задач, real-time system, Petri grid, task scheduler
Бібліографічний опис
Болгов, І. М. Програмна модель однопроцесорної системи реального часу системах : магістерська дис. : 123 Комп’ютерна інженерія / Болгов Іван Михайлович. – Київ, 2020. – 93 с.