Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

We present a compositional framework for the specification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.

[1]  Laura Carnevali,et al.  Compositional Verification for Hierarchical Scheduling of Real-Time Systems , 2013, IEEE Transactions on Software Engineering.

[2]  Alberto L. Sangiovanni-Vincentelli,et al.  Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools , 2010, Proceedings of the IEEE.

[3]  Wang Yi,et al.  TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems , 2003, FORMATS.

[4]  Insup Lee,et al.  Realizing Compositional Scheduling through Virtualization , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

[5]  Insup Lee,et al.  Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierachical Systems , 2009 .

[6]  Aloysius K. Mok,et al.  Resource partition for real-time systems , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[7]  Kim G. Larsen,et al.  Statistical and exact schedulability analysis of hierarchical scheduling systems , 2016, Sci. Comput. Program..

[8]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[9]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[10]  Giuseppe Lipari,et al.  Component-based analysis of hierarchical scheduling using linear hybrid automata , 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

[11]  Insup Lee,et al.  Improving resource utilization for compositional scheduling using DPRM interfaces , 2011, SIGBED.

[12]  Kim G. Larsen,et al.  Schedulability of Herschel-Planck Revisited Using Statistical Model Checking , 2012, ISoLA.

[13]  Samarjit Chakraborty,et al.  A Framework for Compositional and Hierarchical Real-Time Scheduling , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[14]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[15]  Dinesh Bhatia,et al.  Temporal Partitioning and Scheduling Data Flow Graphs for Reconfigurable Computers , 1999, IEEE Trans. Computers.

[16]  Kim G. Larsen,et al.  Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal , 2013, FACS.

[17]  Insik Shin,et al.  Towards hierarchical scheduling in VxWorks , 2008 .

[18]  Lijun Shan,et al.  A Framework for Evaluating Schedulability Analysis Tools , 2017, Models, Algorithms, Logics and Tools.

[19]  Jane W.-S. Liu,et al.  Scheduling real-time applications in an open environment , 1997, Proceedings Real-Time Systems Symposium.

[20]  Insup Lee,et al.  Compositional real-time scheduling framework with periodic model , 2008, TECS.