Efficient online monitoring of Ltl properties for asynchronous distributed systems

@inproceedings{Massart2006EfficientOM,
  title={Efficient online monitoring of Ltl properties for asynchronous distributed systems},
  author={Thierry Massart},
  year={2006}
}
We define an efficient online method to monitor the execution of asynchronous distributed systems. The code of such systems has been instrumented to record and output, during execution, some pertinent events. This output can be abstracted as a trace , i.e. a partially ordered set of events. During the execution, the online monitoring system collects the trace and checks on the fly that it satifies a requirement, given by any Ltl property on finite sequences. The monitor checks that any… CONTINUE READING
8 Citations
42 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 42 references

Similar Papers

Loading similar papers…