当前位置: X-MOL 学术Real-Time Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs
Real-Time Systems ( IF 1.3 ) Pub Date : 2019-03-01 , DOI: 10.1007/s11241-019-09331-1
Chao Peng , Haibo Zeng , Marco Di Natale

Synchronous reactive models are widely used in the development of embedded software and systems. The schedulability analysis of tasks obtained as the code implementation of synchronous finite state machines (FSMs) can be performed in several ways. One possible option is to leverage the correspondence between the execution of actions in an FSM and the execution of jobs in a digraph task model, thereby applying all the analysis methods developed for these digraph task systems. Another option is to directly leverage the state information and use dynamic programming methods to compute the worst possible sequence of (state dependent) reactions for a given FSM model. In this paper we compare these analysis methods in terms of accuracy and runtime.

中文翻译:

使用状态和有向图模型进行同步 FSM 可调度性分析的可调度性分析方法的比较

同步反应模型广泛用于嵌入式软件和系统的开发。作为同步有限状态机 (FSM) 的代码实现而获得的任务的可调度性分析可以通过多种方式执行。一种可能的选择是利用 FSM 中的动作执行与有向图任务模型中的作业执行之间的对应关系,从而应用为这些有向图任务系统开发的所有分析方法。另一种选择是直接利用状态信息并使用动态规划方法来计算给定 FSM 模型的(状态相关)反应的最坏可能序列。在本文中,我们在准确性和运行时间方面比较了这些分析方法。
更新日期:2019-03-01
down
wechat
bug