Using a logical and categorical approach for the validation of fault-tolerant systems

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

Volumn 1051, Issue , 1996, Pages 347-366

  Seguin, C ^a   Wiels, V ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS;

CRITICAL SYSTEMS; FAULT TOLERANCE MECHANISMS; FAULT TOLERANT SYSTEMS; LOGICAL FORMALISM;

FORMAL METHODS;

EID: 84955567194     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_96     Document Type: Conference Paper

References (17)

1. A. Bundy, F. van Harmelen, J. Hesketh, and A. Smaill. Experiments with proof plans for induction. Journal of Automated Reasoning, 7:303-324, 1991.
2. K.M. Chandy and J. Misra. Parallel Program Design. A Foundation. Addison- Wesley, 1988.
3. R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. In proceedings of the workshop on automatic verification methods for finite-state systems, LNCS 407, pages 24 - 37, 1989.
4. V. David, Ch. Fraboul, J.Y. Rousselot, and P. Siron. Partitioning and mapping communication graphs on a modular reconfigurable parallel architecture. In CONPAR '92, Sept 1992.
5. E. Allen Emerson. Temporal and modal logic. In Handbook of theoretical computer science, pages 996-1071. Elsevier Science, 1990.
6. J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specification. Formal Aspects of Computing, 1992.
7. D. Harel. Handbook of philosophical logic, volume 2, chapter 10, Dynamic Logic, pages 497-604. 1984.
8. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
9. D. Kozen. Results on the propositional mu-calculus. Theoritical Computer Science, 27:333-354, 1983.
10. L. Lamport. The temporal logic of actions. Technical Report 79, SRC, 1992.
11. Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag, 1992.
12. Robin Milner. Handbook of theoretical computer science, chapter 19, Operational and algebraic semantics of concurrent processes, pages 1203-1242. Elsevier Science, 1990.
13. F. Pagani, C. Seguin, P. Siron, and V. Wiels. Verification experiments on a large fault-tolerant distributed system. In Workshop AMAST "Model and Proof", Bordeaux, France, juin 1995.
14. John Rushby. Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, number 571 in LNCS, Nijmegen, The Netherlands, January 1992. Springer Verlag.
15. D.E. Rydeheard and R.M. Burstall. Computational Category Theory. Prentice Hall, 1988.
16. J. Sauloy. Interconnexion de modules. Technical report, CERT-ONERA, DERI, 1992.
17. V. Wiels. Specification et verification de programmes paralleles tolerants aux fautes. Master's thesis, E.N.S.E.E.I.H.T, 1994.