Latency analysis for data chains of real-time periodic tasks

A data chain is a sequence of periodic realtime communicating tasks that are processing the data from sensors up to actuators. It determines an order in which the tasks propagate data but not in which they are executed: inter-task communication and scheduling are independent. In this paper, we focus on the latency computation, considered as the time elapsed from getting the data from an input and processing it to an output of a data chain. We propose a method for the worst-case latency calculation of periodic tasks' data chains executed by a partitioned fixed-priority preemptive scheduler upon a multiprocessor platform. As far as we know, there is no such formal approach based on closed-form expression for communicating real-time tasks.

[1]  Frédéric Boniol,et al.  End-to-end latency computation in a multi-periodic design , 2013, SAC '13.

[2]  Alberto L. Sangiovanni-Vincentelli,et al.  Period Optimization for Hard Real-time Distributed Automotive Systems , 2007, 2007 44th ACM/IEEE Design Automation Conference.

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

[4]  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.

[5]  Rolf Ernst,et al.  Response-Time Analysis for Task Chains in Communicating Threads , 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[6]  Jukka Mäki-Turja,et al.  Support for end-to-end response-time and delay analysis in the industrial tool suite: Issues, experiences and a case study , 2013, Comput. Sci. Inf. Syst..

[7]  Richard Gerber,et al.  Guaranteeing end-to-end timing constraints by calibrating intermediate processes , 1994, 1994 Proceedings Real-Time Systems Symposium.

[8]  Rémy Wyss,et al.  Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique , 2013 .

[9]  Dayton Clark.  HIC: an operating system for hierarchies of servo loops , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[10]  A. C. Rajeev,et al.  Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation , 2010, EMSOFT '10.

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

[12]  Aloysius K. Mok,et al.  A multiframe model for real-time tasks , 1996, 17th IEEE Real-Time Systems Symposium.

[13]  Thomas Nolte,et al.  Analyzing end-to-end delays in automotive systems at various levels of timing information , 2018, SIGBED.

[14]  Thomas Nolte,et al.  MECHAniSer - A Timing Analysis and Synthesis Tool for Multi-Rate Effect Chains with Job-Level Dependencies , 2016 .

[15]  Karl-Erik Årzén,et al.  On the Problem of Finding Optimal Harmonic Periods , 2016, RTNS '16.

[16]  Frédéric Boniol,et al.  A real-time architecture design language for multi-rate embedded control systems , 2010, SAC '10.

[17]  K MokAloysius,et al.  A Multiframe Model for Real-Time Tasks , 1997 .

[18]  Frédéric Boniol,et al.  Verifying end-to-end real-time constraints on multi-periodic models , 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

[19]  Purandar Bhaduri,et al.  Timing Analysis of Real-Time Embedded Systems using Model Checking , 2010 .

[20]  Nico Feiertag,et al.  A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics , 2008, RTSS 2009.

[21]  Alix Munier Kordon,et al.  Computing latency of a real-time system modeled by Synchronous Dataflow Graph , 2016, RTNS '16.

[22]  Dakshina Dasari,et al.  Communication Centric Design in Complex Automotive Embedded Systems , 2017, ECRTS.

[23]  Saad Mubeen,et al.  End-to-end timing analysis of cause-effect chains in automotive embedded systems , 2017, J. Syst. Archit..

[24]  J. Leung,et al.  A Note on Preemptive Scheduling of Periodic, Real-Time Tasks , 1980, Inf. Process. Lett..

[25]  Karl-Erik Årzén,et al.  Harmonic Scheduling and Control Co-design , 2016, 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[26]  Richard Gerber,et al.  Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes , 1995, IEEE Trans. Software Eng..

[27]  Anne-Marie Déplanche,et al.  SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms , 2014 .

[28]  C. Pinello,et al.  Architecture Exploration for Time-Critical and Cost-Sensitive Distributed Systems , 2007 .

[29]  Giorgio C. Buttazzo,et al.  Biasing effects in schedulability measures , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[30]  Thomas Nolte,et al.  Synthesizing Job-Level Dependencies for Automotive Multi-rate Effect Chains , 2016, 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).