FlexPRET: A processor platform for mixed-criticality systems
FlexPRET: A processor platform for mixed-criticality systems
复制标题
FlexPRET：用于混合关键性系统的处理器平台
DOI：
10.1109/rtas.2014.6925994
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Edward A. Lee
中科院分区：
文献类型：
--
作者：
Michael Zimmer;David Broman;C. Shaver;Edward A. Lee
混合关键度系统是指在同一硬件平台上执行多个不同关键度的任务，是实时嵌入式系统的一个新兴研究领域。高关键性任务需要空间和时间隔离保证独立验证，任务集应该有效地利用硬件资源。基于硬件的隔离是理想的，但通常未充分利用硬件资源，这些资源可以由多个单核、多核或多线程处理器组成。我们提出FlexPRET，一个专门为混合关键系统设计的处理器，允许每个任务之间的权衡基于硬件的隔离和有效的处理器利用率。FlexPRET使用细粒度多线程和灵活的调度和定时指令来提供此功能。
Mixed-criticality systems, in which multiple tasks of varying criticality execute on a single hardware platform, are an emerging research area in real-time embedded systems. High-criticality tasks require spatial and temporal isolation guarantees for independent verification, and the task set should efficiently utilize hardware resources. Hardware-based isolation is desirable but often underutilizes hardware resources, which can consist of multiple single-core, multicore, or multithreaded processors. We present FlexPRET, a processor designed specifically for mixed-criticality systems by allowing each task to make a trade-off between hardware-based isolation and efficient processor utilization. FlexPRET uses fine-grained multithreading with flexible scheduling and timing instructions to provide this functionality.