%0 Journal Article
%T Modeling and Verifying Scheduling Algorithm TDS for Multiprocessor Systems<br>多处理器任务调度算法TDS的建模与验证
%A 李召妮
%A 雷丽晖
%A 李永明
%J 计算机科学
%D 2012
%I 
%X 在多处理器系统中，一个应用所要完成的任务可以分配给同一个处理器处理，也可以分配给多个处理器处 理，所以传统的测试方法难以满足多处理器任务调度算法的验证。在此，提出一个基于扩展I3iichi自动机的形式化模 型，并用该模型来描述多处理器任务调度算法TDS(Task Duplication based Scheduling);用线性时序逻辑描述出算法 I'DS期望的一些性质;最后在该模型上验证了这些性质。该方法有效地克服了传统测试的局限性，保证了多处理器 任务调度的可靠性。
%K Multiprocessor scheduling algorithm
%K Linear temporal logic
%K Model checking
%K Extended biichi automata<br>多处理器调度算法，线性时序逻辑，模型检测，扩展I3iichi自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=32399EFB0552EFDDC55C9032E607A269&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=708DD6B15D2464E8&sid=DFEE4E8C33C95CEF&eid=407C905D8F0449C4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0