Formal guides for experimentally verifying complex software-implemented fault tolerance mechanisms

被引：3

作者：

Arazo, A ^{[1
]}

Crouzet, Y ^{[1
]}

机构：

[1] CNRS, LAAS, F-31077 Toulouse 4, France

来源：

SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS | 2001年

关键词：

D O I：

10.1109/ICECCS.2001.930165

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we describe a framework allowing the experimental verification of complex software-implemented fault-tolerance algorithms and mechanisms (FTAMs). This framework takes into account two of the most important aspects which are increasingly required in newly developed fault-tolerant systems: the considerations of COTS-based (Commercial-Off-The-Shelf) architectures and the compliance with severe safety certification procedures. The strategy proposed shows how a rigorous FTAM specification, based in a multiple viewpoint architectural description, may help to mechanically monitoring the verification of its implementation under real conditions. The strategy proposed has been instantiated using two mechanized techniques: model-checking and fault-injection The preliminary conclusions of the application of this automated approach to a small part of a commercial fault-tolerant system, help us clarify its usage and its suitability for validating complex dependable systems.

引用

页码：69 / 79

页数：11

共 22 条

[1]

ARLAT J, 1989, INT S FAULT TOL COMP, P348

[2] Fault injection for formal testing of fault tolerance [J].

Avresky, D ;

Arlat, J ;

Laprie, JC ;

Crouzet, Y .

IEEE TRANSACTIONS ON RELIABILITY, 1996, 45 (03) :443-455

[3]

BEM P, 1999, LNCS, V1708, P369

[4]

CARREIRA J, 1995, WORK C DEP COMP CRIT, P135

[5] Optimization analysis for the development of short-team solid waste management strategies using presorting process prior to incinerators [J].

Chang, YH ;

Chang, NB .

RESOURCES CONSERVATION AND RECYCLING, 1998, 24 (01) :7-32

[6] AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS [J].

CLARKE, EM ;

EMERSON, EA ;

SISTLA, AP .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02) :244-263

[7]

Echtle K., 1995, Fault-Tolerant Parallel and Distributed Systems (Cat. No.94TH0628-8), P244, DOI 10.1109/FTPDS.1994.494496

[8]

FABRE JC, 1999, INT WORK C DEP COMP, P19

[9]

Gargantini A, 1999, LECT NOTES COMPUT SC, V1687, P146, DOI 10.1145/318774.318939

[10]

Gunneflo U., 1989, FTCS 19 Digest of Papers. The Nineteenth International Symposium on Fault-Tolerant Computing (Cat. No.89CH2754-0), P340, DOI 10.1109/FTCS.1989.105590

← 1 2 3 →