ДОСЛІДЖЕННЯ ГРАНИЧНИХ ЧАСОВИХ ПОКАЗНИКІВ ПРОГРАМНИХ СЕРЕДОВИЩ ОПЕРАЦІЙНИХ СИСТЕМ РЕАЛЬНОГО ЧАСУ
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 81
- Downloads 0
CALCULATION OF MAGNETIC CHARACTERISTICS OF TRACTION ELECTRIC ENGINE WITH THE USE OF IMPROVED UNIVERSAL MAGNETIC CHARACTERISTICS
Purpose. The article is aimed to develop a technique for calculating the magnetic characteristics of uncompensated traction electric motors (TEM) at any degree of attenuation of excitation based on the approximating expr...
СПЕЦІАЛЬНИЙ МЕТОД ОЦІНКИ РУЙНУВАННЯ ЧАСТОК ЗАЛІЗНИЧНОГО БАЛАСТУ НА ОСНОВІ УНІКАЛЬНОГО ЛАБОРАТОРНОГО ВИПРОБУВАННЯ
Мета. Існують спеціальні стандартизовані методи лабораторних випробувань для оцінки руйнування частинок залізничного баластного шару – це випробування на стирання Лос-Анджелес (EN 1097-2) і Мікро-Деваль (EN 1097-1). Ці м...
INFLUENCE OF THE CAST IRON’S CHEMICAL COMPOSITION ON THE INTERPHASE DISTRIBUTION OF CR AFTER ANNEALING AT 690 °C
Purpose. The article is aimed to determine effect of the chemical composition of Fe-C-Cr-Mn-Ni cast iron on the chromium content in the metallic base, carbides and the coefficient of interphase distribution of chromium a...
DETERMINATION OF CHARACTERISTICS OF THROTTLING DEVICE FOR PNEUMATIC SPRING
Purpose. This paper focuses on determination of the dependence of the working medium flow on the capacity of the throttling device, its geometric features and the pressure difference in the pneumatic spring cylinder and...
КОНТРОЛЬ МЕХАНИЧЕСКИХ ПАРАМЕТРОВ НЕЙТРАЛЬНОГО РЕЛЕ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ НА ОСНОВЕ ВЕЙВЛЕТ-АНАЛИЗА
Цель. Научная работа предусматривает разработку метода контроля механических параметров нейтрального реле железнодорожной автоматики путем анализа токов в обмотке и контактах реле при его переключениях на основе вейвлет-...