Exploiting virtual synchrony in distributed systems
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Real time and dependability concepts
Distributed systems (2nd Ed.)
Putting OO distributed programming to work
Communications of the ACM
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems
Object and concurrency in Triveni: a telecommunication case study in java
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Implementing communication protocols in Java
IEEE Communications Magazine
Hi-index | 0.00 |
The paper deals with providing a specification methodology to enable flexible monitoring in large scale distributed information systems (DIS). The goal is to allow the monitoring of compliance to prop- erties deemed as critical for functioning of a DIS. Since information attacks due to external intrusion and/or component failures often manifest as devia- tions from critical behaviors expected of a DIS, a vi- olation of compliance to a specified critical property can be viewed as symptomatic of information attacks. Based on this principle, users can prescribe critical properties in the form of event predicates, which are boolean conditions on the externally visible interface state distributed among computation nodes and can be detected by distributed algorithms. Our specifica- tion methodology manifests in two facets: i) de- signing a meta-language which allows the interface behavior of a system to be prescribed through pos- sible occurrences of events in the external environ- ment; and ii) incorporating the specification lan- guage into a programming interface that exposes the computation-level states symbolizing the occurrence of events. Any target application can then plugged-in to the generic monitor tool to test for its compliance to critical functionality requirements. The realization of monitor in distributed object-oriented programming languages (such as JAVA) reduces the software devel- opment costs of implementing a DIS: due to the ease of specification, development and maintenance of the DIS.