A study of failure models in feedback control systems

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2001, Pages 314-323

  Cunha, João Carlos ^a   Maia, Ricardo ^b   Rela, Mário Zenha ^b   Silva, João Gabriel ^b  

^a POLYTECHNIC INSTITUTE OF COIMBRA   (Portugal)

^b UNIVERSITY OF COIMBRA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BENCHMARKING; CONTROL SYSTEMS; REAL TIME SYSTEMS;

FEEDBACK CONTROL SYSTEMS;

FEEDBACK CONTROL;

EID: 0035789208     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2001.941416     Document Type: Conference Paper

References (16)

1. A. Avizienis, "Building Dependable Systems: How to Keep Up with Complexity" Special Issue of the FTCS-25, Pasadena-CA, 1995, pp.4-14.
2. J. Carreira, H. Madeira, J. G. Silva, "Xception: Software Fault Injection and Monitoring in Processor Functional Units", DCCA'95, Urbana, Champaign-USA, 1995, pp.135-149.
3. Chillarege, R., and N. S. Bowen, "Understanding Large System Failures: A Fault Injection Experiment", FTCS-19, 1989.
4. J. C. Cunha, M. Z. Rela, J. G. Silva, "Can Software-Implemented Fault-Injection be used on Real-Time Systems?", EDCC-3, Prague, Czech Republic, September 1999.
5. M. Hiller, "Executable Assertions for Detecting Data Errors in Embedded Control Systems", DSN'2000, New York, June 2000, pp.24-33.
6. J. C. Laprie, "Dependability: Basic Concepts and Terminology", Springer-Verlag, 1991.
7. M. Pease, R. Shostak, L. Lamport, "Reaching Agreement in the presence of faults", Journal of the ACM, 25, 1980, pp. 228-234.
8. D. Powell, P. Veríssimo, G. Bonn, F. Waeselynck, and D. Seaton, "The Delta-4 Approach to Dependability in Open Distributed Computing Systems", FTCS-18, Tokyo, 1988.
9. B. Randell, "System Sructure for Software Fault-Tolerance", IEEE Trans. on Software Engineering, SE-1(2), 1975, pp. 220-232.
10. M. Rela, H. Madeira, J.G. Silva, "Experimental Evaluation of the Fail-Silent Behavior of Programs with Consistency Checks", FTCS-26, Sendai, Japan, 1996.
11. L. Sha, "Dependable System Upgrade", RTSS'98, Madrid, Spain, December 1998, pp.440-448.
12. J. G. Silva, P. Prata, M. Rela, H. Madeira, "Practical Issues in the Use of ABFT and a New Failure Model", FTCS-28, Munich, Germany, 1998, pp.26-35.
13. "PS600 Laboratory Experiment Inverted Pendulum - Manual" - Amira GmbH, Germany, 1996.
14. http://www.smxinfo.com
15. J. H. Saltzer, D. P. Reed, D. D. Clark "End-To-End Arguments in System Design", ACM Transactions in Computer Systems, Vol 2, N. 4, November 1984, pp. 277-288.
16. A. P. Magalhães, J. G. Silva, "Stabilizing Pre-Run-Time Schedules with the Help of Grace Time", Real-Time Systems, 17(1), July 1999, pp. 65-86.