欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
软件失效、偏离使命、中断运行甚至崩溃死机等现象使得人工完成其管理和维护、保持其可信运转愈加困难，亟需自动而灵活、细粒度的管理方法来解决上述“软件不可信”问题。本项目紧密围绕可信软件重大计划科学目标，针对软件可信性演化与预测科学问题,利用自律计算技术以渐进演化的方式实现软件可信性保持和动态增长，重点研究了可信软件的“三自”（自省、自配置、自调节）实现机理。建立了软件可信性分层自省模型并对其进行形式化验证求精，为避免状态空间爆炸采用PEPA流近似方法实现了大规模软件自省过程快速分析；通过分析软件演化历史数据并度量软件行为路径拟合度，提出了基于自配置的软件可信性增长方法；提出了非线性相关的软件失效数据联合聚类分析与预测方法，构建了考虑先验知识与内部参数的软件动态自调节内部驱动机制，实现了自调节软件可信性增长；作为课题自然延伸提出并超额完成了“软件加固技术”研究，将微重启、软件热插拔和系统悔改技术用于软件可信性保持与增长。结合“某态势感知系统”和“某水下机器人系统”对相关研究成果进行了典型应用示范和验证，为软件可信增长过程改进提供坚实的理论依据与科学支撑。
结论摘要：
英文主题词software dependability; autonomic computing; self-reflection; self-configuring; self-adjusting
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
王慧强的项目
