【摘 要】
：
为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全
【基金项目】
：
中国铁路总公司科研专项基金（J2016X001）
论文部分内容阅读
为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程序缺陷少64%,同时节省开发工作时间29%。结果表明：该方法有效地实现了对系统属性的安全验证,并对系统的安全设计和开发进行了改进。
其他文献
据最新的数据报告显示，2011年5月，美国人在Facebook上共花费535亿分钟。相比其他网站．美国人花在Facebook上的时间实在是太多了，花在第二名雅虎的时间为172亿分钟，
近年来,大数据、人工智能与区块链等信息科技的高速发展与深化应用,极大地促进了金融行业的创新发展,但同时也给金融监管带来了诸多困境,并催生了监管科技的崛起。通过对监管
利民煤矿是神华乌海煤焦化有限责任公司在建矿井,设计生产能力60×10~4t/a,计划2007年8月投产,09111工作面是该矿首采工作面,在工作面南部有地震勘探确定的DF1断层(落差30～48m
页岩气生产井口气夹带较多砂粒,需要用除砂器对砂粒进行脱除以保证下游生产设备的安全,而目前尚缺乏成熟的除砂器运行效果评价方法。针对这一问题,将声学砂粒监测法和离线砂
解 谜 游 戏 提起解谜游戏，许多朋友首先想到的就是《密室逃脱》系列，其集推理、解谜、恐怖、未知等元素于一身，给玩家留下了极为深刻的印象。其实，好玩的解谜游戏并非只有《密室逃脱》，比如以下10款游戏，就相当不错。 推荐榜单 1、新娘连环被杀案 2、恐怖庄园的秘密 3、极速脱狱 4、入侵电脑 5、逻辑之力 6、车内逃脱系列 7、铁道迷宫 8、3D孔明锁 9、恐怖之眼 10、黑
研究一类在周期环境中具有 Beddington - DeAngelis 功能性反应以及食饵具有阶段结构和时滞的害虫生物防治问题。为控制害虫数量的增长，每个周期内以脉冲形式投放一定数量的天