【摘 要】
：
安全性苛求系统的安全性关系关系着人们生命财产安全,而软件与系统的安全性紧密相关。形式化验证方法可以证明软件的正确性,但并不能保证软件的安全性性。系统理论危害分析方
论文部分内容阅读
安全性苛求系统的安全性关系关系着人们生命财产安全,而软件与系统的安全性紧密相关。形式化验证方法可以证明软件的正确性,但并不能保证软件的安全性性。系统理论危害分析方法（System-Theoretic Process Analysis,STPA）是一种基于系统理论的危害分析方法,它可以识别系统中的危害并得到软件相关的安全性需求。本文提出一个结合STPA与模型检测的软件安全性分析与验证方法：使用STPA对系统进行危害分析得到软件安全性需求,形式化描述软件安全性性质,最后使用模型检测的方法验证软件安全性。
其他文献
鼾症是睡眠呼吸暂停综合征的常见临床表现,在睡觉时由于呼吸受阻舌与软腭颤动而产生的粗重的声音,反流性食管炎是由胃、十二指肠内容物反流入食管引起的食道炎症性病变,典型
目的：探讨畸胎瘤相关性抗N-甲基-D天冬氨酸（N-methyl-D-aspartate,NMDA）受体脑炎的临床病理特征、发病机制及诊断要点。方法：收集2014年北京市海淀医院病理科卵巢畸胎瘤相关性抗N
文章结合工程实际对GFRC的设计、安装等方面的思路和方法进行了阐述并引入BIM技术进行三维可视化的技术指导。
6月底,辉山乳业发布截至2015年3月31日年度报告,报告显示,2015年年度,辉山乳业销售额39.23亿元,同比增长11.1%;净利润8.77亿元,同比下降29.8%。日前,辉山乳业执行董事、副总
“项目制”教学是一种新型的教学模式,目前已被广泛应用于多个专业课程教学改革与实践中.根据广播电视编导专业特点,构建“项目制”教学模式,是广播电视编导专业教学改革的一
IGBT(绝缘栅双极型晶体管)在使用过程中会产生热量,在其内部产生疲劳累积,最终老化失效。而在IGBT老化过程中,其输出电气参数会发生变化,可据此判断IGBT的老化状态。为此,基
弗兰克纳的混合义务论是在善行原则和公正原则趋近于真理时进一步修正后得出的理论。且在混合义务论中公正原则总是优先于善行原则。阐述了混合义务论所涉及的道义论和目的论
关于李过研究的几个问题向祥海李过参加农民起义后，跟随李自成转战南北东西，骁勇善战．在崇祯十六年（１６４３）三月襄阳建立政权时，被任命为后营制将军，成为主力军五营之一的首领。从此以后，李
目前,关于地下水硝酸盐的污染问题已经受到了社会的关注,这一问题不仅对于水质有着非常不利的影响,还会产生一系列的问题。目前,国外发达国家非常注重地下水硝酸盐问题的治理
网络剧作为新兴的艺术品种近几年大放异彩,广义上的网络剧是将电视剧通过电视台以外的网络渠道进行传播,狭义上的网络剧是以网络作为唯一宣传渠道的影视剧。本文主要探讨狭义