PReGO: A generative methodology for satisfying real-time requirements on COTS-based systems: Definition and experience report

Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Satisfying real-time requirements in cyber-physical systems is challenging as timing behaviour depends on the application software, the embedded hardware, as well as the execution environment. This challenge is exacerbated as real-world, industrial systems often use unpredictable hardware and software libraries or operating systems with timing hazards and proprietary device drivers. All these issues limit or entirely prevent the application of established real-time analysis techniques. In this paper we propose PReGO, a generative methodology for satisfying real-time requirements in industrial commercial-off-the-shelf (COTS) systems. We report on our experience in applying PReGO to a use-case: A Search and Rescue application running on a fixed-wing drone with COTS components, including an NVIDIA Jetson board and a stock Ubuntu/Linux. We empirically evaluate the impact of each integration step and demonstrate the effectiveness of our methodology in meeting real-time application requirements in terms of deadline misses and energy consumption.

Original languageEnglish
Title of host publicationGPCE 2020 - Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming : Concepts and Experiences, Co-located with SPLASH 2020
EditorsMartin Erwig, Jeff Gray
PublisherAssociation for Computing Machinery
Publication date16. Nov 2020
Pages70-83
ISBN (Electronic)9781450381741
DOIs
Publication statusPublished - 16. Nov 2020
Event19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020 - Co-located with SPLASH 2020 - Virtual, Online, United States
Duration: 16. Nov 202017. Nov 2020

Conference

Conference19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020 - Co-located with SPLASH 2020
Country/TerritoryUnited States
CityVirtual, Online
Period16/11/202017/11/2020
SponsorACM SIGPLAN

Keywords

  • Methodology
  • Real-Time Systems deployment
  • Use-case study

Fingerprint

Dive into the research topics of 'PReGO: A generative methodology for satisfying real-time requirements on COTS-based systems: Definition and experience report'. Together they form a unique fingerprint.

Cite this