Abstract
To guarantee the safety and security of a real-time mobile system such as an intelligent transportation system, it is necessary to model and analyze its behaviors prior to actual development. In particular, the mobile objects in such systems must be isolated from each other so that they do not collide with each other. Since isolation means two or more mobile objects must not be located in the same place at the same time, a scheduling policy is required to control and coordinate the movement of such objects. However, traditional scheduling theories are based on task scheduling which is coarse-grained and cannot be directly used for fine-grained isolation controls. In this article, we first propose a fine-grained event-based formal model called a time dependency structure and use it to model and analyze real-time mobile systems. Next, an event-based schedule is defined and the composition of schedules is discussed. Then, we investigate the schedulability of isolation—that is, checking whether a given schedule ensures the isolation relationship among mobile objects or not. After that, we present an automation approach for scheduling generation to guarantee isolation controls in real-time mobile systems. Finally, case studies and simulation experiments demonstrate the usability and effectiveness of our approach.
- [1] . 2017. Machine scheduling problems in production: A tertiary study. Computers & Industrial Engineering 111 (2017), 403–416. Google Scholar
Digital Library
- [2] . 2016. Semi-autonomous intersection collision avoidance through job-shop scheduling. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, and (Eds.). 185–194. Google Scholar
Digital Library
- [3] . 2002. Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems 23, 1–2 (2002), 55–84. Google Scholar
Digital Library
- [4] . 2008. An EDF-based restricted-migration scheduling algorithm for multiprocessor soft real-time systems. Real-Time Systems 38, 2 (2008), 85–131. Google Scholar
Digital Library
- [5] . 2009. Mobile Petri nets. Mathematical Structures in Computer Science 19, 6 (2009), 1265–1278. Google Scholar
Digital Library
- [6] . 1993. Deadline monotonic scheduling theory and application. Control Engineering Practice 1, 1 (1993), 71–78. Google Scholar
Cross Ref
- [7] . 2016. Energy-aware scheduling for real-time systems: A survey. ACM Transactions on Embedded Computing Systems 15, 1 (2016), 7:1–7:34. Google Scholar
Digital Library
- [8] . 2003. Timed automata: Semantics, algorithms and tools. In Lectures on Concurrency and Petri Nets, Advances in Petri Nets,
Lecture Notes in Computer Science , Vol. 3098, , , and (Eds.). Springer, 87–124. Google ScholarCross Ref
- [9] . 1991. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering 17, 3 (1991), 259–273. Google Scholar
Digital Library
- [10] . 2018. Modeling and analysis of engine control tasks under dynamic priority scheduling. IEEE Transactions on Industrial Informatics 14, 10 (2018), 4407–4416. Google Scholar
Cross Ref
- [11] . 2009. TCTL model checking of time Petri nets. Journal of Logic and Computation 19, 6 (2009), 1509–1540. Google Scholar
Digital Library
- [12] . 2016. Reducing internet latency: A survey of techniques and their merits. IEEE Communications Surveys and Tutorials 18, 3 (2016), 2149–2196. Google Scholar
Digital Library
- [13] . 1995. Compositional validation of time-critical systems using communicating time Petri nets. IEEE Transactions on Software Engineering 21, 12 (1995), 969–992. Google Scholar
Digital Library
- [14] . 1998. Mobile ambients. In Proceedings of the 1st International Conference on Foundations of Software Science and Computation Structure (FoSSaCS’98), Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS’98),
Lecture Notes in Computer Science , Vol. 1378, (Ed.). Springer, 140–155. Google ScholarCross Ref
- [15] . 2012. Efficient algorithms for collision avoidance at intersections. In Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control. 145–154. Google Scholar
Digital Library
- [16] . 2014. Least restrictive supervisors for intersection collision avoidance: A scheduling approach. IEEE Transactions on Automatic Control 60, 6 (2014), 1515–1527. Google Scholar
Cross Ref
- [17] . 2013. Autonomous cooperative driving: A velocity-based negotiation approach for intersection crossing. In Proceedings of the16th International IEEE Conference on Intelligent Transportation Systems (ITSC’13). IEEE, 1456–1461. Google Scholar
Cross Ref
- [18] . 2013. Personnel scheduling: A literature review. European Journal of Operational Research 226, 3 (2013), 367–385. Google Scholar
Cross Ref
- [19] . 2008. A multiagent approach to autonomous intersection management. Journal of Artificial Intelligence Research 31 (2008), 591–656. Google Scholar
Cross Ref
- [20] . 2007. Modeling and analysis of real-time cooperative systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics - Part A 37, 5 (2007), 643–654. Google Scholar
Digital Library
- [21] . 2008. Cyber-physical systems executive summary. CPS Summit 2008.Google Scholar
- [22] . 2009. Quantifying security for timed process algebras. Fundamenta Informaticae 93, 1–3 (2009), 155–169. Google Scholar
Cross Ref
- [23] . 2000. Making ambients more robust. In Proceedings of the International Conference on Software: Theory and Practice. Citeseer, 377–384.Google Scholar
- [24] . 2013. Cooperative collision avoidance at intersections: Algorithms and experiments. IEEE Transactions on Intelligent Transportation Systems 14, 3 (2013), 1162–1175. Google Scholar
Digital Library
- [25] . 1986. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering 12, 9 (1986), 890–904. Google Scholar
Digital Library
- [26] . 2013. Configuring business process models. ACM SIGSOFT Software Engineering Notes 38, 4 (
July 2013), 1–10. Google ScholarDigital Library
- [27] . 2014. Configuration of services based on virtualization. In 2014 Theoretical Aspects of Software Engineering Conference (TASE’14). IEEE Computer Society, 177–184. Google Scholar
Digital Library
- [28] . 2015. Analyzing event-based scheduling in concurrent reactive systems. ACM Transactions on Embedded Computing Systems 14, 4 (2015), 86:1–86:27. Google Scholar
Digital Library
- [29] . 2017. Event-based mobility modeling and analysis. ACM Transactions on Cyber-Physical Systems 1, 2 (2017), 9:1–9:32. Google Scholar
Digital Library
- [30] . 2018. Distributed dynamic scheduling for cyber-physical production systems based on a multi-agent system. IEEE Access 6 (2018), 1855–1869. Google Scholar
Cross Ref
- [31] . 1998. Compositional verification of concurrent systems using Petri-net-based condensation rules. ACM Transactions on Programming Languages and Systems 20, 5 (1998), 917–979. Google Scholar
Digital Library
- [32] . 2013. Parallel scheduling for cyber-physical systems: Analysis and case study on a self-driving car. In Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013) (ICCPS’13), , , and (Eds.). ACM, 31–40. Google Scholar
Digital Library
- [33] . 2012. Cyber-physical systems: A perspective at the centennial. Proceedings of the IEEE 100, 1 (
May 2012), 1287–1308. Google ScholarCross Ref
- [34] . 2010. Analytic real-time analysis and timed automata: A hybrid methodology for the performance analysis of embedded real-time systems. Design Automation for Embedded Systems 14, 3 (2010), 193–227. Google Scholar
Digital Library
- [35] . 2017. Development and use of a new task model for cyber-physical systems: A real-time scheduling perspective. Journal of Systems and Software 126 (2017), 45–56. Google Scholar
Cross Ref
- [36] . 2003. Mobile safe ambients. ACM Transactions on Programming Languages and Systems 25, 1 (2003), 1–69. Google Scholar
Digital Library
- [37] . 2015. A new scheduling technique for the resource constrained project scheduling problem with discounted cash flows. International Journal of Production Research 53, 9 (2015), 2771–2786. Google Scholar
Cross Ref
- [38] . 2012. Scheduling in Cyber-Physical Systems. Dissertation. Carnegie Mellon University. http://repository.cmu.edu/dissertations/91.Google Scholar
- [39] . 2012. Maximal scheduling in wireless ad hoc networks with hypergraph interference models. IEEE Transactions on Vehicular Technology 61, 1 (
Nov. 2012), 297–310. Google ScholarCross Ref
- [40] . 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20, 1 (
Nov. 1973), 46–61. Google ScholarDigital Library
- [41] . 2014. Scheduling temporal data with dynamic snapshot consistency requirement in vehicular cyber-physical systems. ACM Transactions on Embedded Computing Systems 13, 5s (2014), 163:1–163:21. Google Scholar
Digital Library
- [42] . 1993. Partial orderings of event sets and their application to prototyping concurrent, timed systems. Journal of Systems and Software 21, 3 (
June 1993), 253–265. Google ScholarDigital Library
- [43] . 2017. Adaptive real-time scheduling of cyber-physical energy systems. ACM Transactions on Cyber-Physical Systems 1, 4 (2017), 20:1–20:25. Google Scholar
Digital Library
- [44] . 2002. Bisimulation congruences in safe ambients. In Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, and (Eds.). ACM, 71–80. Google Scholar
Digital Library
- [45] . 1980. A Calculus of Communicating Systems.
Lecture Notes in Computer Science , Vol. 92. Springer. Google ScholarCross Ref
- [46] . 1992. A calculus of mobile processes, I. Information and Computtation 100, 1 (1992), 1–40. Google Scholar
Digital Library
- [47] . 1989. Petri nets: Properties, analysis, and applications. Proceedings of the IEEE 77, 4 (
April 1989), 541–580. Google ScholarCross Ref
- [48] . 2020. Adaptive neural fuzzy inference system-based scheduler for cyber-physical system. Soft Computing 24, 22 (2020), 17309–17318. Google Scholar
Digital Library
- [49] . 2017. Quantized feedback scheduling for MIMO-OFDM broadcast networks with subcarrier clustering. Ad Hoc Networks 65 (2017), 26–37. Google Scholar
Digital Library
- [50] . 2016. Modelling and solving generalised operational surgery scheduling problems. Computers & Operations Research 66 (2016), 1–11. Google Scholar
Digital Library
- [51] . 2013. Multi-layered scheduling of mixed-criticality cyber-physical systems. Journal of Systems Architecture 59, 10-D (2013), 1215–1230. Google Scholar
Digital Library
- [52] . 1999. Deadline scheduling for real-time systems: EDF and related algorithms. Computers & Mathematics with Applications 38, 11 (1999), 288. Google Scholar
Cross Ref
- [53] . 2016. Revisiting street intersections using slot-based systems. PloS One 11, 3 (2016), e0149607. Google Scholar
Cross Ref
- [54] . 2012. A unified methodology for scheduling in distributed cyber-physical systems. ACM Transactions on Embedded Computing Systems 11, S2 (2012), 57:1–57:25. Google Scholar
Digital Library
- [55] . 2002. Using ambients to control resources. In Proceedings of the 13th International Conference on Concurrency Theory (CONCUR’02).
Lecture Notes in Computer Science , Vol. 2421, , , , and (Eds.). Springer, 288–303. Google ScholarCross Ref
- [56] . 1995. Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications. IEEE Transactions on Software Engineering 21, 1 (1995), 32–49. Google Scholar
Digital Library
- [57] . 1995. Configuration structures. In Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society, 199–209. Google Scholar
Cross Ref
- [58] . 2009. Configuration structures, event structures and Petri nets. Theoretical Computer Science 410, 41 (
Sept. 2009), 4111–4159.Google ScholarDigital Library
- [59] . 2013. A topology-based model for railway train control systems. IEEE Transactions on Intelligent Transportation Systems 14, 2 (
June 2013), 819–827. Google ScholarDigital Library
- [60] . 2000. Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics - Part B 30, 5 (2000), 725–736. Google Scholar
Digital Library
- [61] . 2017. Harmonicity-aware task partitioning for fixed priority scheduling of probabilistic real-time tasks on multi-core platforms. ACM Transactions on Embedded Computing Systems 16, 4 (2017), 101:1–101:21. Google Scholar
Digital Library
- [62] . 1995. Models for Concurrency. Oxford Science Publications, Oxford.Google Scholar
- [63] 2002. Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Transactions on Software Engineering 28, 10 (
Oct. 2002), 984–996. Google ScholarDigital Library
- [64] . 2003. A formal architectural model for logical agent mobility. IEEE Tranactions on Software Engineering 29, 1 (2003), 31–45. Google Scholar
Digital Library
- [65] . 2018. Scheduling parallel computations by work stealing: A survey. International Journal of Parallel Programming 46, 2 (2018), 173–197. Google Scholar
Digital Library
- [66] . 2020. Task optimization and scheduling of distributed cyber-physical system based on improved ant colony algorithm. Future Generation Computer Systems 109 (2020), 134–148. Google Scholar
Cross Ref
- [67] . 1991. CCS + Time = An interleaving model for real time systems. In Proceedings of the 18th International Colloquium on Automata, Languages and Programming, (ICALP’91).
Lecture Notes in Computer Science , Vol. 510, , , and (Eds.). Springer, 217–228. Google ScholarCross Ref
- [68] . 2008. Task scheduling for control oriented requirements for cyber-physical systems. In Proceedings of the 29th IEEE Real-Time Systems Symposium (RTSS’08). IEEE Computer Society, 47–56. Google Scholar
Digital Library
Index Terms
Scheduling in Real-Time Mobile Systems
Recommendations
Isolation Modeling and Analysis Based on Mobility
In a mobile system, mobility refers to a change in position of a mobile object with respect to time and its reference point, whereas isolation means the isolation relationship between mobile objects under some scheduling policies. Inspired by event-...
A Performance Analysis of Minimum Laxity and Earliest Deadline Scheduling in a Real-Time System
A study is made of the performance of a real-time system in which jobs all have deadlines for either the beginning or the end of service. In the first case the authors analyze the minimum laxity (ML) scheduling policy when there are c processors, and in ...
Real-time scheduling in cloud-based virtualized software systems
NordiCloud '13: Proceedings of the Second Nordic Symposium on Cloud Computing & Internet TechnologiesThe number of applications that use virtualized cloud-based systems is growing, and one would like to use this kind of systems also for real-time applications with hard deadlines. There is scheduling on two levels in real-time applications executing in ...






Comments