基于自动机理论的分布式实时调度分析工具

来源 :软件学报 | 被引量 : 0次 | 上传用户:intercsw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏情况,因此在这些情况下的分析结果过于悲观.基于自动机理论的模型检测方法的好处在于能够穷尽地搜索整个系统状态空间,得到精确的分析结果.为了利用形式化方法的优势来精确分析分布式系统上任务的调度性,建立了分布式系统上的任务形式化模型,提出了行为自动机和环境自动机以分别描述任务的执行语义及其外部到达关系,把任务的调度性分析转换为对自动机网络位置的可达性进
其他文献
设计并实现了一种融合有线电视网和Internet的远程教育系统。有线电视网作为高速下行通道.Internet作为交互通道。基于多播机制,利用SAP/SDP协议实现传输节目的通告和描述,实现视
分析了不处理胶辊的性能特点和存在问题,并指出在纺纯涤纶纱时,通过调整技术措施和工艺参数,可以达到提高成纱条干水平的目的.
提出一种基于取整划分函数的k匿名算法,并从理论上证明该算法在非平凡的数据集中可以取得更低的上界.特别地,当数据集大于2k2时,该算法产生的匿名化数据的匿名纽规模的上界为k+1:而
信息技术(IT)产业已成为中国工业的第一大支柱产业。虽然中国IT行业起步较晚,但是伴随着外商直接投资(FDI)的不断流入,中国IT产品的出口逐年递增。在测算中国IT产品出口竞争
蚂蚁虽小,但组织性、纪律性很强.如果你留心观察的话,就会很容易发现,当一只蚂蚁找到食物后,不大一会儿,其他蚂蚁便倾巢而出,你推我拉地把食物运回洞穴.蚂蚁不会说话,那么,它