research-article

Firmness Analysis of Real-time Tasks

Authors:

Amir Behrouzian,

Hadi Alizadeh Ara,

Twan BastenAuthors Info & Claims

ACM Transactions on Embedded Computing Systems (TECS), Volume 19, Issue 4

Article No.: 26, Pages 1 - 24

https://doi.org/10.1145/3398328

Published: 12 July 2020 Publication History

Abstract

(m,k)-firm real-time tasks require meeting the deadline of at least m jobs out of any k consecutive jobs. When compared to hard real-time tasks, (m,k)$-firm tasks open up the possibility of tighter resource-dimensioning in implementations. Firmness analysis verifies the satisfaction of (m,k)-firmness conditions. Scheduling policies under which a set of periodic tasks runs on a resource influence the number of deadline missed jobs. Therefore, the nature of the firmness analysis problem depends on scheduling policies. In this work, we present Firmness Analysis (FAn) methods for three common scheduling policies—synchronous and asynchronous Static Priority Preemptive (SPP) policies and Time Division Multiple Access (TDMA). We first introduce the Balloon and Rake problem—the problem of striking the maximum number of balloons in a balloon line with a rake. We show that the common core of firmness analysis problems can be abstracted as the Balloon and Rake problem. Next, we prove that the Finite Point method is a solution to the Balloon and Rake problem. We illustrate how existing FAn methods for the TDMA and asynchronous SPP policies can be adapted to use the same solution framework for the Balloon and Rake problem. Using the solution of the Balloon and Rake problem, we adapt the existing FAn methods to synchronous SPP scheduling policies. The scalability of the FAn methods is compared with that of a timed-automata approach, a brute-force approach, and a Mixed Integer Linear Programing method. The FAn methods scale substantially better to firmness analysis problem instances with a large k and a high number of tasks.

References

[1]

Benny Akesson, Anna Minaeva, Premysl Sucha, Andrew Nelson, and Zdenek Hanzalek. 2015. An efficient configuration methodology for time-division multiplexed single resources. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium (RTAS’15). IEEE.

[2]

R. Alur and D. L. Dill. 1994. A theory of timed automata. Theor. Comput. Sci. 126, 2 (1994), 183--235.

Digital Library

[3]

A. R. B. Behrouzian, D. Goswami, and T. Basten. 2018. Robust co-synthesis of embedded control systems with occasional deadline misses. In Proceedings of the International Symposium on On-Line Testing and Robust System Design (IOLTS’18).

[4]

A. R. B. Behrouzian, D. Goswami, T. Basten, M. Geilen, H. Alizadeh Ara, and M. Hendriks. 2018. Firmness analysis of real-time applications under static-priority preemptive scheduling. In Proceedings of the Real-Time and Embedded Technology and Applcations Symposium (RTAS’18).

[5]

A. R. B. Behrouzian, D. Goswami, M. Geilen, M. Hendriks, H. Alizadeh Ara, E. P. van Horssen, W. P. M. H. Heemels, and T. Basten. 2016. Sample-drop firmness analysis of TDMA-scheduled control applications. In Proceedings of the International Symposium on Industrial Embedded Systems (SIES’16).

[6]

G. Bernat. 1998. Specification and Analysis of Weakly Hard Real-time Systems. Universitat de les Illes Balears, Spain.

[7]

G. Bernat, A. Burns, and A. Llamosi. 2001. Weakly hard real-time systems. IEEE Trans. Comput. 50, 4 (2001), 308--321.

Digital Library

[8]

T. Bund and F. Slomka. 2015. Worst-case performance validation of safety-critical control systems with dropped samples. In Proceedings of the 23rd International Conference on Real Time and Networks Systems.

[9]

G. Buttazzo. 2011. Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer Science & Business Media.

[10]

F. Cassez and K. Larsen. 2000. The impressive power of stopwatches. In Proceedings of the International Conference on Concurrency Theory. Springer.

[11]

M. Coutinho, J. Rufino, and C. Almeida. 2008. Response time analysis of asynchronous periodic and sporadic tasks sheduled by priority preemptive algorithm. In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS’08).

[12]

M. E. M. Ben GaÃŕd, D. Simon, and O. Sename. 2008. Beyond the weakly hard model: Measuring the performance cost of deadline misses. In IFAC Proceedings.

[13]

D. Goswami, R. Schneider, and S. Chakraborty. 2014. Relaxing signal delay constraints in distributed embedded controllers. IEEE Trans. Contr. Syst. Technol. 22, 6 (2014), 2337--2345.

[14]

M. Hamdaoui and P. Ramanathan. 1995. A dynamic priority assignment technique for streams with -firm deadlines. IEEE Trans. Comput. 44, 12 (1995), 1443--1451.

Digital Library

[15]

Z. A. H. Hammadeh, S. Quinton, and R. Ernst. 2014. Extending typical worst-case analysis using response-time dependencies to bound deadline misses. In Proceedings of the International Conference on Embedded Software (EMSOFT’14).

[16]

