文章基本信息

标题：Refinement of Workload Models for Engine Controllers by State Space Partitioning
本地全文：下载
作者：Morteza Mohaqeqi ; Jakaria Abdullah ; Pontus Ekberg 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：76
页码：11:1-11:22
DOI：10.4230/LIPIcs.ECRTS.2017.11
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Engine Control Tasks; Schedulability Analysis; Minimum-Time Problem; DRT Task Model