Abstract
As a safety-critical issue in complex mobile systems, isolation requires two or more mobile objects not to appear in the same place simultaneously. To ensure such isolation, a scheduling policy is needed to control and coordinate the movement of mobile objects. Unfortunately, existing task scheduling theories fails in providing effective solutions, because it is hardly possible to decompose a complex mobile system into multiple independent tasks. To solve this problem, a more fine-grained event scheduling is proposed in this paper to generate scheduling policies which can ensure the isolation of mobile objects. After defining event scheduling based on event-based formal models called dependency structures, a new event scheduling theory for mobile systems is developed accordingly. Then an algorithm for generating an event scheduling policy is proposed to implement the required isolation. Simulation experiments are conducted to prove the result of our theoretical analysis and show the effectiveness and scalability of the approach.
Highlights
In safety-critical mobile systems like intelligent transportation systems (ITS) and unmanned transportation systems, there is a compelling need to guarantee the safety and security of such systems, which has become the subject of intense research worldwide
It shortens the length of scheduling sequences and improves the efficiency of obtaining such a scheduling sequence. _ The isolation of mobile objects in a complex mobile system is formally defined and the avoidance of collision deadlocks during the isolation control process is discussed in detail. _ A new algorithm is proposed for automatically generating a schedule, providing support for the implementation of safety isolation in a mobile system. _ The approach is especially applied to solving the problems of intersection isolation in real systems, so as to prove its correctness and effectiveness
We explore dynamic event scheduling and generate a scheduling sequence based on the states of a system
Summary
In safety-critical mobile systems like intelligent transportation systems (ITS) and unmanned transportation systems, there is a compelling need to guarantee the safety and security of such systems, which has become the subject of intense research worldwide. An effective scheduling theory is needed to generate a scheduling policy so as to ensure the isolation relationships among mobile objects in such systems. This paper makes the following contributions: _ A novel notion of a schedule is introduced based on the execution process of a mobile system, which is different from that based on the priority in [17]. It shortens the length of scheduling sequences and improves the efficiency of obtaining such a scheduling sequence.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
