Дослідження часових характеристик в системах реального часу
Loading...
Date
2022
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Український державний університет науки і технологій, Дніпро
Abstract
UKR: Під час роботи було розглянуто тему «Дослідження часових характеристик в системах реального часу», було опрацьовано аналоги і літературу. У дипломній роботі розглянуто деякі математичні моделі з використанням мережей Петрі. Було розроблено теорію моделювання за допомогою мереж Петрі.
У цій роботі наведено приклад моделі та програму. Мережеве планування розглядається як управлінський підхід, заснований на використанні математичного інструментарію теорії графів і системного підходу для візуалізації та алгоритмізації взаємопов’язаних комплексів робіт, дій або заходів для досягнення чітко визначених цілей.
До переваг розробленого програмного забезпечення можна віднести те, що він не тільки досліджує різноманітні поведінкові властивості моделі, але й визначає статистику параметрів, що цікавлять. При цьому за допомогою цього аналізатора можна не тільки встановити досяжність маркера, а й відстежити, як часто в цей стан входити.
Об’єкт дослідження - часові характеристики СРЧ.
ENG: During the work, the topic "Research of time characteristics in real-time systems" was considered, analogues and literature were worked out. Some mathematical models using Petri nets are considered in the thesis. The theory of modeling using Petri nets was developed. This master's thesis provides an example model and program. Network planning is considered as a management approach based on the use of mathematical tools of graph theory and a system approach for visualization and algorithmization of interconnected sets of works, actions or measures to achieve clearly defined goals. The advantages of the developed software include the fact that it not only examines various behavioral properties of the model, but also determines the statistics of the parameters of interest. At the same time, with the help of this analyzer, you can not only establish the reach of the marker, but also track how often you enter this state.
ENG: During the work, the topic "Research of time characteristics in real-time systems" was considered, analogues and literature were worked out. Some mathematical models using Petri nets are considered in the thesis. The theory of modeling using Petri nets was developed. This master's thesis provides an example model and program. Network planning is considered as a management approach based on the use of mathematical tools of graph theory and a system approach for visualization and algorithmization of interconnected sets of works, actions or measures to achieve clearly defined goals. The advantages of the developed software include the fact that it not only examines various behavioral properties of the model, but also determines the statistics of the parameters of interest. At the same time, with the help of this analyzer, you can not only establish the reach of the marker, but also track how often you enter this state.
Description
Keywords
граф, частота процесора, Мережі Петрі, СРЧ, модель, тік, WCET, частота процесора, мікросекунда, критерії здійсненності, СРЧ, планувальник, UNIX-подібні операційні системи, ядро, моделі СМО, SRC, часові характеристики, WCET, переривання, model, Petri nets, graph, feasibility criteria, scheduler, timing characteristics, interrupts, kernel, SMO models, UNIX-like operating systems, microsecond, tick, processor frequency, ВКР, КІТ
Citation
Чокан К. Ю. Дослідження часових характеристик в системах реального часу : дипломна робота на здобуття кваліфікаційного ступеня магістра : спец. 121 – Інженерія програмного забезпечення систем / наук. керівник В. М. Горячкін ; Укр. держ. уні-т науки і технологій. Дніпро, 2022. 125 с.