-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=多核多任务实时系统 "
共 条 记 录，以下是1-2

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
抢占式调度问题的PPTA模型与验证方法
《软件学报》2024年第10期4533-4554,共22页左正康 赵帅 王昌晶 谢武平 黄箐 
国家自然科学基金(61862033,62262031);江西省教育厅科技项目(GJJ210307,GJJ210334)。
优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统...
关键词：优先级抢占式调度 抢占式优先级时间自动机 多核多任务实时系统 UPPAAL 
模拟实时系统的点区间优先级时间Petri网与TCTL验证被引量：5
《软件学报》2022年第8期2947-2963,共17页何雷锋 刘关俊 
国家自然科学基金(62172299,62032019);上海市级科技重大专项(2021SHZDZX0100);中央高校基本科研业务费专项资金。
时间Petri网为实时系统提供了一种形式化的建模方法,时间计算树逻辑(TCTL)为描述实时系统与时间相关的设计需求提供了一种逻辑化的表达方式,因此,基于时间Petri网的TCTL模型检测广泛应用于实时系统的正确性验证.然而对于一些涉及优先级...
关键词：点区间优先级时间Petri网 多核多任务实时系统 时间计算树逻辑(TCTL) 模型检测 抢占式调度 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部