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

Petri Net-Based Failure Model for Embedded System and Its Analysis

作　　者：陈丽琼[1] 虞慧群[2] 范贵生[2] 刘冬梅[2] 

机构地区：[1]上海应用技术学院计算机科学与信息工程系,上海200235 [2]华东理工大学计算机科学与工程系,上海200237

出　　处：《华东理工大学学报（自然科学版）》2011年第5期609-614,共6页Journal of East China University of Science and Technology

基　　金：上海应用技术学院引进人才科研启动项目(YJ2009-17)

摘　　要：针对嵌入式系统的特点,提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求,采用Petri网建立嵌入式系统的形式化描述语言,并对嵌入式系统中的基本元素,如任务、资源、传感器、执行器等进行描述。构造任务间基本关系、任务与设备间交互的模型,并利用组合规则将这些模型动态地集成为一个完整的嵌入式系统失效模型。基于模型的运行特征和状态空间,分析模型的正确性。最后,应用具体实例模拟嵌入式系统失效模型与分析过程,验证了该方法的有效性。This paper proposes a Petri net based failure mode for embedded system and its analysis according to their characteristics.Petri nets are used as the formal description language for embedded systems,and use it to describe the basic elements of embedded system,such as,task,resource,sensor,actuator.We formally model the basic relationship between tasks,device and task interaction,and composition rules are used to dynamically integrate these models into a failure model of embedded system.The correctness of constructed model is analyzed based on the operation characteristics and the state space of the model.Finally,a specific example of verification process simulation of embedded system illustrates the feasibility of the method.

关 键 词：嵌入式系统 PETRI网 建模 失效模型 验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]