顾益
- 作品数：4 被引量：2H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术自然科学总论政治法律更多>>
- 结合模型检验的软件失效模式与影响分析方法研究
- 随着信息化不断渗透人类社会的方方面面，软件系统的规模和复杂度也在不断增大。伴随而来的一个问题是软件的可靠性越来越难以保证，使得以相应软件为核心的安全关键系统的安全性也越来越难以确保。 软件失效模式与影响分析(SFMEA...
- 顾益
- 关键词：航空发动机数字控制系统
- 文献传递
- 支持SPIN验证的详细级SFMEA方法研究被引量：1
- 2016年
- 随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA(Software Failure Modes and Effect Analysis)是军工业中常用的一种安全分析方法,其依赖人工分析、缺乏形式化语义、无法支持验证。针对SFMEA方法的不足,提出一种结合SPIN的详细级SFMEA方法,对软件失效模式进行形式化建模与分析,并结合模型检验工具SPIN进行自动化地模型检验和模拟仿真,从而提高软件系统的安全性和可靠性。该方法验证了"缓冲区数组下标越界"的这一失效模式,从而说明该方法的有效性。
- 刘畅李海峰沈国华顾益刘银陵
- 关键词：失效模式SPIN安全关键系统
- 基层政府电子政务建设的路径探索——以盐城市为例
- 随着信息化技术的发展，政府已经认识到这一技术在职能转变中的重要性，由于能够使政府提供更为优越的公共服务，电子政府作为一种新型的公共管理方式，得到了良好发展。电子政府于上世纪末期进入到我国，其在公共管理方面得到了良好发展，...
- 顾益
- 关键词：电子政务基层政府群众需求公共管理
- 基于SPIN的系统级失效模式与影响分析方法研究
- 2013年
- 为保证关键软件系统的安全性和可靠性,对软件失效模式与影响分析方法在实际应用中存在的问题进行了分析研究,结合模型检验技术提出了一种基于SPIN的系统级失效模式与影响分析方法。该方法运用SPIN模型检验工具的验证和模拟功能,有效提高了失效模式分析的准确性和充分性。此外还结合某型航空发动机控制系统介绍了一个应用实例,证明了该方法在工程实践中的可行性。
- 顾益黄志球
- 关键词：SFMEASPINPROMELA失效模式
