【摘 要】
:
随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软件运行行为与预期保持一致,具有重要的研究价值。借助面向方面的设计思想,把可信性作为一种方面融入软件的开发环境,研究实现了可信软件开发平台TSCE。该平台能够在软件研制过程中,一体化地提供可信性需求定制、可信代码自动生成、可信代码自动织入等辅助开发手段。利用该平台,开发人员不用额
【机 构】
:
后勤科学研究所,海军作战应用软件管理中心,国防科学技术大学计算机学院
【基金项目】
:
国家“863”计划资助唾目(2007AA01030),国家“973”计划资助项目(2005CB321804)
论文部分内容阅读
随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软件运行行为与预期保持一致,具有重要的研究价值。借助面向方面的设计思想,把可信性作为一种方面融入软件的开发环境,研究实现了可信软件开发平台TSCE。该平台能够在软件研制过程中,一体化地提供可信性需求定制、可信代码自动生成、可信代码自动织入等辅助开发手段。利用该平台,开发人员不用额外编写可信性实现的相关代码,便可在部署运行阶段使软件具有一定的可信性判断能力和故障预警与修复能力。
其他文献
针对TopDisc算法构建的网络灵活性不强、重复执行算法的开销大、未考虑节点的剩余能量等问题,对其进行改进,并利用OPNET网络仿真工具进行了模拟。分析结果表明改进的TopDisc算法比原有算法有更好的节能性与稳定性。
如今社会经济、技术水平等快速发展,无人值班变电站、自动化变电站系统等实现了全面普及,电力调度自动化系统的信息监控需求数量也大量增多。随着信息数量的增加,调度自动化
互联网的发展使得多媒体的版权保护成为亟待解决的问题,从而使得用于图像内容认证的哈希方法得到广泛的研究和应用。提出了一种新的基于V系统的图像哈希方法,该方法首先将原始图像强化,然后提取V变换域上的系数生成哈希值。实验结果显示,该方法能够抵抗滤波、噪声、25%以下的裁剪和95%以下的JPEG压缩等攻击,有很好的安全性和鲁棒性。
针对开放分布式系统中收集实体的经验值和度量信任困难的现状,采用关注分离的原则,将实体的信任处理行为与计算行为、交互行为进行分离,提出了一个面向信任的协同模型。通过模型中的信任角色实时监听所绑定的计算实体的消息来更新经验值,进而计算信任度,为系统选择相对可信的计算实体提供了依据。最后,利用Java消息服务技术和EJB技术给出了该模型的实现框架。
介绍了可应用于远程文件备份系统的关键技术,包括对于传统RSYNC算法的改进、采用快照技术、设计有效的文件同步策略和在服务器端进行加密存储。实验表明,采用这些技术可以使系统有效降低网络流量,从而实现高效、快速和安全的远程文件同步。
对E-2DMesh网络中单工失效链路模式进行了研究,提出了基于子网的状态转移模型。基于该方法分别对不可维修和可维修链路模式进行了分析,证明了对较大规模的E-2DMesh网络,不可维修链路模式的可靠性要比可维修链路模式低。提出的方法能够用于研究其他层次结构网络和其他网络通信问题。
提出一种基于EFI和双核处理器的DRM终端平台,该平台能满足大多数DRM系统的安全需求,特别是能够防止版权加密密钥和解密后的数字内容被泄露给用户。在该架构下,给出了详细的播放流程;同时,在半离散P2P网络中,提出一种新的下载模式,防止不可信版权发行商获得由内容提供商生成的数字版权中的敏感信息;最后,给出了EFI平台与EFI平台下AES算法执行效率的比较。该DRM终端平台为DRM提供了一种新的实施方
结合软件agent技术,从构件角度出发,通过对传统构件进行包装,加入行为规则驱动和行为推导两大机制,提出了一种能够在运行时实时适应用户需求变化和运行环境变化的自适应构件。在自适应构件的运行和支撑方面,实现了一个可动态定制自适应构件行为规则的工具,改进了现有的构件支撑平台使得能满足自适应构件的运行需求;最后通过一个例子说明了自适应构件的设计、实现、运行和演化等一系列工作流程。初步实践表明,上述机制和
无线传感器网络中采集的数据存在着较大的冗余与误差,且影响数据的可靠性。针对这个问题,分析了簇内数据误差成因,提出了一种改进后的自适应数据融合算法。该算法从节点测量数据自身着手,通过迭代得到各个节点测量数据的无偏估计值,以各个节点与估计值的欧氏距离作为各节点可信度的描述。实验证明,该融合算法提高了数据的精度和可信度。同时,通过与分批估计融合方法和传统的自适应加权融合方法的比较分析,表明该方法融合效果