ARTICLE
TITLE

CYCLIC SCHEDULE RESEARCH FOR THE MODEL OF REAL-TIME DYNAMIC NETWORK OBJECT

SUMMARY

Context. Development of models of automated control systems for ventilation, designed to prevent emergencies in the mine ventilationnetwork, is considered in the paper. The task of research and implementation of software modeling tools that allows the execution ofexperiments with real science-intensive objects is being solved.Objective is to improve effectiveness of the real-time model of a mine ventilation network by developing and optimizing a method fororganizing a computational process that considers the different frequency parameters of the models.Method. We proposed and investigated the algorithm of scheduling and implementation of the cyclic schedule for the model of thedynamic real-time object, presented by the mine ventilation network. We analyzed the mathematical model of aerodynamic processes andclassified it as a stiff real-time system. Calculations of phase variables with varying velocities are performed by splitting the original algorithminto parallel flows in the program model. Numerical integration of the differential equations system of the mathematical model of the objectis performed in accordance with the algorithm of static priorities and controlled using the time scale. The schedules feasibility is determinedfor the target object limited parameters. The scheduling algorithm considers the time parameters of software tools for both uniprocessor and symmetric multiprocessor systems.Results. Analysis of simulation results of the proposed model with using cyclic schedules shows the correspondence of the obtainedmodeling results to the reference one.Conclusions. The main advantage of the model is the performance increase when performing data processing due to the reduction of theCPU usage time. Implemented cyclic schedule algorithm for real-time simulation platform can be used for development of control system fortechnological and emergency modes of ventilation in mines.

 Articles related

Kim G. Larsen, Paul Pettersson, Wang Yi    

Efficient automatic model-checking algorithms forreal-time systems have been obtained in recent yearsbased on the state-region graph technique of Alur,Courcoubetis and Dill. However, these algorithms arefaced with two potential types of explosion arising... see more


Peter Krogsgaard Jensen    

This paper describes ongoing work on the automatic constructionof formal models from Real-Time implementations. The model construction is based on measurements of the timed behavior of the threads of an implementation, their causal interaction patterns a... see more


Klaus Havelund, Kim G. Larsen, Arne Skou    

A real-time system for power-down control in audio/video componentsis modeled and verified using the real-time model checker UPPAAL. Thesystem is supposed to reside in an audio/video component and control (read from and write to) links to neighbor audio/... see more


Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen    

In this paper, we present a method for automatic verificationof real-time control programs running on LEGO RCX bricks using the verification tool UPPAAL. The controlprograms, consisting of a number of tasks running concurrently,are automatically translat... see more


P.Yu. Timokhin,M.V. Mikhaylyuk,A.V. Maltsev    

The paper considers a task of real-time modelling of Earth relief based on detailed global height maps specified relative to the rotational ellipsoid (spheroid) WGS-84. The technology of adaptive tessellation of triangular patches on the GPU is proposed,... see more