2026-07-21T21:12:24Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7159 2024-03-06T10:39:53Z ddc:004 open_access

Refinement of Workload Models for Engine Controllers by State Space Partitioning Mohaqeqi, Morteza Abdullah, Jakaria Ekberg, Pontus Yi, Wang Engine Control Tasks Schedulability Analysis Minimum-Time Problem DRT Task Model We study an engine control application where the behavior of engine controllers depends on the engine's rotational speed. For efficient and precise timing analysis, we use the Digraph Real-Time (DRT) task model to specify the workload of control tasks where we employ optimal control theory to faithfully calculate the respective minimum inter-release times. We show how DRT models can be refined by finer grained partitioning of the state space of the engine up to a model which enables an exact timing analysis. Compared to previously proposed methods which are either unsafe or pessimistic, our work provides both abstract and tight characterizations of the corresponding workload. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Morteza Mohaqeqi and Jakaria Abdullah and Pontus Ekberg and Wang Yi 2017 Is Part Of LIPIcs, Volume 76, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECRTS.2017.11 urn:nbn:de:0030-drops-71598 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2017.11 eng https://creativecommons.org/licenses/by/3.0/legalcode