7 Reliable FPGA-Based Systems Out of Unreliable Automata: Multi-version Design Using Genetic Algorithms

This chapter introduces the principles of multi-version digital system design and describes the concept of developing a reliable and robust system out of unreliable parts. We started with the state of the art in the area of multi-version design and explore the motivations for using different approaches to development of digital projects. A few techniques to manage design diversity for FPGA-based systems are proposed. These techniques are based on the use of genetic algorithms (GAs), and partially correct and partially definite automata obtained with GAs. Finally, we suggested GA-based method of multi-version fault-tolerant systems synthesis and discuss case-study for on-board device implementation.

[1]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2004, IEEE Transactions on Automatic Control.

[2]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[3]  John Rushby,et al.  Formal Methods and the Certification of Critical Systems , 2004 .

[4]  Jürgen Becker,et al.  An FPGA run-time system for dynamical on-demand reconfiguration , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[5]  Luca Benini,et al.  Networks on Chips : A New SoC Paradigm , 2022 .

[6]  John J. Burken,et al.  RECONFIGURABLE CONTROL DESIGN FOR THE FULL X-33 FLIGHT ENVELOPE , 2001 .

[7]  Christof Teuscher,et al.  Turing's Connectionism , 2001 .

[8]  Tughrul Arslan,et al.  2003 NASA/DoD Conference on Evolvable Hardware , 2002, NASA/DoD Conference on Evolvable Hardware, 2003. Proceedings..

[9]  Steven P. Miller,et al.  Software safety analysis of a flight guidance system , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[10]  John E. Dobson,et al.  Building Reliable Secure Computing Systems out of Unreliable Insecure Components , 1986, IEEE Symposium on Security and Privacy.

[11]  Jie Xu,et al.  Building dependable software for critical applications: multi-version software versus one good version , 2001, Proceedings Sixth International Workshop on Object-Oriented Real-Time Dependable Systems.

[12]  Zoran A. Salcic,et al.  Extended genetic algorithm for codesign optimization of DSP systems in FPGAs , 2004, Proceedings. 2004 IEEE International Conference on Field- Programmable Technology (IEEE Cat. No.04EX921).

[13]  A. Avizienis,et al.  Dependable computing: From concepts to design diversity , 1986, Proceedings of the IEEE.

[14]  Fernando Morgado Dias,et al.  Artificial neural networks: a review of commercial hardware , 2004, Eng. Appl. Artif. Intell..

[15]  Vyacheslav S. Kharchenko,et al.  Fault-tolerant digital systems implemented with partially definite and partially correct automata , 2007, EFTS '07.

[16]  V. F. Demʹi︠a︡nov,et al.  Introduction to minimax , 1976 .

[17]  Paul J. Layzell,et al.  Explorations in design space: unconventional electronics design through artificial evolution , 1999, IEEE Trans. Evol. Comput..

[18]  Xiaohui Yuan,et al.  Application of Neural Networks and Genetic Algorithm in Knowledge Acquisition of Fuzzy Control System , 2006, 2006 6th World Congress on Intelligent Control and Automation.

[19]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[20]  R. Bellman,et al.  An Introduction to Minimax , 1976 .

[21]  Sameer H. Al-Sakran,et al.  Cross-domain features of runs of genetic programming used to evolve designs for analog circuits, optical lens systems, controllers, antennas, mechanical systems, and quantum computing circuits , 2005, 2005 NASA/DoD Conference on Evolvable Hardware (EH'05).

[22]  Christof Teuscher.  Turing's connectionism - an investigation of neural network architectures , 2002, Discrete mathematics and theoretical computer science.

[23]  Vyacheslav S. Kharchenko,et al.  Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components , 2007, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07).

[24]  Masahiro Fujita,et al.  Evolving robust gaits with AIBO , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[25]  Michel Robert,et al.  HS-Scale: a Hardware-Software Scalable MP-SOC Architecture for embedded Systems , 2007, IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07).

[26]  Gregory S. Hornby,et al.  Functional Scalability through Generative Representations: The Evolution of Table Designs , 2004 .

[27]  B. Dunham,et al.  Design by natural selection , 1963 .