自恢复软件系统的建模与分析

摘要：

不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应.虽然现在也发表了一些有关自恢复软件系统方面的文章,然而关于这类系统软件体系结构形式化的研究尚属起步;首先分析了自恢复功能软件的运行机制,给出了自恢复软件系统的形式化模型描述;在此基础上,对指挥控制系统(command and controlsystem,简称c2)软件体系结构进行了形式化定义和分析.结果显示所设计的自恢复模型能够满足软件系统的约束条件,提高了系统的可用性.

关键词：自恢复、软件体系结构、Petri网模型、形式化方法

所属期刊栏目：17

分类号：TP311;TP301(计算技术、计算机技术)

资助基金：中国科学院项目（非规范项目）;军用计算系统性能保持技术研究项目

在线出版日期：2006-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2912-2916,2921