z-logo
open-access-imgOpen Access
Research on Real-Time System and Related Graph Task Model
Author(s) -
Juan Xiao,
Song Wang,
Sheng Duan,
Shanglin Li
Publication year - 2021
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/2066/1/012054
Subject(s) - computer science , correctness , real time operating system , predictability , time constraint , graph , scheduling (production processes) , real time computing , theoretical computer science , programming language , embedded system , operations management , physics , quantum mechanics , political science , law , economics
Generally speaking, real-time system is considered to be able to influence the environment by receiving and processing data, and returning calculation results rapid enough, so as to control the environment. In computer science, real-time system describes the software and hardware system affected by time constraints, and its correctness relies on the logical correctness of the function and the time when the result is generated. According to the main characteristics of real-time operating system, such as time constraint, predictability and reliability, it puts forward higher requirements for the time accuracy and reliability of real-time operating system. This paper first introduces the real-time system from its main characteristics, related concepts and scheduling algorithm. Then five classical graph based task models of real-time system are introduced. Finally, this paper introduces the directed graph realtime task model from two aspects of definition and semantics. As an extension of realtime system task model, directed graph real-time task model is considered to be able to provide real-time systems with stronger expressive power and support the formal study of time constraint problems.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here