An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems
复制标题
DOI：
10.4230/lipics.ecrts.2022.14
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
A. Burns;Cliff B. Jones
中科院分区：
文献类型：
--
作者：
A. Burns;Cliff B. Jones
本文提出了一个正式的框架来描述一个关键感知调度程序和一组被分配不同的关键性级别的应用程序任务之间的关系。博览会采用了一系列的例子，从调度简单的工作，然后移动到混合关键鲁棒性和弹性的任务。所提出的形式主义扩展了可靠保证的方法，这有利于正式推理并发系统的功能行为，以解决实时性能。2012 ACM主题分类计算机系统组织→嵌入式和信息物理系统;软件及其工程→实时可扩展性
This paper proposes a formal framework for describing the relationship between a criticality-aware scheduler and a set of application tasks that are assigned different criticality levels. The exposition employs a series of examples starting with scheduling simple jobs and then moving on to mixed-criticality robust and resilient tasks. The proposed formalism extends the rely-guarantee approach, which facilitates formal reasoning about the functional behaviour of concurrent systems, to address real-time properties. 2012 ACM Subject Classification Computer systems organization → Embedded and cyber-physical systems; Software and its engineering → Real-time schedulability