基于时间自动机的嵌入式系统调度分析工具

摘要：

为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具.提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性.仿真实例结果表明,该工具的分析准确性较高.

关键词：形式化方法、时间自动机、可调度性、嵌入式实时系统、任务模型

所属期刊栏目：38

分类号：TP311.1(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目90718019;国家“863”计划基金资助项目2007AA010304

在线出版日期：2012-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：290-292