|Table of Contents|

Hybrid Software Fault-tolerant Model Based on Evolvable-modules Redundancy


Research Field:
Publishing date:


Hybrid Software Fault-tolerant Model Based on Evolvable-modules Redundancy
School of Computer Science and Technology,NUST,Nanjing 210094,China
software fault-tolerance modules redundancy evolvable-modules
To improve the reliability and the survival ability of the software,a new hybrid software fault-tolerant model of evolvable-modules redundancy is proposed based on the evolutionary computation.The influence of modularization on the software reliability is analyzed.According to the program locality principle,the module is divided into the core module and the general module.By using the hybrid redundancy method that the program redundancy is for the core module and the time redundancy is for the general module,the redundancy scale is reduced with the little impact on the software performance.The experimental results show that the evolvable-modules model can improve the reliability and the survival ablility of the software.


[1] Saha G K. Software based fault tolerance: a survey[J]. Ubiquity, 2006,7 ( 25) : 1-15.
[2] Reis G A,Chang J,Vachharajani N,et al. Softwarecontrolled fault tolerance[J]. ACM Transactions on Architecture and Code Optimization, 2005, 2 ( 4) : 366-396.
[3] Reis G A,Chang J,Vachharajani N, et al. SWIFT: Software implemented fault tolerance[A]. Proceedings of the International Symposium on Code Generation and Optimization [C]. Washington DC,USA: IEEE Computer Society, 2005: 243-254.
[4] Sathre J,Zambreno J. Automated software attack recovery using rollback and huddle [J]. Springer Journal of Design Automation for Embedded Systems, 2008, 12( 3) : 243-260.
[5] Alfred V A,Monica S L,Ravi S, et al. Compilers: Principles, Techniques and Tools[M]. Second Edition. Boston,USA: Addison Wesley, 2006: 455-456.[6] Xie Zaipeng, Sun Hongyu, Saluja K. A survey of software fault tolerance techniques[EB/OL]. http: / /www. pld. ttu. ee /IAF0030 /Paper_4. pdf, 2010-05-22.
[7] Arcuri A,Yao X. A novel co-evolutionary approach to automatic software bug fixing[A]. Proceedings of the IEEE Congress on Evolutionary Computation [C]. Washington DC,USA: IEEE Computer Society,2008: 162-168.
[8] Forrest S,Nguyen T,Weimer W,et al. A genetic programming approach to automated software repair[A]. Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation[C]. New York,USA: ACM, 2009: 947-954.
[9] Weimer W,Nguyen T,Le Goues C, et al. Automatically finding patches using genetic programming[A]. 31st International Conference on Software Engineering[C]. Washington DC,USA: IEEE Computer Society,2009: 364-374.
[10] Nguyen T,Weimer W,Goues L,et al. Using execution paths to evolve software patches[A]. Proceedings of the IEEE International Conference on Software Testing,Verification, and Validation Workshops[C]. Washington DC,USA: IEEE Computer Society, 2009: 152-153.
[11] 曹晋华,程侃. 可靠性数学引论[M]. 北京: 高等教育出版社, 2006: 213-218.
[12] Bryan B,Jeffrey K H. An API for runtime code patching[J]. The International Journal of High Performance Computing Applications,2000,14 ( 4 ) : 317 -329.[13] Null HTTPd Remote Heap Overflow Vulnerability[EB/ OL]. http: / /www. securityfocus. com/bid /5774 /info, May 20, 2010-05-20.


Last Update: 2012-10-12