EFFICIENT IMPLEMENTATION OF FAULT-TOLERANT DATA STRUCTURES IN PC-BASED CONTROL SOFTWARE

Michael Short

Abstract

Recent years have seen an increased interest in the use of open-architecture, PC-based controllers for robotic and mechatronic systems. Although such systems give increased flexibility and performance at low unit cost, the use of commercial processors and memory devices can be problematic from a safety perspective as they lack many of the built-in integrity testing features that are typical of more specialised equipment. Previous research has shown that the rate of undetected corruptions in industrial PC memory devices is large enough to be of concern in systems where the correct functioning of equipment is vital. In this paper the mechanisms that may lead to such corruptions and the level of risk is examined. A simple, portable and highly effective software library is also presented in this paper that can reduce the impact of such memory errors. The effectiveness of the library is verified in a small example.

References

  1. Burn, K., Short, M., Bicker, R., 2003. Adaptive And Nonlinear Force Control Techniques Applied to Robots Operating in Uncertain Environments. Journal of Robotic Systems, Vol. 20, No. 7, pp. 391-400.
  2. Dhillon, B.S., Fashandi, A.R.M., 1997. Safety and reliability assessment techniques in robotics. Robotica, Vol. 15, pp. 701-708.
  3. Fu, K.S., Gonzales, R.C., Lee, C.S.G., 1987. Robotics: Control, Sensing, Vision And Intelligence. McGrawHill International Editions.
  4. Gong, C., Melhem, R., Gupta, R., 1997. On-line error detection through data duplication in distributed memory systems. Microprocessors and Microsystems, Vol. 21, pp. 197-209.
  5. Hamdioui, S., van der Goor, A., Rogers, M., 2002. March SS: A Test for All Static Simple RAM Faults. In Proc. Of the 2002 IEEE Intl. Workshop on Memory Tech., Design and Testing.
  6. Hong, K.S., Choi, K.H., Kim, J.G., Lee, S., 2001. A PCbased open robot control system: PC-ORC. Robotics and ComputerIntegrated Manufacturing, Vol. 17, pp. 355-365.
  7. Lee, C.J., Mavroidis, C., 2000. WinRec V.1: Real-Time Control Software for Windows NT and its Applications. In Proc. American Control Conf., Chicago, Il., pp. 651-655.
  8. Levenson, N.G., 1995. Safeware: System Safety and Computers, Reading, M.A., Addison-Wesley.
  9. Messer, A., Bernadat, P., Fu, G., Chen, G., Dimitrijevic, Z., Lie, D., Mannaru, D.D, Riska, A., Milojicic, D., 2001. Susceptibility of Modern Systems and Software to Soft Errors, In Proc. Int. Conf. on Dependable Sys. And Networks, Goteburg, Sweden.
  10. MIL-HDBK-217F, 1991. Military Handbook of Reliability Prediction of Electronic Equipment. December 1991.
  11. Normand, E., 1996. Single Event Effects in Avionics, IEEE Trans. on Nuclear Science, Vol. 43, No. 2.
  12. Oh, N., Shivani, P.P., McCluskey, E.J., 2001. Control Flow Checking by Software Signature. IEEE Trans. On Reliability, September 2001.
  13. Ong, H.L.R, Pont, M.J., 2002. The impact of instruction pointer corruption on program flow: a computational modelling study. Microprocessors and Microsystems, 25: 409-419.
  14. Rajabzadeh, A., Miremadi, S.G., 2006. Transient detection in COTS processors using software approach, Microelectronics Reliability, Vol. 46, pp. 124-133.
  15. Rebaudengo, M., Sonza Reorda, M., Violante, M., 2002. A new approach to software-implemented fault tolerance. In Proc. IEEE Latin American Test Workshop, 2002.
  16. Schofield, S., Wright, P., 1998. Open Architecture Controllers for Machine Tools, Part 1: Design Principles. Trans. ASME Journ. of Manufacturing Sci. & Engineer, Vol. 120, Pt. 2, pp. 417-424.
  17. Short, M., 2003. A Generic Controller Architecture for Advanced and Intelligent Robots. PhD. Thesis, University of Sunderland, UK.
  18. Sosnowski, J., 2006. Software-based self-testing of microprocessors. Journal of Systems Architecture, Vol. 52, pp. 257-271.
  19. Storey, N., 1996. Safety Critical Computer Systems. Addison Wesley Publishing.
Download


Paper Citation


in Harvard Style

Short M. (2007). EFFICIENT IMPLEMENTATION OF FAULT-TOLERANT DATA STRUCTURES IN PC-BASED CONTROL SOFTWARE . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-972-8865-84-9, pages 214-219. DOI: 10.5220/0001618402140219


in Bibtex Style

@conference{icinco07,
author={Michael Short},
title={EFFICIENT IMPLEMENTATION OF FAULT-TOLERANT DATA STRUCTURES IN PC-BASED CONTROL SOFTWARE},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2007},
pages={214-219},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001618402140219},
isbn={978-972-8865-84-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - EFFICIENT IMPLEMENTATION OF FAULT-TOLERANT DATA STRUCTURES IN PC-BASED CONTROL SOFTWARE
SN - 978-972-8865-84-9
AU - Short M.
PY - 2007
SP - 214
EP - 219
DO - 10.5220/0001618402140219