《策略驱动的可靠嵌入式系统建模及分析方法》PDF+DOC
作者:范贵生,虞慧群,陈丽琼,刘冬梅
单位:中国科学院软件研究所
出版:《》
页数:17页 (PDF与DOC格式可能不同)
PDF编号:PDFRJXB2011060050
DOC编号:DOCRJXB2011060059
下载格式:PDF + Word/doc 文字可复制、可编辑
《基于MPXY8020A传感器的TPMS设计》PDF+DOC2016年第09期 刘奇元,唐黔湘,蔡悦华
《设施农业物联网的可靠性及冗余技术应用研究》PDF+DOC2015年第19期 刘伟中,徐海斌,贺天飞
《一种实用可靠的振动监测及报警装置的设计》PDF+DOC2000年第05期 张志新,杨键,周保堂,贺世正
《高压泵站计算机控制的可靠性与抗干扰技术》PDF+DOC1995年第03期 阳林
《线性多变量系统执行器和传感器的功能冗余性分析》PDF+DOC1990年第01期 程一
《嵌入式系统中的噪声及其抑制方案》PDF+DOC2005年第01期 张平川,张超英
《多传感器信息融合火灾预报技术研究》PDF+DOC2003年第05期 刘骏跃,陈明
《物联网系统安全与可靠性测评技术研究》PDF+DOC2013年第04期 李维,冯钢,刘冬,苗勇,汤业伟,胡滨
《具有时变失效率传感器的网络控制系统可靠性分析》PDF+DOC2009年第S2期 张国鹏,王晓凯,邓娜
《一种高压绝缘型远距离测温系统》PDF+DOC2014年第02期 邢旺,唐文俊,李维波
针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用Petri网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。