基于Petri网的嵌入式系统失效模型与分析.pdfVIP

Vo1．37NO．5 华 东 理 工 大 学 学 报 (自然 科 学 版) JournalofEastChinaUniversityofScienceandTechnology(NaturalScienceEdition) 6O9 201t一10 文章编号 ：1006—3080(2011)05—0609—06 基于Petri网的嵌入式系统失效模型与分析 陈丽琼 ， 虞慧群 ， 范贵生。， 刘冬梅。 (1．上海应用技术学院计算机科学与信息工程系，上海 200235； 2．华东理工大学计算机科学与工程系，上海 200237) 摘要：针对嵌入式系统的特点，提 出一种基于Petri网的嵌入 式系统失效模型与分析方法。依 据嵌入式系统失效需求，采用 Petri网建立嵌入式系统的形式化描述语 言，并对嵌入式系统 中的基 本元素 ，如任务、资源、传感器、执行器等进行描述。构造任务 间基本关系、任务与设备间交互的模 型，并利 用组合规则将这些模型动态地集成为一个完整的嵌入 式系统失效模型。基 于模 型的运行 特征和状态空间，分析模型的正确性 。最后 ，应用具体 实例模拟嵌入 式系统失效模型与分析过程 ， 验证 了该方法的有效性 。 关键词 ：嵌入式 系统；Petri网；建模 ；失效模型；验证 中图分类号 ：TP311 文献标志码 ：A PetriNet--BasedFailureM odelforEmbeddedSystem andItsAnalysis CHEN Li—qiong ， yU H ui—qun ， FAN Gui—sheng ， L UDong—mei (1．DepartmentofComputerScienceandInformationEngineering，ShanghaiInstituteofTechnology， Shanghai200235，China；2．DepartmentofComputerScienceandEngineering， EastChinaUniversityofScienceandTechnology，Shanghai200237，China) Abstract：ThispaperproposesaPetrinetbased failuremodeforembedded system and itsanalysis accordingto theircharacteristics．Petrinetsareusedastheformaldescription language forembedded systems，anduseittodescribethebasicelementsofembeddedsystem，suchas，task，resource，sensor， actuator．W e formally mode1the basicrelationship between tasks，device and task interaction，and compositionrulesareusedtodynamicallyintegratethesemodelsintoafailuremodelofembeddedsystem． Thecorrectnessofconstructedmodelisanalyzedbasedontheoperationcharacteristicsandthestatespace ofthemode1．Finally，aspecificexampleofverificationprocesssimulationofembeddedsystem illustrates thefeasibilityofthemethod． Keywords：embedded system ；Petrinet；modeling；failuremodel；verification 随着当今科技的不断进步 ，嵌入式系统 已经在 域 ，以其高效、异构等特点越来越多地受到人们 的广 诸多领域得到了应用 ，从移