自恢复软件系统的建模与分析(英文)

王纪文; 游静; 许满武; 刘凤玉

首页> 中文期刊> 《系统仿真学报》 >自恢复软件系统的建模与分析(英文)

自恢复软件系统的建模与分析(英文)

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《系统仿真学报》 |2005年第12期|2912-2916|共6页
作者
王纪文; 游静; 许满武; 刘凤玉;
展开▼
作者单位

南京理工大学计算机系623教研室;

南京大学计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;理论、方法;
关键词
自恢复; 软件体系结构; Petri网模型; 形式化方法;

相似文献

中文文献
外文文献
专利

1. 基于统计的软件系统自恢复时间阈值算法 [J] . 王纪文 . 广西师范大学学报（自然科学版） . 2008,第001期
2. 自恢复容错系统的建模与分析 [J] . 郭成昊 ,刘凤玉 . 中国工程科学 . 2007,第010期
3. CAD软件系统分析建模与设计建模研究 [J] . 乐滨 ,李钝 . 武汉大学学报：工学版 . 2001,第1期
4. 软件系统网络化建模及关键节点识别方法分析 [J] . 关天一 . 无线互联科技 . 2021,第002期
5. 地铁管线三维建模与碰撞分析软件系统 [J] . 何林 ,沈未名 ,蔡世君 . 城市轨道交通研究 . 2014,第012期
6. 软件系统动态执行网络建模及级联效应分析 [C] . Hou Gang ,侯刚 ,Wang Xiaolong . 第五届信息安全漏洞分析与风险评估大会 . 2012
7. 软件系统自恢复时间策略研究与实现 [A] . 于集建 . 2007

自恢复软件系统的建模与分析(英文)

摘要

著录项

相似文献

相关主题

期刊订阅