【摘 要】
：
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统标定的软硬件行为,还可以描述系统的概率性故障、故障对系统的影响和系统恢复.本文从软件产品线角度提出一个新颖的、针对SLIM扩展模型的验证方法—将软件产品线中产品的可变性引入安全性验证过程,将系统中的故障看作系统中可以进行配置的特征,直观、清楚地刻画了安全分析中系统的结构和行为.使用成熟的SLIM语言建立安全关键系统的扩展模型,将S
其他文献
4月中旬，湛江雷州东里越冬金鲳鱼出排量极少。“目前越冬鱼整体规格偏小，主要是过冬时候寒潮冷死了不少鱼，存活下来的鱼又遇水温低，长速慢，加大了养殖成本。今年春季由于鱼苗产量
公共艺术是彰显城市特色的重要组成部分.本文阐述了城市公共艺术的概念和天津市公共艺术的现状,通过蕴含地域文化、满足社会需求以及彰显时代特色几个方面着重探讨了天津公共
对于高校来说,校园设施的日常维护是十分重要的,因此高校的零星修缮一直是校园维护的重要内容.在高校校园的维护施工当中,零星修缮具有工程较小,但是内容杂乱,工期情况会对投
伴随着城市化建设进程的加快,人们对基础设施提出更多新的要求.市政给排水工程作为基础设施,不但能保证水资源的合理使用,还能预防水资源、环境污染,保护自然环境.因此,给排
混砂机是铸造业中常用的设备，混砂机刮板刮砂优劣直接影响到混砂机的使用效果，我公司使用2台S1416型行星转子混砂机，刮板材料为45钢，工作面上堆焊有3mm厚WC耐磨层，如图1a所示。rn
工程建设的招标投标涉及到的工作内容以及部门都相当众多,不仅文件公告需要相关部门起草并进行多次修改,同时对于工程资质审查以及具体施工部门之间的联络调节都是必要的事项
在电网的运行过程中,变电站有着十分关键的地位,因此,做好其电气设计工作至关重要.本文主要是结合对110kV变电站电气设计几个主要方面所进行的分析以及对其所进行合理计算和
电子招投标是通过计算机、网络等信息技术,对招投标业务进行重新梳理,优化重组工作流程,在网络上执行在线招标、投标监督检查等一系列业务操作,最终实现高效、规范、安全、低
进入4月，按照往年的惯例，华南地区的对虾投苗工作已于清明后基本完成，但受去年对虾养殖成功率低影响，养殖户资金断裂，投苗积极性不高，目前仍然处于观望状态，特别是外地养殖户聚集的