%0 Journal Article
%T Specifying Executable Probability Design of Real-Time Task in Resource-Sharing Network with ASM<br>基于ASM描述共享网络的实时任务可执行概率设计
%A ZHANG Dong-Song
%A JIN Shi-Yao
%A CHEN Fang-Yuan
%A LI Chao
%A <br>张冬松
%A 金士尧
%A 陈芳园
%A 李超
%J 计算机系统应用
%D 2011
%I 
%X 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...
%K abstract state machine
%K resource-sharing network
%K real-time task
%K executable probability
%K admission control<br>抽象状态机
%K 共享资源网络
%K 实时任务
%K 可执行概率
%K 接纳控制
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=C25D2FB4BF875ED1DFF620940457C10B&yid=9377ED8094509821&vid=A04140E723CB732E&iid=9CF7A0430CBB2DFD&sid=B6DA1AC076E37400&eid=62E80376ED244100&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=14