基于ASM描述共享网络的实时任务可执行概率设计

• 作者: 张冬松 李超 金士尧 陈芳园
• 来源期刊: 计算机系统应用
• 学科: 工学
• 关键词: 抽象状态机 共享资源网络 实时任务 可执行概率 接纳控制
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 研究开发
• 页码范围: 48-53,16
• 分类号: TP393.01
• 字数: 4731字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-3254.2011.09.011

摘要

利用抽象状态机(ASM),形式化描述了共享网络中实时任务接纳控制机制,提出了实时任务可执行概率设计过程的ASM模型,利用Spec Explorer给出了分析该模型的方法步骤.该模型不仅有助于验证其设计,还有利于实现实时任务接纳控制机制,并为利用ASM模型方法设计实现其他控制机制提供了范例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金士尧	国防科学技术大学计算机学院	71	714	15.0	23.0
2	李超	国防科学技术大学计算机学院	32	96	6.0	8.0
3	陈芳园	国防科学技术大学计算机学院	7	128	5.0	7.0
4	张冬松	国防科学技术大学并行与分布处理国防科技重点实验室	12	137	5.0	11.0