| 基于ASM描述共享网络的实时任务可执行概率设计 |
| |
| 引用本文： | 张冬松,金士尧,陈芳园,李超.基于ASM描述共享网络的实时任务可执行概率设计[J].计算机系统应用,2011,20(9):48-53,16. |
| |
| 作者姓名： | 张冬松 金士尧 陈芳园 李超 |
| |
| 作者单位： | 1. 国防科学技术大学并行与分布处理国防科技重点实验室,长沙,410073
2. 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家教育部博士点基金，国防科学技术大学优秀研究生创新资助项目 |
| |
| 摘 要： | 利用抽象状态机（ASM），形式化描述了共享网络中实时任务接纳控制机制，提出了实时任务可执行概率设计过程的ASM模型，利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助于验证其设计，还有利于实现实时任务接纳控制机制，并为利用ASM模型方法设计实现其他控制机制提供了范例。
|
| 关 键 词： | 抽象状态机 共享资源网络 实时任务 可执行概率 接纳控制 |
| 收稿时间： | 1/5/2011 12:00:00 AM |
| 修稿时间： | 3/6/2011 12:00:00 AM |
Specifying Executable Probability Design of Real-Time Task in Resource-Sharing Network with ASM |
| |
| ZHANG Dong-Song,JIN Shi-Yao,CHEN Fang-Yuan and LI Chao.Specifying Executable Probability Design of Real-Time Task in Resource-Sharing Network with ASM[J].Computer Systems& Applications,2011,20(9):48-53,16. |
| |
| Authors: | ZHANG Dong-Song JIN Shi-Yao CHEN Fang-Yuan and LI Chao |
| |
| Affiliation: | ZHANG Dong-Song,JIN Shi-Yao,CHEN Fang-Yuan,LI Chao(National Lab of Parallel and Distributed Processing,National University of Defense Technology,Changsha 410073,China)(School of Computer Science,China) |
| |
| Abstract: | Based on a formal method called Abstract State Machine(ASM),this paper describes an admission control mechanism of real-time task in resource-sharing network.In the meantime,the paper also proposes an ASM-based design model for executable probability of real-time task,and shows the methods and steps to analyze this design model based on Spec Explorer.The paper argues that the work will not only do good to further verification for the design method,but also to more refinements for admission control of real-t... |
| |
| Keywords: | abstract state machine resource-sharing network real-time task executable probability admission control |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
