基于Petri网的容错系统分层建模.pdfVIP

第36卷 第2期 计 算 机 工 程 2010年 1月 VoL36 No．2 ComputerEngineering January2010 · 软件技术与数据库 · 文章编号：l000-_-3428(201o)02—0039—o3 文献标识码：A 中圈分类号：TP31l 基于Petri网的容错系统分层建模 周月明 ，杜玉越1,2，刘 伟 (1．山东科技大学信息科学与工程学院，青岛 266510；2．中国科学院计算机科学国家重点实验室，北京 100080) 摘 要：扩展Petri网的结构，将一般的控制管理系统改进为具有容错功能的控制管理系统，应用扩展Petri网对其进行分层建模 ，包括系 统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于 Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控 制管理系统的容错功能，并分析了模型的正确性。 关健词：Petri网；容错；分层建模；检错 LayerM odeling0fFault—t0lerantSystem Based0nPetriNets ZHOU Yue-ming，DU Yu．yue ，LIUW ei (1．CollegeofInformationScienceandEngineering，ShandongUniversityofScienceandTechnology,Qingdao266510； 2．StateKeyLaboratoryofComputerScience，ChineseAcademyofSciences，Beijing100080) [Abstract]ThispaperextendsthestructureofPetrinets．Thegenericcontrollingandmanagingsystem isimprovedintofaulttoleranceone．The system islayermodeledwithPetrinets，whicharebasiclayer,errordetectionlayerandrecoverlayer．Fault—toleranceisaddedintohtesystem wiht recoverfaultpolicyandbehaviortrackingwiht statelogosPetri—basedlayeredmodeling，errordetectionforsoftwarebehaviorandrecoverstheerror． Andcorrec~essofthissystem isanalyzed． [Keywords]Petrinets；fault—tolerance；layermodeling；errordetection 1 概述 接收火车到来的信息。收到信息后，把信息传递给总控制系 随着计算机技术的飞速发展和普及，系统的可信性变得 统，系统就把信号灯设置为红灯且把门关闭。当火车离开另 越来越重要。如果软件出现故障就可能导致安全事故、财产 一 个端点时，该接收器把信息传递给总控制系统，系统把信 损失。提高计算机可靠性的技术可以分为避错技术和容错技 号灯设置为绿灯且把门打开。图1为用Petri网表示的控制系 术 l【J。软件容错策略可分为故障避免策略、故障屏蔽策略和 统基础层。 故障恢复策略。直接开发容错应用是非常困难的，因为开发 者不仅要处理复杂的应用逻辑，还要面对纷繁的容错逻辑。 为方便快速地开发出容错软件，本文利用Petri网建模 ，采用 故障恢复策略并使用了带有基于 Petri网分层模型中状态标 识的行为跟踪、行为检错和行为改错功能的控制管理系统容 错软件。有关Petri网的基本概念术语可查阅文献[2—3】。 2 系统软件的容错模型 为开发出高质量低错误甚至无错误的系统软件，按照功 能