ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS

Gabor Simko, Janos Sztipanovits

Abstract

Monitoring temporal relationships among events in event streams has wide scale applicability in health information systems. From detecting violations of privacy policies in message sequences to diagnosing conditions in physiological data streams real-time event monitoring of temporal invariants is becoming an important tool for system design. We developed an Active Real-Time Event Monitoring and Integration System (ARTEMIS) capable of integrating event streams and monitoring the existence of temporal invariants among events expressed in a safety fragment of metric first-order temporal logic (MFOTL). The paper discusses the mathematical foundations of the monitor, and demonstrates the application concepts in a physiological alarm generator and clinical information workflow system.

References

  1. Barth, A., Datta, A., Mitchell, J. C., Nissenbaum, H., 2006. Privacy and contextual integrity: Framework and applications. SP'06, pp.184-198.
  2. Basin, D., Klaedtke, F., Muller, S., 2010. Monitoring security policies with metric first-order temporal logic. SACMAT, pp.23-34.
  3. Basin, D., Klaedtke, F., Muller, S., Pfitzmann, B., 2008. Runtime monitoring of metric first-order temporal properties. FSTTCS, 2, pp.49-60.
  4. Chomicki, J., 1995. Efficient checking of temporal integrity constraints using bounded history encoding. TODS, 20(2), pp.149-186.
  5. Alur, R., Henzinger, T., 1991. Logics and models of real time: A survey. REX Workshop on Real Time: Theory in Practice, pp.74-106.
  6. Koymans, R., 1990. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2, pp.255- 299.
  7. Nickovic, D., Maler, O., 2007. AMT: A property-based monitoring tool for analog systems. FORMATS, 4763, pp. 304-319.
  8. Alur, R., Feder, T., Henzinger, T. A., 1991. The benefits of relaxing punctuality. Tenth Annual Symposium on Principles of Distributed Computing, pp.139-152.
  9. Shapiro, N. I., Howell, M. D., Talmor, D. et al., 2006. Implementation and outcomes of the Multiple Urgent Sepsis Therapies (MUST) protocol. Critical Care Medicine, 34, pp.1025-1032.
  10. Dellinger, R., Levy, M., Carlet, J. et al., 2008. Surviving Sepsis Campaign: International guidelines for management of severe sepsis and septic shock. Intensive Care Medicine, 34, pp.17-60.
Download


Paper Citation


in Harvard Style

Simko G. and Sztipanovits J. (2012). ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS . In Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2012) ISBN 978-989-8425-88-1, pages 370-373. DOI: 10.5220/0003768703700373


in Bibtex Style

@conference{healthinf12,
author={Gabor Simko and Janos Sztipanovits},
title={ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS},
booktitle={Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2012)},
year={2012},
pages={370-373},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003768703700373},
isbn={978-989-8425-88-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2012)
TI - ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS
SN - 978-989-8425-88-1
AU - Simko G.
AU - Sztipanovits J.
PY - 2012
SP - 370
EP - 373
DO - 10.5220/0003768703700373