| Title: | 基于SPEC#的功能性冗余软件开发 |
| Alternative Title: | functional redundant software development with spec#
|
| Author: | 王侃
; 郑宇军
; 范宏伟
|
| Keyword: | 软件可靠性
|
| Source: | 计算机工程与设计
|
| Issued Date: | 2009
|
| Volume: | 30, Issue:15, Pages:3487-3490 | | Indexed Type: | 其他
|
| Department: | 装甲兵工程学院,科研部,北京,100072;中国科学院软件研究所,北京,100080;工程装备系统工程研究所,北京,100093
|
| Abstract: | 软件的功能性冗余能够有效提高计算机系统可靠性和安全性.研究了SPEC契约机制,分析了如何通过这些机制来实现输入输出域控制,主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过程中应用契约设计和冗余技术的若干准则和建议.这种基于契约的冗余技术能够显著地提高软件的可靠性、可维护性和可测试性,进而提高软硬件系统的整体可信性水平. |
| Language: | 中文
|
| Content Type: | 期刊论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/8106
|
| Appears in Collections: | 中科院软件所图书馆_2009年期刊/会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 基于SPEC#的功能性冗余软件开发.pdf（388KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
王侃,郑宇军,范宏伟. 基于SPEC#的功能性冗余软件开发[J]. 计算机工程与设计,2009-01-01,30(15):3487-3490.
|
|
|
