%0 Journal Article
%T 策略驱动的可靠嵌入式系统建模及分析方法
%A 范贵生？
%A 虞慧群？
%A 陈丽琼？
%A 刘冬梅？
%J 软件学报
%P 1123-1139
%D 2011
%R 10.3724/SP.J.1001.2011.04026
%X 针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用petri网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量.
%K 嵌入式系统
%K 可靠性
%K 设计
%K 模型
%K 面向方面
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4026&flag=1