Combining methods for the livelock analysis of a fault-tolerant system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1548, Issue , 1998, Pages 124-139

  Buth, Bettina ^a   Peleska, Jan ^b   Shi, Hui ^a  

^a UNIVERSITY OF BREMEN   (Germany)

^b JP Software Consulting   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; FAULT TOLERANCE; FORMAL SPECIFICATION; FORMAL VERIFICATION; MODEL CHECKING; MODULAR CONSTRUCTION; SOFTWARE ENGINEERING; SPACE STATIONS; SPECIFICATIONS;

ABSTRACTION TECHNIQUES; COMBINING METHOD; COMMUNICATION BEHAVIOR; CSP SPECIFICATIONS; FAULT TOLERANT SYSTEMS; INTERNATIONAL SPACE STATIONS; MODEL CHECKING TOOLS; PROCESS STRUCTURES;

FORMAL METHODS;

EID: 84958952470     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49253-4_11     Document Type: Conference Paper

References (17)

1. Brock, N.A., Jackson, D.M.: Formal Verification of a Fault Tolerant Computer. In Proceedings of 1992 Digital Avionics Systems Conference. (1992)
2. Buth, B., Cardell-Oliver, R., Peleska, J.: Combining tools for the verification of fault-tolerant systems. In Berghammer, R., Buth, B., Peleska, J. (eds.), Tools for Software Development and Verification, volume 1 of BISS Monographs. Shaker-Verlag, 1998
3. Buth, B., Kouvaras, M., Peleska, J., Shi, H.: Deadlock analysis for a fault-tolerant system. In Johnson, M. (ed.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, number 1349 in LNCS, pages 60-75. Springer, De-cember 1997
4. Buth, B., Peleska, J.: Daimler-Benz Aerospace -Project DMS-R, FTC Develop-ment -Verification of Avionics Interface AVI. Technical Report, JP Software-Consulting, (1996)
5. Buth, B., Peleska, J., Shi, H.: Daimler-Benz Aerospace -Project DMS-R, FTC Development -Fault Management Layer (FML): Verification of Deadlock Freedom. Technical Report, JP Software-Consulting, (1996)
6. Daimler-Benz Aerospace: DMS-R FTC Detailed Design Document Volume 3 (FML Software)
7. Dathi, N.: Deadlock and Deaklock-Freedom, Oxford University, D. Phil Thesis,1990
8. Davies, J.: Specification and Proof in Real-Time CSP. Cambridge University Press (1993)
9. De Marco, T.: Structured Analysis and System Specification Englewood Cliffs, N.J., Prentice Hall 1979
10. Formal Systemes: Failures Divergence Refinement FDR2 Preliminary Manual. For-mal Systems (Europe) Lts (1995)
11. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Internationaal (1985)
12. Lamport, L., Shostak, R., Pease, M.: The Byzantine Generals Problem, In: ACM Transactions on Programming Languages and Systems, Vol.4, Nr. 3, (1982)
13. Lyu, M. R. (ed.): Handbook of Software Reliability Engineering, IEEE Computer Society Press, Computing McGraw-Hill
14. Peleska, J., Shi, H.: Daimler-Benz Aerospace -Project DMS-R, FTC Development -Fault Management Layer (FML): Verification of Livelock Freedom. Technical Report, JP Software-Consulting, (1998)
15. Roscoe, A. W.: Model-Checking CSP. In: A Classical Mind, Eassys in Honour of C.A.R. Hoare. Prentice-Hall Internationaal (1994)
16. Roscoe, A. W.: CSP and determinism in security modelling. In: IEEE Symposium of Security and Privacy, (1995)
17. Roscoe, A. W.: The Theory and Practice of Concurrency Prentice-Hall Interna-tional (1997).