Combining methods for the analysis of a fault-tolerant system

Proceedings - 1999 Pacific Rim International Symposium on Dependable Computing, PRDC 1999

Volumn , Issue , 1999, Pages 135-142

  Shi, Hui ^a   Peleska, Jan ^b   Kouvaras, Michel ^c  

^a UNIVERSITY OF BREMEN   (Germany)

^b VERIFIED SYSTEMS INTERNATIONAL GMBH   (Germany)

^c DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; FORMAL VERIFICATION; MODEL CHECKING; SPACE STATIONS;

ABSTRACTION METHODS; BYZANTINE AGREEMENT; CSP SPECIFICATIONS; DAIMLER-CHRYSLER; FAULT TOLERANT SYSTEMS; INTERNATIONAL SPACE STATIONS; MODEL CHECKING TOOLS; PROTOCOL IMPLEMENTATION;

FORMAL METHODS;

EID: 26444507653     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.1999.816222     Document Type: Conference Paper

References (18)

1. B. Buth, R. Cardell-Oliver, J. Peleska: Combining tools for the verification of fault-tolerant systems. In R. Berghammer, B. Buth, J. Peleska (eds.), Tools for Software Development and Verification, volume 1 of BISS Monographs. Shaker-Verlag (1998).
2. B. Buth, M. Kouvaras, J. Peleska and H. Shi: Deadlock analysis for a fault-tolerant system. In M. Johnson (ed.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, LNCS 1394, December 1997.
3. B. Buth, J. Peleska and H. Shi: Livelock analysis for a fault-tolerant system. In A. M. Haeberer (Ed.): Algebraic Methodology and Software Technology. Proceedings of the AMAST'98, LNCS 1548, December 1998.
4. N. Dathi: Deadlock and Deadlock-Freedom, Oxford University, D. Phil Thesis (1990).
5. Formal Systems: Failures Divergence Refinement FDR2 Preliminary Manual. Formal Systems (Europe) Lts (1995).
6. C.A.R. Hoare: Communicating Sequential Processes. Prentice-Hall International (1985).
7. G.J. Holzmann: Design and Validation of Computer Protocols. Prentice-Hall Software Series (1991).
8. Kolyang, C. Luth, T. Meyer and B. Wolff: Generic Interfaces for Formal Development Support Tools. In R. Berghammer, B. Buth, J. Peleska (eds.), Tools for Software Development and Verification, volume 1 of BISS Monographs. Shaker-Verlag (1998).
9. L. Lamport, R. Shostak and M. Pease: The Byzantine Generals Problem, In: ACM Transactions on Programming Languages and Systems, Vol.4, Nr. 3 (1982).
10. R.S. Lazíc: Theories for mechanical verification of data-independent CSP, Oxford University Computing Laboratory technical report (1997).
11. R.S. Lazíc, and A.W. Roscoe: Using logical relations for automated verification of data-independent CSP, Proceedings of the Workshop on Automated Formal Methods (Oxford), Electronic Notes in Theoretical Computer Science 5 (1997).
12. M. R. Lyu (ed.): Handbook of Software Reliability Engineering, IEEE Computer Society Press, Computing McGraw-Hill.
13. J. Peleska and M. Siegel: Test Automation of Safety- Critical Reactive Systems. South African Computer Journal (1997)19:53-77.
14. J. Peleska and C. Zahlten: Test Automation for Avionic Systems and Space Technology (Extended Abstract). Softwaretechnik-Trends (1999)19:34-36.
15. A. W. Roscoe: CSP and determinism in security modelling. In: IEEE Symposium of Security and Privacy (1995).
16. A. W. Roscoe: The Theory and Practice of Concurrency Prentice-Hall International (1998).
17. H. Shi and J. Peleska: Daimler-Benz Aerospace - Project DMS-R, FTC Development - Fault Management Layer (FML): Verification of Byzantine Agreement Protocol Implementation. Technical Report, JP Software-Consulting (1998).
18. L. Twele, H. Schlingloff and H. Szczerbicka: Performability Analysis of an Avionics-Interface; Proc. IEEE Conf. on Systems, Man and Cybernetics; San Diego, N.J., October 1998.