ДОСЛІДЖЕННЯ ГРАНИЧНИХ ЧАСОВИХ ПОКАЗНИКІВ ПРОГРАМНИХ СЕРЕДОВИЩ ОПЕРАЦІЙНИХ СИСТЕМ РЕАЛЬНОГО ЧАСУ
Journal Title: Наука та прогрес транспорту - Year 2018, Vol 0, Issue 3
Abstract
Мета. Більш ніж двадцятирічний термін дослідження оцінки найгіршого часу виконання програм (Worst Case Execution Time, WCET) призвів до розробки багатьох методів. До цього часу немає остаточних висновків щодо застосування того чи іншого методу. Тому метою нашої роботи є визначення можливості використання гібридного методу для оцінки WCET у системах реального часу. Методика. З’ясування оцінки WCET для гібридного методу полягає в тому, щоб провести синтаксичний аналіз вхідного коду мовою програмування С++ та, побудувавши граф потоку керування, отримати час виконання його базових блоків. Знайшовши найдовший шлях графа, оцінити час виконання цього шляху й отримати оцінку WCET. Для пошуку найдовшого за часом виконання шляху був обраний зворотний алгоритм Дейкстри. Після чого було виконане порівняння граничних часових оцінок, отриманих статичним і гібридним методами, а також аналіз розбіжності цих результатів. Результати. Визначення найгіршого часу виконання програм найбільш важливе для задач «жорсткого реального часу». Недооцінка цього показника може призвести до катастрофічних наслідків. А переоцінка – до суттєвої перевитрати ресурсів. Тому була проведена оцінка WCET за допомогою статичного й динамічного методів, яка дає змогу визначити, що результати, отримані двома методами, непогано корелюються. Для розглянутого класу задач час виконання WCET може бути визначений за допомогою гібридного методу. Додавання додаткового часу в розмірі 15–20 % до результатів, отриманих гібридним методом, дозволяє отримати безпечну оцінку WCET у системах реального часу. Наукова новизна. Гібридний метод існує вже певний час, але надійність його використання ще не була достатньо вивчена. Дане дослідження робить крок у визначенні практичної застосованості гібридного методу для часової оцінки задач реального часу. Практична значимість. Результати дослідження дозволяють дійти висновків, що гібридний метод може бути використаний для отримання оцінки WCET у задачах «жорсткого реального часу». А деякий невідомий на даний момент вплив середовища операційної системи реального часу (ОС РЧ) може бути врахований додаванням додаткового часу.
Authors and Affiliations
V. Y. Nechay, D. О. Voloshyn, O. I. Nezhumira
Keywords
Related Articles
- EP ID EP383911
- DOI 10.15802/stp2018/133384
- Views 73
- Downloads 0
THE RELATIONSHIP BETWEEN STIFFNESS LOSSES AND LOSSES IN BEARINGS OF ROPE BLOCKS
Purpose. To determine the efficiency of rope blocks, it is necessary to determine the stiffness coefficient of the ropes of blocks, taking into account the classification group of the mechanism and the wrapping angle of...
КОНТРОЛЬ МЕХАНИЧЕСКИХ ПАРАМЕТРОВ НЕЙТРАЛЬНОГО РЕЛЕ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ НА ОСНОВЕ ВЕЙВЛЕТ-АНАЛИЗА
Цель. Научная работа предусматривает разработку метода контроля механических параметров нейтрального реле железнодорожной автоматики путем анализа токов в обмотке и контактах реле при его переключениях на основе вейвлет-...
REPEATED CONNECTIONS IN THE SCHEMES OF LINK SLIDER-CRANK MECHANISM OF GRIPPING DEVICE
Purpose. The article is aimed to carry out a structural analysis of gripping device as a mechanism with a variable structure and external unilateral constraints, as well as to determine the number of repeated connections...
ІДЕНТИФІКАЦІЯ ПАРАМЕТРІВ ПРИСТРОЇВ СИСТЕМ ЕЛЕКТРИЧНОЇ ТЯГИ МЕТОДОМ ЧАСОВИХ РЯДІВ
Мета. Наукова робота передбачає розробку та обґрунтування нового методу параметричної ідентифікації пристроїв електричної тяги, що базується на системі ортогональних функцій, а саме – на основі часових степеневих рядів....
ЯКІСНИЙ АНАЛІЗ ЗАЛЕЖНОСТІ ПОТУЖНОСТІ ПРИВОДУ СТРІЧКОВОГО ГОРИЗОНТАЛЬНО-ПОХИЛОГО КОНВЕЄРА ВІД ЙОГО ВИХІДНИХ ПАРАМЕТРІВ
Мета. Одним із основних елементів стрічкових конвеєрів є привід. Для аналізу впливу проектних параметрів на величину потужності приводу необхідно провести розрахунки за стандартними методиками, які викладені в сучасній т...