%0 Journal Article
%T 多处理器任务调度算法tds的建模与验证
%A 李召妮
%A 雷丽晖
%A 李永明？
%J 计算机科学
%D 2012
%X 在多处理器系统中，一个应用所要完成的任务可以分配给同一个处理器处理，也可以分配给多个处理器处理，所以传统的测试方法难以满足多处理器任务调度算法的验证。在此，提出一个基于扩展i3iichi自动机的形式化模型，并用该模型来描述多处理器任务调度算法tds(taskduplicationbasedscheduling);用线性时序逻辑描述出算法i'ds期望的一些性质;最后在该模型上验证了这些性质。该方法有效地克服了传统测试的局限性，保证了多处理器任务调度的可靠性。
%K 多处理器调度算法
%K 线性时序逻辑
%K 模型检测
%K 扩展i3iichi自动机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=121173&flag=1