【摘 要】
：
近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统（Wheel Brake System,WBS）为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于
其他文献
本文通过对陡岩锡矿水塘地段应用EH4连续电导率剖面测量的结果,对测量剖面进行定性解译。测量结果揭示了测区深部的地质结构,大范围视电阻率低阻主要是断裂构造、视电阻率低
以农机补贴刺激农民购买,从而增加农机拥有量,是加快农业机械化建设的重要手段。文章论述了农机购置补贴实践工作中存在的问题,并提出落实农机购置补贴这项强农惠农政策的对
本文旨在以广州某超高层五星级洲际酒店的实际案例为蓝本,探讨酒店热源系统的基本设计原理,并论证热源系统型式选择的合理性,主要包括热源系统的优化选型和型式筛选。
本文以九华山寺庙百岁宫为例,结合自然的选址与布局、融入地域文化的空间组织与环境艺术,以点带面分析九华山寺庙建筑的独特之处,以期从中汲取优秀的设计理念并为当今环境设
本文通过对主流转包软件所保存的pcap格式文件进行解析统计，从而对数据包进行同步地分析和归类，系统完成了数据包级和流级的流量指标的统计和分析，包括TCP／IP备层协议分布、包长
设计院档案信息化建设具有其特性,特就特在设计院的产品是工程设计图纸.在电子网络办公条件日趋成熟的今天,计算机辅助设计CAD网络绘图早已代替图板,成为档案形成的唯一源泉,
油茶地蜂是与油茶林经历千百年动植物自然融合共同发展的生态典型。人工促进油茶地蜂繁育,将实现新种植的良种无性系油茶林产量再增。
[目的]研究不同化控措施对烤烟生长和不同生长时期烟叶氮、磷、钾含量的影响。[方法]通过土培盆栽试验,在烤烟旺长期、现蕾前期及打顶期叶面喷施7种化控物质,设清水对照。[结
中国商业史是中国经济史的重要分支,也是中国历史中的一门专业史。但中国商业史不论是在课程的开设,还是师资力量以及学生的教材等方面都显示出日渐冷落的局面。对此,我认为
通过2014年来对凡河新城如意湖、莲花湖及天水河等水体的富营养化监测,其水质状况不能让人令人满意。加强凡河新城周边水体水质监测,提出监测方案及监测方法,并对水质改善提