| 基于自动机理论的分布式实时调度分析工具 |
| |
| 引用本文： | 桂盛霖,罗蕾,李允,于淼,徐建华.基于自动机理论的分布式实时调度分析工具[J].软件学报,2011,22(6):1236-1251. |
| |
| 作者姓名： | 桂盛霖 罗蕾 李允 于淼 徐建华 |
| |
| 作者单位： | 1. 电子科技大学计算机科学与工程学院,四川成都,610054
2. 西南交通大学信息科学与技术学院,四川成都,610031 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863)，国家"十一五"重点科技攻关项目 |
| |
| 摘 要： | 分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏情况,因此在这些情况下的分析结果过于悲观.基于自动机理论的模型检测方法的好处在于能够穷尽地搜索整个系统状态空间,得到精确的分析结果.为了利用形式化方法的优势来...
|
| 关 键 词： | 分布式系统 硬实时 调度性分析 行为自动机 环境自动机 |
| 收稿时间： | 7/9/2010 12:00:00 AM |
| 修稿时间： | 2011/3/29 0:00:00 |
Schedulability Analysis Tool for Distributed Real-Time Systems Based on Automata Theory |
| |
| GUI Sheng-Lin,LUO Lei,LI Yun,YU Miao and XU Jian-Hua.Schedulability Analysis Tool for Distributed Real-Time Systems Based on Automata Theory[J].Journal of Software,2011,22(6):1236-1251. |
| |
| Authors: | GUI Sheng-Lin LUO Lei LI Yun YU Miao and XU Jian-Hua |
| |
| Affiliation: | GUI Sheng-Lin1,LUO Lei1,LI Yun1,YU Miao2,XU Jian-Hua2 1(School of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu 610054,China) 2(School of Information Science and Technology,Southwest Jiaotong University,Chengdu 610031,China) |
| |
| Abstract: | Distributed systems are complicated real-time systems,which have been used in many safety-critical domains.In order to ensure the real-time constraints over the tasks running on these systems,the traditional schedulability analysis techniques,based on worst-case response time analysis,usually consider the worst case which could never occur in real world applications,and therefore the obtained results are pessimistic.The model checking technique based on automata theory could exhaustively search the whole sy... |
| |
| Keywords: | distributed system hard real-time schedulability analysis action automata environment automata |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
