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

摘要：

针对嵌入式系统的特点,提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求,采用Petri网建立嵌入式系统的形式化描述语言,并对嵌入式系统中的基本元素,如任务、资源、传感器、执行器等进行描述。构造任务间基本关系、任务与设备间交互的模型,并利用组合规则将这些模型动态地集成为一个完整的嵌入式系统失效模型。基于模型的运行特征和状态空间,分析模型的正确性。最后,应用具体实例模拟嵌入式系统失效模型与分析过程,验证了该方法的有效性。

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

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页码：609-614