Document Open Access Logo

Scheduling Offset-Free Systems Under FIFO Priority Protocol

Authors Matheus Ladeira , Emmanuel Grolleau , Fabien Bonneval, Gautier Hattenberger , Yassine Ouhammou , Yuri Hérouard

PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2022.11.pdf
  • Filesize: 1.28 MB
  • 19 pages

Document Identifiers

Author Details

Matheus Ladeira
  • ISAE ENSMA, Chasseneuil, France
  • University of Poitiers, France
Emmanuel Grolleau
  • ISAE-ENSMA, Chasseneuil, France
  • University of Poitiers, France
Fabien Bonneval
  • Ecole Nationale de l'Aviation Civile, Toulouse, France
Gautier Hattenberger
  • Ecole Nationale de l'Aviation Civile, Toulouse, France
Yassine Ouhammou
  • ISAE-ENSMA, Chasseneuil, France
  • University of Poitiers, France
Yuri Hérouard
  • ISAE-ENSMA, Chasseneuil, France

Funding

This project has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 826610. The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Spain, Austria, Belgium, Czech Republic, France, Italy, Latvia, Netherlands.

Cite AsGet BibTex

Matheus Ladeira, Emmanuel Grolleau, Fabien Bonneval, Gautier Hattenberger, Yassine Ouhammou, and Yuri Hérouard. Scheduling Offset-Free Systems Under FIFO Priority Protocol. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 11:1-11:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.ECRTS.2022.11

Abstract

On UAVs, telemetry messages are often sent following a FIFO schedule, and some messages, depending on the FIFO queue state may suffer long delays, and can even be lost if the FIFO queue is full. Considering the high complexity of the problem of assigning offsets to periodic tasks, we propose a new heuristic, called GCD+, that we compare to the methods of the state of the art, showing that GCD+ significantly outperforms them on synthetic tasks sets. Then we use a real UAV use case, based on Paparazzi autopilot, to show that GCD+ behaves well. The proposed algorithm is meant to be the new Paparazzi’s automatic offset assignment method for messages.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time system architecture
  • Computer systems organization → Embedded software
Keywords
  • Scheduling
  • non-preemptible
  • heuristics
  • FIFO
  • autopilot

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Supplementary Materials

References

  1. Sebastian Altmeyer, Sakthivel Manikandan Sundharam, and Nicolas Navet. The case for fifo real-time scheduling. Technical report, University of Luxembourg, 2016. Google Scholar
  2. Chaitanya Belwal and Albert MK Cheng. Generating bounded task periods for experimental schedulability analysis. In 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, pages 249-254. IEEE, 2011. Google Scholar
  3. Pascal Brisset, Antoine Drouin, Michel Gorraz, Pierre-selim Huard, and Jeremy Tyler. The Paparazzi Solution. HAL, 2006. Google Scholar
  4. Vicent Brocal, Patricia Balbastre, Rafael Ballester, and Ismael Ripoll. Task period selection to minimize hyperperiod. In ETFA2011, pages 1-4. IEEE, 2011. Google Scholar
  5. Michael R Garey and David S Johnson. Computers and intractability, volume 174. freeman San Francisco, 1979. Google Scholar
  6. Joel Goossens and Christophe Macq. Limitation of the hyper-period in real-time periodic task set generation. In In Proceedings of the RTS Embedded System (RTS’01. Citeseer, 2001. Google Scholar
  7. Joël Goossens. Scheduling of offset free systems. Real-Time Systems, 24(2):239-258, 2003. Google Scholar
  8. Mathieu Grenier, Joël Goossens, and Nicolas Navet. Near-optimal fixed priority preemptive scheduling of offset free systems. In 14th International Conference on Real-Time and Networks Systems (RTNS'06), pages 35-42, 2006. Google Scholar
  9. Mathieu Grenier, Lionel Havet, and Nicolas Navet. Pushing the Limits of CAN - Scheduling Frames with Offsets Provides a Major Performance Boost. 4th European Congress on Embedded Real Time Software (ERTS 2008), 2008. Google Scholar
  10. David Griffin, Iain Bate, and Robert I Davis. Generating utilization vectors for the systematic evaluation of schedulability tests. In 2020 IEEE Real-Time Systems Symposium (RTSS), pages 76-88. IEEE, 2020. Google Scholar
  11. Gautier Hattenberger, Murat Bronz, and Michel Gorraz. Using the paparazzi UAV system for scientific research. In IMAV 2014, International Micro Air Vehicle Conference and Competition 2014, page 247, 2014. Google Scholar
  12. Mitra Nasri, Robert I Davis, and Björn B Brandenburg. Fifo with offsets: High schedulability with low overheads. In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 271-282. IEEE, 2018. Google Scholar
  13. Mitra Nasri and Gerhard Fohler. An efficient method for assigning harmonic periods to hard real-time tasks with period ranges. In 2015 27th Euromicro Conference on Real-Time Systems, pages 149-159. IEEE, 2015. Google Scholar
  14. Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, and Pascal Richard. Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. In 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 231-236. IEEE, 2018. Google Scholar
  15. Réda Nouacer, Mahmoud Hussein, Huascar Espinoza, Yassine Ouhammou, Matheus Ladeira, and Rodrigo Castiñeira. Towards a framework of key technologies for drones. Microprocessors and Microsystems, 77:103142, 2020. Google Scholar
  16. Paparazzi developers. Paparazzi home page. https://paparazziuav.org. Accessed: 02-02-2022.
  17. Paparazzi developers. Paparazzi offset generation source code. https://github.com/paparazzi/paparazzi/blob/master/sw/tools/generators/gen_periodic.ml. Accessed: 02-02-2022.
  18. Rodolfo Pellizzoni and Giuseppe Lipari. Feasibility analysis of real-time periodic tasks with offsets. Real-Time Systems, 30(1-2):105-128, 2005. URL: https://doi.org/10.1007/s11241-005-0506-x.
  19. Ismael Ripoll and Rafael Ballester-Ripoll. Period selection for minimal hyperperiod in periodic task systems. IEEE Transactions on Computers, 62(9):1813-1822, 2012. Google Scholar
  20. Jia Xu. A method for adjusting the periods of periodic processes to reduce the least common multiple of the period lengths in real-time embedded systems. In Proceedings of 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 288-294. IEEE, 2010. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact