【摘 要】
：
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京,210016
论文部分内容阅读
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出一种将故障信息扩展到状态图模型的方法和故障扩展状态图的概念,同时构建了故障信息和状态图元素之间的语义映射表,给出了故障树逻辑门的转换规则,设计了一个基于故障扩展状态图的模型转换与验证框架,并给出了利用映射表自动构建故障扩展状态图的算法.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.
其他文献
踝臂指数(ankle-brachial index,ABI)是下肢踝部动脉收缩压与上臂肱动脉收缩压的比值。ABI可作为阻塞性动脉硬化的诊断指标,其诊断标准是由美国心脏学会(AHA)1993年制定的:正
文中提出了一种新的以时间作为目的地序号来解决路由环路的方法。其主要思想是对消息项序号的重新设计,添加时间(Time Of Day,TOD)信息,避免因为节点休眠重启或者路由超时删除时,路由消息项序号重新计数引发的重复广播过期路由消息项的问题。按照路由更新的原则,选择消息项序号最新的消息项,从根本上解决了路由消息循环传输的问题,确保在任何时刻网络中都不会存在路由消息循环和暂态路由环路。
一季度,在党中央、国务院的高度重视下,各地区、有关部门和广大企业认真贯彻落实全国安全生产工作会议精神,加大安全生产监管力度,扎实工作,取得了一定成绩,全国非煤矿山及相
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在现代社会中,企业安全生产问题已经成为越来越重大的战略问题。安全生产,不仅关系到职工的生命安全,而且关系到国民经济的健康发展,关系到社会稳定的大局。企业安全管理工作
随着电力公司信息化快速发展，特别是SG-ERP的实施，信息系统的基础性、全局性作用越来越强。文章论述了信息安全攻防演练平台采用的基于Hook的主机监视技术、隐藏技术、虚拟机管
安全教育培训是安全管理工作的重要内容之一,是为安全工作提供智力支持的基础性工程。要使教育培训在安全工作中发挥应有的作用,笔者认为应增强“四性”:科学安排,增强计划性
目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能
CSO,首席安全官,这本来是一个新名词。从2001年起,安全变成了一个关系到业务价值和业务流程的词汇。例如,对大的灾难性事件的预防和准备。安全系统结构的变化和安全问题的日