Search academic texts

Information × Registration Number 2119U008044, Article popup.category Стаття Title A model for estimating time characteristics in real-time computer systems using Petri nets (AI translated) popup.author Зайцев Володимир ГригоровичЦибаєв Євгеній ІгоровичZaitsev Volodymyr HryhorovychTsybaiev Yevhenii Ihorovych popup.publication 01-01-2019 popup.source_user Київський національний університет будівництва і архітектури popup.source https://repositary.knuba.edu.ua/handle/987654321/3149 popup.publisher КНУБА Description Робота присвячена проблемі визначення часових характеристик задач у системах реального часу, успішність роботи яких залежить не тільки від їх логічної правильності, а й від часу, за який вони отримують результат. Визначення таких часових характеристик системи на стадії проектування є досить складною проблемою. Її вирішення на сьогодні засновано на двох основних напрямах: теоретичних розрахунках, пов’язаних з отриманням так званих критеріїв здійсненності і моделюванням роботи системи на статистичних моделях систем масового обслуговування. Однак, як у першому, так і у другому випадках неможливо отримати гарантований результат, що суттєво ускладнює процес проектування. Запропоновано метод оцінки часових характеристик задач в системах реального часу шляхом аналізу даних, отриманих моделюванням розподілу процесорного часу між задачами згідно обраних алгоритмів планувальника з використанням моделі сіток Петрі. Метод гарантує отримання часових характеристик задач при обранні конкретного типу процесора і планувальника, що потрібно для початку технічного проектування системи реального часу. popup.nrat_date 2026-04-20 Close