【摘 要】
：
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京,210016
论文部分内容阅读
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出了一种将故障树分析扩展到SysML活动图模型的方法和故障扩展SysML活动图的概念,统一了系统的功能模型与安全需求分析模型.在保留故障树和SysML活动图两种模型的语义描述的基础上,给出了故障树逻辑门的转换规则和故障树模型到SysML活动图模型的转换步骤.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.
其他文献
为了适应禁用抗生素的形势,欧美一些有远见卓识的企业家早已纷纷把希望的目光投向了古老东方的中医药.目前,开发研究中草药饲料添加剂已成国际热潮.中草药饲料添加剂之所以受
随着我国科技水平的显著提升,房屋建筑的发展较以往也有了极大的改善,高层建筑逐渐兴起于我国越来越多的城市中,并在一定程度上节约了土地的使用面积.但是,我国的高层建筑的
针对粒子滤波中得到优化的重要性密度函数比较困难的问题,将迭代扩展卡尔曼滤波和序贯融合与粒子滤波相结合,应于雷达和红外多传感器目标融合跟踪。利用基于迭代扩展卡尔曼滤波的序贯融合算法得到的系统状态更新矩阵和误差协方差矩阵来构造粒子滤波的重要性密度函数,使重要性密度函数能够融入最新观测信息的同时,更加符合真实状态的后验概率分布。仿真结果表明基于序贯融合的迭代扩展卡尔曼粒子滤波(IEK-PF)能提高状态估
随着我国建筑工程施工技术与施工质量要求的不断提高.针对民用建筑设计中的防火技术进行分析,概述了民用建筑设计中防火技术运用,同时还提出了民用建筑结构设计中防火设计不
随着经济的不断发展,人们对环保的重视程度也越来越高,一些用料的环保性能受到了大家的一直关注.水性涂料是近些年新出的一种涂料,水性涂料的特点在于它的环保功能.目前的水
前两年听搞技术的朋友讲要建个虚拟机专门用来做测试,那时候还觉得虚拟化是个飘渺的事情,然而近期关于“以服务器虚拟化为主的虚拟化技术”的话题,大家谈的越来越多,近乎成为
“帝斯曼除了对行业提供技术上的服务，还期望能为行业提供相关的前沿资讯。”2013年11月22日，第19届DSM亚太水产会议在泰国曼谷召开。作为亚太地区由企业举办的最有影响力水产
高层建筑热水系涉及的范围比较广,一旦高层建筑热水系统设计不合理,引起相应的热水系统运行问题,必然会造成较大的经济损失和人员伤害,因此必须要重视于高层建筑的热水系统设