%0 Journal Article
%T 基于Petri网的嵌入式系统失效模型与分析
%A 陈丽琼
%A 虞慧群
%A 范贵生
%A 刘冬梅
%J 华东理工大学学报
%P 609-614
%D 2011
%X 针对嵌入式系统的特点，提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求，采用Petri网建立嵌入式系统的形式化描述语言，并对嵌入式系统中的基本元素，如任务、资源、传感器、执行器等进行描述。构造任务间基本关系、任务与设备间交互的模型，并利用组合规则将这些模型动态地集成为一个完整的嵌入式系统失效模型。基于模型的运行特征和状态空间，分析模型的正确性。最后，应用具体实例模拟嵌入式系统失效模型与分析过程，验证了该方法的有效性。
%K 嵌入式系统
%K Petri网
%K 建模
%K 失效模型
%K 验证
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=201105015&flag=1