H. Ismail, D. Jawawi, and M. Isa. 2015. A weakly hard real-time tasks on global scheduling of multiprocessor systems. In Proceedings of the Software Engineering Conference (MySEC’15).

[17]

Y. Kong and H. Cho. 2011. Guaranteed scheduling for (m, k)-firm deadline-constrained real-time tasks on multiprocessors. In Proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT’11).

[18]

J. Y. T. Leung and J. Whitehead. 1982. On the complexity of fixed-priority scheduling of periodic, real-time tasks. Perf. Eval. 2, 4 (1982), 237--250.

[19]

C. L. Liu and J. W. Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20, 1 (1973), 46--61.

Digital Library

[20]

J. Ning, Y. Song, and L. Rui-Zhong. 2005. Analysis of networked control system with packet drops governed by -firm constraint. In Proceedings of the International Conference on Fieldbus Systems and Their Applications.

[21]

P. Pazzaglia, L. Pannocchi, A. Biondi, and M. Di Natale. 2018. Beyond the weakly hard model: Measuring the performance cost of deadline misses. In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS’18).

[22]

S. Quinton, T. Bone, J. Hennig, M. Neukirchner, M. Negrean, and R. Ernst. 2014. Typical worst case response-time analysis and its use in automotive network design. In Proceedings of the 51st Annual Conference on Design Automation. ACM.

[23]

Y. Sun and M. Natale. 2017. Weakly hard schedulability analysis for fixed priority scheduling of periodic real-time tasks. ACM Trans. Embedd. Comput. Syst. 16, 5s (2017), 171.

Digital Library

[24]

S. Tobuschat, R. Ernst, A. Hamann, and D. Ziegenbein. 2016. System-level timing feasibility test for cyber-physical automotive systems. In Proceedings of the International Symposium on Industrial Embedded Systems (SIES’16).

[25]

E. van Horssen, A. Behrouzian, D. Goswami, D. Antunes, T. Basten, and M. Heemels. 2016. Performance analysis and controller improvement for linear systems with (m, k)-firm data losses. In Proceedings of the European Control Conference (ECC’16).

[26]

W. Xu, Z. Hammadeh, A. Kröller, R. Ernst, and S. Quinton. 2015. Improved deadline miss models for real-time systems using typical worst-case analysis. In Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS’15).

[27]

Q. Zhou, G. Li, and J. Li. 2017. Improved carry-in workload estimation for global multiprocessor scheduling. IEEE Trans. Parallel Distrib. Syst. 28, 9 (2017), 2527--2538.

Digital Library

Cited By

Vreman NPates RMaggio M(2022)WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS54340.2022.00026(228-240)Online publication date: May-2022
https://doi.org/10.1109/RTAS54340.2022.00026
Haghi MYu SGoswami DGoossens KKoedam MNelson A(2022)State-based switching multi-rate controller for improving resource utilization on predictable and composable platformsMicroprocessors and Microsystems10.1016/j.micpro.2022.10451791(104517)Online publication date: Jun-2022
https://doi.org/10.1016/j.micpro.2022.104517

Index Terms

Firmness Analysis of Real-time Tasks
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded software
  2. Real-time systems
    1. Real-time system architecture
    2. Real-time system specification

Recommendations

Analysis on quantum-based fixed priority scheduling of real-time tasks
ICUIMC '09: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication

Fixed priority schedulers are widely used for real-time systems, and there were efforts to improve the schedulability. Preemption threshold scheduling is one of such efforts with a dual priority scheme. It increases the schedulability by introducing ...
Preference-oriented fixed-priority scheduling for periodic real-time tasks

A preference priority assignment (PPA) scheme that explicitly incorporates the ASAP and ALAP execution preferences of periodic real-time tasks is proposed.An online dual-queue based preference-oriented fixed- priority (POFP) scheduler is proposed 4, ...
Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities
RTAS '10: Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium

Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NP-hardin the strong sense. We observe that a variation of the problem statement that includes sporadic tasks instead ofperiodic tasks results ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Embedded Computing Systems

ACM Transactions on Embedded Computing Systems Volume 19, Issue 4

July 2020

196 pages

ISSN:1539-9087

EISSN:1558-3465

DOI:10.1145/3407675

Editor:
Tulika Mitra
National University of Singapore, Singapore

Issue’s Table of Contents

Copyright © 2020 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 12 July 2020

Online AM: 07 May 2020

Accepted: 01 May 2020

Revised: 01 January 2020

Received: 01 July 2018

Published in TECS Volume 19, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

ARTEMIS joint undertaking under the ALMARVI project

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
97
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Vreman NPates RMaggio M(2022)WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS54340.2022.00026(228-240)Online publication date: May-2022
https://doi.org/10.1109/RTAS54340.2022.00026
Haghi MYu SGoswami DGoossens KKoedam MNelson A(2022)State-based switching multi-rate controller for improving resource utilization on predictable and composable platformsMicroprocessors and Microsystems10.1016/j.micpro.2022.10451791(104517)Online publication date: Jun-2022
https://doi.org/10.1016/j.micpro.2022.104517

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Media

Figures

Other

Tables

View Issue’s Table of Contents