Наукова періодика України Наука та прогрес транспорту


Нечай В. Я. 
Дослідження граничних часових показників програмних середовищ операційних систем реального часу / В. Я. Нечай, Д. О. Волошин, О. І. Нежуміра // Наука та прогрес транспорту. Вісник Дніпропетровського національного університету залізничного транспорту імені академіка В. Лазаряна. - 2018. - № 3. - С. 105-112. - Режим доступу: http://nbuv.gov.ua/UJRN/vdnuzt_2018_3_12
Більш ніж 20-річний термін дослідження оцінки найгіршого часу виконання програм (Worst Case Execution Time, WCET) призвів до розробки багатьох методів. До цього часу немає остаточних висновків щодо застосування того чи іншого методу. Мета роботи - визначення можливості використання гібридного методу для оцінки WCET у системах реального часу. З'ясування оцінки WCET для гібридного методу полягає в тому, щоб провести синтаксичний аналіз вхідного коду мовою програмування C++ та, побудувавши граф потоку керування, одержати час виконання його базових блоків. Знайшовши найдовший шлях графа, оцінити час виконання цього шляху й одержати оцінку WCET. Для пошуку найдовшого за часом виконання шляху був обраний зворотний алгоритм Дейкстри. Після чого було виконано порівняння граничних часових оцінок, одержаних за допомогою статичного і гібридного методів, а також аналіз розбіжності цих результатів. Визначення найгіршого часу виконання програм найбільш важливе для задач "жорсткого реального часу". Недооцінка цього показника може призвести до катастрофічних наслідків. А переоцінка - до суттєвої перевитрати ресурсів. Тому було проведено оцінку WCET за допомогою статичного й динамічного методів, яка надає змогу визначити, що результати, одержані за двома методами, непогано корелюються. Для розглянутого класу задач час виконання WCET може бути визначений за допомогою гібридного методу. Додавання додаткового часу в розмірі 15 - 20 % до результатів, одержаних за зопомогою гібридного методу, надає змогу одержати безпечну оцінку WCET у системах реального часу. Гібридний метод існує вже певний час, але надійність його використання ще не була достатньо вивчена. Дане дослідження робить крок у визначенні практичної застосованості гібридного методу для часової оцінки задач реального часу. Результати дослідження дозволяють дійти висновків, що гібридний метод може бути використаний для одержання оцінки WCET у задачах "жорсткого реального часу". А деякий невідомий на даний момент вплив середовища операційної системи реального часу (ОС РЧ) може бути врахований додаванням додаткового часу.
  Повний текст PDF - 1.076 Mb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Нечай В.
  • Волошин Д.
  • Нежуміра О.

  • Бібліографічний опис для цитування:

    Нечай В. Я. Дослідження граничних часових показників програмних середовищ операційних систем реального часу / В. Я. Нечай, Д. О. Волошин, О. І. Нежуміра // Наука та прогрес транспорту. Вісник Дніпропетровського національного університету залізничного транспорту імені академіка В. Лазаряна. - 2018. - № 3. - С. 105-112. - Режим доступу: http://nbuv.gov.ua/UJRN/vdnuzt_2018_3_12.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Нечай Віктор Якович (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського