• DocumentCode
    428685
  • Title

    A biological formal architecture of self-healing system

  • Author

    Can, Wang ; Yang, Li ; Bu Jianjun

  • Author_Institution
    Zhejiang Univ., Hangzhou, China
  • Volume
    6
  • fYear
    2004
  • fDate
    10-13 Oct. 2004
  • Firstpage
    5537
  • Abstract
    This paper presents a self-healing system model for unstable network environment. With the abstract definition of self-healing system, formal definitions for heart, sensor and DNA-logic are introduced. Algorithms for dynamic actions of evolution, mutation and replication are discussed. The experiment results showed that the model would adapt dynamically to a changeable environment.
  • Keywords
    formal logic; self-adjusting systems; software architecture; DNA logic; biological formal architecture; heart; self-healing system; sensor logic; unstable network environment; Biological system modeling; Evolution (biology); HEMTs; Heart; Kernel; Logic; Sensor systems; Software architecture; Software systems; System performance;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 2004 IEEE International Conference on
  • ISSN
    1062-922X
  • Print_ISBN
    0-7803-8566-7
  • Type

    conf

  • DOI
    10.1109/ICSMC.2004.1401075
  • Filename
    1401075