【摘 要】
：
针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行
【机 构】
：
华东理工大学计算机科学与工程系,武汉大学软件工程国家重点实验室,上海应用技术学院计算机科学与信息工程系
【基金项目】
：
国家自然科学基金(60903020,60773094);国家科技支撑计划(2009BAH46B01);上海市曙光计划(07SG32);上海市科委重点实验室基金(09DZ2272600);中央高校基本科研业务费专项基金(WH0913009)
论文部分内容阅读
针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用Petri网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量.
其他文献
目的:探讨临床微生物检验和细菌耐药性监测。方法:对临床分离出的致病菌的耐药情况以及敏感性进行回顾分析,检查出各种病菌对各类抗菌药物的敏感率和耐药率,本文以葡萄球菌属
<正>阿里巴巴去年11月宣布入股经营大润发卖场的高鑫零售,双方合作发展"淘宝到家"。大润发中国主席黄明瑞3月5日表示,预计今年6月底完成"淘宝到家"的系统测试,并在年底前完成
目的:观察在ICU患者护理中实施无缝隙护理管理对其护理质量以及感染率的影响。方法:选取我院于2015年1月至2017年2月收治的52例ICU患者,按实施的不同护理方法将其随机分为对
目的探讨腹腔镜子宫切除术对子宫内膜癌患者术后排尿及性功能的影响。方法选择驻马店市第一人民医院2016-03—2017-12间收治的98例子宫内膜癌患者,随机分为2组,各49例。对照
《素问》言:"治寒以热,治热以寒",此言其常。然而治热以热则为其变,临床中又称之为"反治法",以热治热,寓意颇深。临床中,将火针用于辨证属于火热证的痄腮、痛风、丹毒、乳痈
随着当前我国社会主义市场经济的不断完善,我国的企业在良好的环境中也保持着高速发展的优势,而对于当下的企业来说,其需要通过不断地扩大内需以及增强内部管理,以此在新时期
为全面了解青海玉树沙棘的营养价值,选取青海玉树5个不同地区的沙棘,对其不同部位(果实、枝、叶、籽)的营养成分进行分析和营养价值的评价,为玉树沙棘再加工产品的开发和利用
为解决我国当前农村饮水安全中氟、砷含量超标及苦咸水水质问题,目前,出现了两种新的技术,它们分别是复合多介质过滤技术和电絮凝技术。复合多介质过滤水处理法从设备技术上