Multi-requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study

Esper K, Wildermann S, Teich J (2022)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2022

Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik

City/Town: Dagstuhl, Germany

Book Volume: 98

Pages Range: 2:1--2:13

Conference Proceedings Title: Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022)

Event location: Budapest HU

ISBN: 978-3-95977-221-1

URI: https://drops.dagstuhl.de/opus/volltexte/2022/16110/

DOI: 10.4230/OASIcs.NG-RES.2022.2

Open Access Link: https://drops.dagstuhl.de/opus/volltexte/2022/16110/

Abstract

Embedded system applications usually have to meet hard real-time, energy or safety requirements on programs typically concurrently executed on a given MPSoC target platform. Enforcing such properties, e.g., by adapting the number of processors allocated to a program or by scaling the voltage/frequency mode of involved processors, is a difficult problem to solve, especially with a typically large varying environmental input (workload) per execution. In a previous work [1], we formalized the related enforcement problem using (a) finite state machines to model enforcement strategies, (b) discrete-time Markov chains to model the uncertain environment determining the system’s workload, and (c) the system response that defines the feedback for the reactive enforcer. In this paper, we apply that approach to specify and verify multi-requirement enforcement strategies and assess a case study for enforcing two independent requirements at the same time, i.e., latency and energy consumption. We evaluate and compare different enforcement strategies using probabilistic verification for the use case of an object detection application

Authors with CRIS profile

Khalil Esper Sonderforschungsbereich/Transregio 89 Invasives Rechnen Stefan Wildermann Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Related research project(s)

Basics of Invasive Computing (A01) (SFB/TRR 89 InvasIC (A01)) DFG SFB/Transregio 89 "Invasive Computing" (TRR 89) July 1, 2010 - Dec. 31, 2022

How to cite

APA:

Esper, K., Wildermann, S., & Teich, J. (2022). Multi-requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study. In Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022) (pp. 2:1--2:13). Budapest, HU: Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.

MLA:

Esper, Khalil, Stefan Wildermann, and Jürgen Teich. "Multi-requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study." Proceedings of the Workshop on Next Generation Real-Time Embedded Systems (NG-RES), Budapest Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2022. 2:1--2:13.

BibTeX: Download