Response-Time Analysis for Task Chains in Communicating Threads

When modelling software components for timing analysis, we typically encounter functional chains of tasks that lead to precedence relations. As these task chains represent a functionally-dependent sequence of operations, in real-time systems, there is usually a requirement for their end-to-end latency. When mapped to software components, functional chains often result in communicating threads. Since threads are scheduled rather than tasks, specific task chain properties arise that can be exploited for response-time analysis. As a core contribution, this paper presents an extension of the busy-window analysis suitable for such task chains in static-priority preemptive systems. We evaluated the extended busy-window analysis in a compositional performance analysis using synthetic test cases and a realistic automotive use case showing far tighter response-time bounds than current approaches.

[1]  Rolf Ernst,et al.  A recursive approach to end-to-end path latency computation in heterogeneous multiprocessor systems , 2009, CODES+ISSS '09.

[2]  R. Ernst,et al.  Compositional Performance Analysis in Python with pyCPA , 2012 .

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

[4]  Jun Sun,et al.  Bounding the end-to-end response time in multiprocessor real-time systems , 1995, Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems.

[5]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[6]  Jukka Mäki-Turja,et al.  Efficient implementation of tight response-times for tasks with offsets , 2008, Real-Time Systems.

[7]  Marco Panunzio,et al.  Integrating Formal Timing Analysis in the Real-Time Software Development Process , 2015, WOSP '15.

[8]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[9]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

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

[11]  Simon Perathoner,et al.  Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy , 2011 .

[12]  Alexander Böttcher,et al.  Timeslice Donation in Component-Based Systems , 2010 .

[13]  Frank Slomka,et al.  A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems , 2010, ISoLA.

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

[15]  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).

[16]  Rolf Ernst,et al.  Improved offset-analysis using multiple timing-references , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[17]  Ken Tindell,et al.  ADDING TIME-OFFSETS TO SCHEDULABILITY ANALYSIS , 1994 .

[18]  Rolf Ernst,et al.  Providing accurate event models for the analysis of heterogeneous multiprocessor systems , 2008, CODES+ISSS '08.

[19]  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).

[20]  Martin Stigge.  Real-Time Workload Models : Expressiveness vs. Analysis Efficiency , 2014 .

[21]  Kai Richter,et al.  Compositional scheduling analysis using standard event models , 2004 .

[22]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[23]  Rolf Ernst,et al.  An Extensible Autonomous Reconfiguration Framework for Complex Component-Based Embedded Systems , 2015, 2015 IEEE International Conference on Autonomic Computing.

[24]  Ola Redell,et al.  Response time analysis for implementation of distributed control systems , 2003 .

[25]  Frank Slomka,et al.  Reducing Response Times by Competition Based Dependencies , 2011, MBMV.