Abstract
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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Avizienis, A., Lapric, J.C.: Dependable Computing: From Concepts to Design Diversity. Proceedings of the IEEE 74(5), 629–638 (1986)
Dobson, J., Randell, B.: Building Reliable Secure Computing Systems out of Unreliable Insecure Components. In: Proceeding of IEEE Symposium on Security and Privacy, pp. 187–193 (1986)
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
ITU-T. Terms and Definitions Related to QoS and Network Performance Including Dependability, Recommendations E800, Geneva (1994)
Cotting, M.C., Burken, J.J.: Reconfigurable Control Design for the Full X-33 Flight Envelope. In: Proceedings of AIAA Guidance, Navigation & Control Conference, Montreal, Quebec, Canada, p. 16 (2001)
Saint-Jean, S.B., Torres, R.: HS-Scale: a Hardware-Software Scalable MP-SOC Architecture for embedded Systems. In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), pp. 21–28 (2007)
Blanke, M., Kinnaert, M., Lunze, J., Staroswiecki, M.: Diagnosis and Fault-tolerant Control, p. 672. Springer, Heidelberg (2006)
Tribble, A.C., Miller, S.P., Lempia, D.L.: Software Safety Analysis of a Flight Guidance System. Rockwell Collins, Inc., 400 Collins Rd, NE Cedar Rapids, IA 52402 USA, http://shemesh.larc.nasa.gov/fm/papers/Tribble-SW-Safety-FGS-DASC.pdf
Rushby, J.: Formal Methods and the Certification of critical Systems. Computer Science Laboratory, SRI International menlo Park CA 94025 USA, http://techreports.larc.nasa.gov/ltrs/PDF/cr4551.pdf
Ullmann, M., Huebner, M., Grimm, B., Becker, J.: An FPGA run-time system for dynamical on-demand reconfiguration. In: Proceedings of the 18th International Symposium on Parallel and Distributed Processing, p. 135 (2004)
Benini, L., De Micheli, G.: Networks on Chips: A New SoC Paradigm. Computer 35(1), 70–78 (2002)
Strigini, L., Littlewood, B.: A Discussion of Practices for Enhancing Diversity in Software Designs, Centre for Software Reliability. Technical Report LS_DI_TR_04 (2000)
Townend, P., Xu, J., Munro, M.: Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version. In: Proceedings of the 6th Int. Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2001, p. 103 (2001)
Kharchenko, V.S., Tarasenko V.V.: Multiversion Design Technologies of On-board Fault-tolerant FPGA Devices. In: Proceedings of MAPLD Conference, Maryland, USA (2001)
Shuqing, W., Jiaping, L., Zipeng, Z., Xiaohui, Y.: Application of Neural Networks and Genetic Algorithm in Knowledge Acquisition of Fuzzy Control System. In: Proceedings of the 6th World Congress on Intelligent Control and Automation, vol. 1, pp. 3886–3890 (2006)
Dunham, B., Fridshal, D., Fridshal, R., North, J.: Design by Natural Selection. In: Synthese, pp. 254–259. D. Reidel Publication Company, Dordrecht (1963)
Thompson, A., Layzell, P., Zebulum, R.: Explorations in Design Space: Unconventional Electronics Design through Artificial Evolution. IEEE Transactions on Evolutionary Computation 3(3) (1999)
Teuscher, C.: Turing’s Connectionism. In: An Investigation of Neural Network Architectures. Springer, London (2001)
Shuqing, W., Jiaping, L., Zipeng, Z., Xiaohui, Y.: Application of Neural Networks and Genetic Algorithm in Knowledge Acquisition of Fuzzy Control System. In: Proceedings of the 6th World Congress on Intelligent Control and Automation, vol. 1, pp. 3886–3890 (2006)
Dias, F.M., Antunes, A., Mota, A.M.: Artificial neural networks: a review of commercial hardware. Engineering Applications of Artificial Intelligence 17(8), 945A–952A (2004)
Darwing, C.: The Origin of Species. John Murray, London (1859)
Holland, J.H.: Adaptation in Natural and Artificial Systems. The University of Michigan Press, Ann Arbor (1975)
Savage, M.J.W., Salcic, Z., Coghill, G., Covic, G.: Extended genetic algorithm for codesign optimization of DSP systems in FPGAs. In: Proceedings of IEEE International Conference on Field-Programmable Technology, pp. 291–294 (2004)
Koza, J., Al-Sakran, S., Jones, L.: Cross-Domain Features of Runs of Genetic Programming Used to Evolve Designs for Analog Circuits, Optical Lens Systems, Controllers, Antennas, Mechanical Systems and Quantum Computer Circuits. In: NASA/DoD Conference on Evolvable Hardware, pp. 205–214. IEEE Computer Society Press, Los Alamitos (2005)
Hornby, G., Takamura, S., Yokono, J., Hanagata, O., Yamamoto, T., Fujita, M.: Evolving Robust Gaits with AIBO. In: IEEE International Conference on Robotics and Automation, pp. 3040–3045. IEEE, Los Alamitos (2000)
Hornby, G.: Functional Scalability through Generative Representations: the Evolution of Table Designs. Environment and Planning B: Planning and Design 31(4), 569–587 (2004)
Yakymets, N., Kharchenko, V.: Resource-Oriented Diversification of Fault-Tolerant PLD-Systems. Radio-Electronic and Computer Systems, KhAI 3, 45–50 (2006)
Yakymets, N., Kharchenko, V.: Design of Complex Fault-Tolerant PLD-Based Systems Using Genetic Algorithms. In: Proceedings of IEEE East-West Design and Test Symposium, Yerevan, pp. 429–432 (2007)
Yakymets, N., Kharchenko, V.: Fault-Tolerant Digital Systems Implemented with Partially Definite and Partially Correct Automata. In: Proceedings of the Second International Workshop on Engineering Fault Tolerant Systems (EFTS 2007), Dubrovnik, Croatia (2007)
Kharchenko, V.S., Sklyar, V.V., Volkovoy, A.V.: Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components. In: Proceeding of DepCoS-RELCOMEX Conference, Szklarska Poreba, Poland, pp. 43–50 (2007)
Dem’yanov, V., Malozemov, V.: An introduction to Minimax. Nauka (1972)
Yakymets, N., Ushakov, A.: Certificate of authorship No. 10393 for the computer program “Adjustable generator of cluster faults of logical cells in programmable logic devices” (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Yakymets, N., Kharchenko, V. (2011). 7 Reliable FPGA-Based Systems Out of Unreliable Automata: Multi-version Design Using Genetic Algorithms. In: Adamski, M., Barkalov, A., Węgrzyn, M. (eds) Design of Digital Systems and Devices. Lecture Notes in Electrical Engineering, vol 79. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17545-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-17545-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17544-2
Online ISBN: 978-3-642-17545-9
eBook Packages: EngineeringEngineering (R0)