Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols

The work, presented in this article, aims at performing scheduling analysis of Time Division Multiple Access (TDMA) based communication systems. Products called software radio protocols, developed at Thales Communications & Security, are used as case-studies.Such systems are real-time embedded systems. They are implemented by tasks that are statically allocated on multiple processors. A task may have an execution time, a deadline and a release time that depend on TDMA configuration. The tasks also have dependencies through precedence and shared resources. TDMA-based software radio protocols have architecture characteristics that are not handled by scheduling analysis methods of the literature. A consequence is that existing methods give either optimistic or pessimistic analysis results.We propose a task model called Dependent General Multiframe (DGMF) to capture the specificities of such a system for scheduling analysis. The DGMF task model describes, in particular, the different jobs of a task, and task dependencies. To analyze DGMF tasks, we propose their transformation to real-time transactions and we also propose a new schedulability test for such transactions.The general analysis method is implemented in a tool that can be used by software engineers and architects. Experimental results show that our propositions give less pessimistic schedulability results, compared to fundamental methods. The results are less pessimistic for both randomly generated systems and real case-studies from Thales.These results are important for engineering work, in order to limit the over-dimensioning of resources. Through tooling, we also automated the analysis. These are advantages for engineers in the more and more competitive market of software radios.

[1]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[2]  Hermann Kopetz,et al.  The time-triggered model of computation , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[3]  Emmanuel Grolleau,et al.  Minimal schedulability interval for real-time systems of periodic tasks with offsets , 2004, Theor. Comput. Sci..

[4]  Alan Burns,et al.  The End Of The Line For Static Cyclic Scheduling? , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[5]  Sanjoy K. Baruah,et al.  Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks , 2004, Real-Time Systems.

[6]  Tom S. Chan Time‐Division Multiple Access , 2011 .

[7]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[8]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[9]  Pascal Richard,et al.  Dynamic priority scheduling of periodic tasks with extended precedences , 2011, ETFA2011.

[10]  Sanjoy K. Baruah,et al.  A Generalized Parallel Task Model for Recurrent Real-time Processes , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[11]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[12]  Alain Plantec,et al.  Investigating the usability of real-time scheduling theory with the Cheddar project , 2009, Real-Time Systems.

[13]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[14]  Frédéric Boniol,et al.  Scheduling Dependent Periodic Tasks without Synchronization Mechanisms , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[15]  Françoise Simonot-Lion,et al.  EAST-ADL - An Architecture Description Language - Validation and Verification Aspects , 2004, IFIP-WADL.

[16]  Maryline Chetto,et al.  Dynamic scheduling of real-time tasks under precedence constraints , 1990, Real-Time Systems.

[17]  Wang Yi,et al.  An optimal resource sharing protocol for generalized multiframe tasks , 2015, J. Log. Algebraic Methods Program..

[18]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[19]  Shuai Li,et al.  Extending schedulability tests of tree-shaped transactions for TDMA radio protocols , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[20]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[21]  Hiroaki Takada,et al.  Schedulability of generalized multiframe task sets under static priority assignment , 1997, Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications.

[22]  Klaus Simon,et al.  Finding a Minimal Transitive Reduction in a Strongly Connected Digraph within Linear Time , 1989, WG.

[23]  Wei Zhao,et al.  The timed-token protocol for real-time communications , 1994, Computer.

[24]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[25]  Ernesto Wandeler,et al.  Optimal TDMA time slot and cycle length allocation for hard real-time systems , 2006, Asia and South Pacific Conference on Design Automation, 2006..

[26]  J. Javier Gutiérrez,et al.  Schedulability analysis of distributed hard real-time systems with multiple-event synchronization , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[27]  Alan Burns,et al.  Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition , 2009, International computer science series.

[28]  Hermann Kopetz,et al.  Event-Triggered Versus Time-Triggered Real-Time Systems , 1991, Operating Systems of the 90s and Beyond.

[29]  Sebastian Stiller,et al.  Feasibility Analysis in the Sporadic DAG Task Model , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[30]  R. Rajkumar Real-time synchronization protocols for shared memory multiprocessors , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[31]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[32]  Sanjoy K. Baruah,et al.  Generalized Multiframe Tasks , 1999, Real-Time Systems.

[33]  Michael González Harbour,et al.  Exploiting precedence relations in the schedulability analysis of distributed real-time systems , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[34]  Joseph Mitola,et al.  The software radio architecture , 1995, IEEE Commun. Mag..

[35]  Ahmed Rahni,et al.  Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF. (Scheduling analysis of real-time transactions) , 2008 .

[36]  Lionel C. Briand,et al.  Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines , 2014, Software & Systems Modeling.

[37]  Klaus Simon Finding a minimal transitive reduction in a strongly connected digraph within linear time , 1989 .

[38]  Ola Redell,et al.  Analysis of tree-shaped transactions in distributed real time systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..