Tools for User-Assisted Behavioral Monitoring of Distributed Information Networks

摘要

This research focused on providing an event specification approach to enable a flexible monitoring and control of distributed real-time information systems (DIS). The research constructed an object-oriented Application Programming Interface (API) that allows the monitoring of compliance to properties deemed as critical for function of a DIS. Users can prescribe critical properties in the form of event predicates, which are Boolean conditions on the externally visible computation state among the DIS nodes. Events depicting the violation of critical properties, for instance, due to information attacks and/or failures, can be detected by checking if event predicates have become true.