Towards a control-theoretical approach to software fault-tolerance

Proceedings - Fourth International Conference on Quality Software, QSIC 2004

Volumn , Issue , 2004, Pages 198-205

  Cai, Kai Yuan ^a   Wang, Xiang Yun ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONCURRENCY CONTROL; FEEDBACK; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

RECOVERY BLOCK; ROBUST SUPERVISORY CONTROL (RSC) PROBLEM; SOFTWARE CYBERNETICS; SOFTWARE FAULT-TOLERANCE;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 14044258686     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. B.Randell, "System Structure for Software Fault Tolerance", IEEE Transactions on Software Engineering, Vol.SE-1, No.2, 1975, pp220-232.
2. A.Avizienis, "Fault Tolerant Systems", IEEE Transactions on Computer, Vol.C-25, 1976, pp1304-1312.
3. P.Ammann, J.C.Knight, "Data Diversity: An Approach to Software Fault Tolerance", IEEE Transactions on Computer, Vol.37, No.4, 1988, pp418-425.
4. M.Lyu, (editor), Software Fault Tolerance, John Wiley & Sons, 1995.
5. M.Hiller, "Software Fault-Tolerance Techniques from a Real-Time Systems Point of View - an Overview", Technical Report No.98-16, Department of Computer Engineering, Chalmers University of Technology, SE-412 96 Goteborg, Sweden, 1998.
6. J.C.Knight, N.G.Leveson, "An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming", IEEE Transactions on Software Engineering, Vol.SE-12, No.1, 1986, pp96-109.
7. B.Littlewood, P.Popov, L.Strigini, "Modeling Software Design Diversity - A Review", ACM Computing Review, Vol.33, No.2, 2001, pp177-208.
8. W.Torres-Pomales, "Software Fault-Tolerance: A Tutorial", NASA/TM-2000-210616, October 2000.
9. E.M.Clarke, Jr., O.Grumberg, D.A.Peled, Model Checking, The MIT Press. 1999.
10. E.A.Emerson, "Temporal and Modal Logic", in: J. van Leeuwen (editor), Handbook of Theoretical Computer Science, Elsevier, 1990.
11. S.Jiang, R.Kumar, "Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications", Proc. the 40th IEEE Conference on Decision and Control, 2001, pp4122-4127.
12. P.J. Ramadge, W.M. Wonham, "Supervisory Control of a Class of Discrete Event Processes", SIAM Journal on Control and Optimization, 1987, Vol.25, No.1, pp206-230.
13. R.Kumar, V.K.Garg, Modeling and Control of Logical Discrete Event Systems, Kluwer Academic Publishers. 1995.
14. W.M.Wonham, "Notes on Control of Discrete-Event Systems", ECE 1636F/1637S 2002-03, Systems Control Group, University of Toronto, 2002.
15. S.E.Bourdon, M.Lawford, W.M.Wonham, "Robust Nonblocking Supervisory Control of Discrete-Event Systems", 2003, available at www.cas.m~cmaster. ca.sqrl/papers/robustness.pdf.
16. S.J.Park, J.T.Lim, "Robust and Nonblocking Supervisory Control of Nondeterministic Discrete Event Systems Using Trajectory Models", IEEE Transactions on Automatic Control, Vol.47, No.4, 2002, pp655-658.
17. J.Y.Lin, D.Ionescu, "Reachability Synthesis Procedure for Discrete Event Systems in a Temporal Logic", IEEE Transactions on Systems, Man and Cybernetics, Vol.24, No.9, 1994, pp 1397-1406.
18. K.T.Seow, R.Devanathan, "A Temporal Logic Approach to Discrete Event Control for the Safety Cannonical Class", Systems and Control Letters, Vol.28, 1996, pp205-217.
19. P.Tabuada, G.J.Pappas, "Linear Time Logic Control of Linear Systems", 2004, available at www.nd.edu/~ptabuada/papers/LTLControl.pdf.
20. K.Y.Cai, "On the Concepts of Total Systems, Total Dependability and Software Cybernetics", (unpublished manuscript), Centre for Software Reliability, City University, London, Draft version, October 1994; revised version, July 1995.
21. th IEEE International Symposium on High Assurance Systems Engineering, 2002, pp240-241.
22. K.Y.Cai, J.W.Cangussu, R.A.DeCarlo, A.P.Mathur, "An Overview of Software Cybernetics", in: Proceedings of STEP 2003, IEEE Computer Society Press, 2004.