• DocumentCode
    3322573
  • Title

    Monitoring of distributed systems

  • Author

    Shim, Y.C. ; Ramamoorthy, C.V.

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
  • fYear
    1991
  • fDate
    3-5 Apr 1991
  • Firstpage
    248
  • Lastpage
    256
  • Abstract
    Distributed systems offer opportunities for attaining high performance, fault-tolerance, information sharing, resource sharing, etc. But we cannot benefit from these potential advantages without suitable management functions such as performance management, fault management, security management, etc. Underlying all these management functions is the monitoring of the distributed system. Monitoring consists of collecting information from the system and detecting particular events and states using the collected information. These events and states can be symptoms for performance degradations, erroneous functions, suspicious activities, etc. and are subject to further analysis. Detecting events and states requires a specification language and an efficient detection algorithm. The authors introduce an event/state specification language based on classical temporal logic and a detection algorithm which is a modification of the RETE algorithm for OPS5 rule-based language. They also compare their language with other specification languages
  • Keywords
    distributed processing; formal logic; software reliability; specification languages; OPS5 rule-based language; RETE algorithm; classical temporal logic; detection algorithm; distributed system; erroneous functions; event/state specification language; fault management; management functions; performance degradations; performance management; security management; suspicious activities; Degradation; Detection algorithms; Event detection; Fault tolerant systems; Information security; Logic; Monitoring; Performance analysis; Resource management; Specification languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Applied Computing, 1991., [Proceedings of the 1991] Symposium on
  • Conference_Location
    Kansas City, MO
  • Print_ISBN
    0-8186-2136-2
  • Type

    conf

  • DOI
    10.1109/SOAC.1991.143885
  • Filename
    143885