实时任务准入控制器的自动合成

• 作者: P.S.Thiagarajan 杨绍发 王义
• 来源期刊: 集成技术
• 学科: 工学
• 关键词: 实时系统 任务调度 控制器合成 自动机理论
• 年，卷（期）: 2017,（3）
• 页码范围: 1-14
• 页数: 14页
• 分类号: TP3-0|TP31
• 字数: 6187字
• 语种: 中文

摘要

在许多实时系统中,同一个计算平台上往往既有硬实时关键计算任务又有软实时非关键计算任务.硬实时任务必须在规定时间内完成,否则将导致系统错乱或崩溃等严重后果.而软实时任务若没有在规定时间内完成,虽会影响系统性能,但不会造成重大后果.为确保每个硬实时任务均在其规定时间内完成,在某些情况下需要拒绝一些软实时任务进入任务队列.文章提出了一种基于控制器自动合成策略的解决方案,通过所设计的准入控制器,对系统产生的每一个新任务自动决定是否准其进入任务队列.准入控制器必须使得所有被准入的任务均在规定时间内完成,并且决策序列满足以线性时态逻辑描述的服务质量要求.文章的主要贡献是提出了判定是否存在准入控制器的算法,该算法能在判定结果为真时构造出一个以有限状态时间自动机表达的准入控制器.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	P.S.Thiagarajan	美国哈佛大学哈佛医学院	1	1	1.0	1.0
2	杨绍发	中国科学院软件研究所计算机科学国家重点实验室	1	1	1.0	1.0