摘要：在许多实时系统中，同一个计算平台上往往既有硬实时关键计算任务又有软实时非关键计算任务。硬实时任务必须在规定时间内完成，否则将导致系统错乱或崩溃等严重后果。而软实时任务若没有在规定时间内完成，虽会影响系统性能，但不会造成重大后果。为确保每个硬实时任务均在其规定时间内完成，在某些情况下需要拒绝一些软实时任务进入任务队列。文章提出了一种基于控制器自动合成策略的解决方案，通过所设计的准入控制器，对系统产生的每一个新任务自动决定是否准其进入任务队列。准入控制器必须使得所有被准入的任务均在规定时间内完成，并且决策序列满足以线性时态逻辑描述的服务质量要求。文章的主要贡献是提出了判定是否存在准入控制器的算法，该算法能在判定结果为真时构造出一个以有限状态时间自动机表达的准入控制器。
分类：期刊> 自然科学与工程技术> 信息科技> 计算机软件及计算机应用
收录：知网收录(中) > 万方收录(中)
关键词：实时系统 任务调度 控制器合成 自动机理论
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
