Analyzing Isolation in Mobile Systems

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.