Dependable Cyber-Physical Systems with Redundant Consumer Single-Board Linux Computers

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9338)

Abstract

There are a large number of small and inexpensive single-board computers with Linux operating systems available on the market today. Most of these aim for the consumer and enthusiast market, but can also be used in research and commercial applications. This paper builds on several years of experience with using such computers in student projects, as well as the development of cyber-physical and embedded control systems. A summary of the properties that are key for dependability for selected boards is given in tabulated form. These boards have interesting properties for many embedded and cyber-physical systems, e.g. high-performance, small size and low cost. The use of Linux for operating system means a development environment that is familiar to many developers, and the availability of many libraries and applications. While not suitable for applications were formally proven dependability is necessary, we argue that by actively mitigating some of the potential problems identified in this paper such computers can be used in many applications where high dependability is desirable, especially in combination with low-cost. A solution with redundant single-board computers is presented as a strategy for achieving high dependability. Due to the low cost and small size, this is feasible for applications were redundancy traditionally would be prohibitively too large or costly.

Keywords

Dependability Cyber-physical systems Linux Single-board computer Redundancy 

References

  1. 1.
    BBC News, The Raspberry Pi computer goes on general sale, 29th February 2012. http://www.bbc.com/news/technology-17190918
  2. 2.
    Sha, L., Gopalakrishnan, S., Liu, X., Wang, Q.: Cyber-Physical systems: a new frontier. In: 2008 IEEE International Conference on, Sensor Networks, Ubiquitous, and Trustworthy Computing, IEEE (2008)Google Scholar
  3. 3.
    Schneider, D., Armengaud, E., Schoitsch, E.: Towards trust assurance and certification in cyber-physical systems. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds.) SAFECOMP 2014. LNCS, vol. 8696, pp. 180–191. Springer, Heidelberg (2014)Google Scholar
  4. 4.
    Miclea, L., Sanislav, T.: About dependability in cyber-physical systems. In: 2011 9th East-West Design and Test Symposium (EWDTS), pp. 17–21. IEEE (2011)Google Scholar
  5. 5.
    Avižienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004). IEEECrossRefGoogle Scholar
  6. 6.
    Lehrbaum, R.: Using Linux in Embedded and Real-Time Systems. In: Linux Journal, vol. 2000, no. 75es, Belltown Media (2000)Google Scholar
  7. 7.
    Netland, Ø., Jenssen, G.D., Schade, H.M., Skavhaug, A.: An experiment on the effectiveness of remote, robotic inspection compared to manned. In: 2013 IEEE International Conference on Systems, Man and Cybernetics, pp. 2310–2315. IEEE (2013)Google Scholar
  8. 8.
    Kruger, C.P., Hancke, G.P.: Benchmarking internet of things devices. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), pp. 611–616. IEEE (2014)Google Scholar
  9. 9.
    Wikipedia.: Comparison of single-board computers. Accessed 9th June 2015. http://en.wikipedia.org/wiki/Comparison_of_single-board_computers
  10. 10.
    Burns, A., Wellings, A.: Real-time systems and programming languages: Ada 95, real-time Java, and real-time POSIX. Addison Wesley, Boston (2001)Google Scholar
  11. 11.
    Vun, N., Hor, H.F., Chao, J.W.: Real-time enhancements for embedded linux. In: 2008 14th IEEE International Conference on Parallel and Distributed Systems, pp. 737–740. IEEE (2008)Google Scholar
  12. 12.
    Barabanov, M., Yodaiken, V.: Real-time linux. Linux J. 23 (1996)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Engineering Design and MaterialsTrondheimNorway
  2. 2.Department of Engineering CyberneticsTrondheimNorway

Personalised recommendations