【摘 要】
：
为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本
【机 构】
：
同济大学电子与信息工程学院,江西理工大学信息工程学院
【基金项目】
：
国家科技支撑计划(2011BAG01B00);国家自然科学基金(60674004,61075002)
论文部分内容阅读
为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性。通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性。与已有的安全性分析方法相比,本文提出的方
其他文献
随着电子计算机技术和互联网技术的飞速发展，人们的生活方式发生了改变。各种网络平台应运而生，越来越多的人参与其中。网络虚拟世界的产生，使人们不再只生活在传统的自然世界中
<正>新课程倡导以探究为核心的多样化教学方式,因为它不仅能体现科学的本质—探究,而且有利于三维目标的融合统一,又能兼收并蓄不同教学方式的优点。以探究为核心的多样化教
根据陆海属性,南亚七国分属海岛型、内陆型和陆海复合型。陆海属性在地缘因素上影响着南亚国家的权力需求、综合实力和地区定位,进而影响着南亚国家共建21世纪海上丝绸之路的
房地产开发经营周期长、所需资金量巨大,并且在开发过程中不确定因素众多,因此对房地产开发经营的风险进行管理具有重要意义。本文对房地产开发经营过程不同阶段可能面临的风
儒家文化是中华优秀文化的代表,“仁”是儒家文化核心,而《论语》是儒家文化经典。《论语》中“仁”字共出现了 108次,可见其重要性。自1729年沙俄学者开始翻译《论语》至今
从刘宋王朝的覆灭到隋统一中国这大约一百年的时间里,绘画批评上最重要的成就是“六法”的总结和提出。“六法”一出,才改变了这一局面,因为它提供了一套专供衡量画艺优劣之
文章从旅游业飞速发展的现状着手,提出了旅游美感教育的重大意义;然后从旅游客体本身所具有的自然美与人文美进一步阐述旅游美感教育的内容和本质。发展美育旅游对于中国旅游
总结甜樱桃日光温室栽培技术,包括品种选择、温室建造、定植、田间管理等方面内容,以供甜樱桃生产者参考。
本文探讨之内容，是对既有麦盖提县刀郎木卡姆生存状况研究的拓展，同时也从传媒这一独特视角出发，对在媒体逐步介入、影响下的麦盖提县刀郎木卡姆的变化做出解释和分析，并进行深入
家具的手绘装饰要方法历史悠久,技艺精湛,很多经典的作品令人叹为观止。然而时至今日,在现代技术的冲击下,家具新产品慢慢呈现出趋同性,缺乏多样性的装饰手法,而传统的手绘装