On-Line Detection and Prediction of Temporal Patterns

  • Shlomi Dolev
  • Jonathan Goldfeld
  • Rami Puzis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7261)


Identifying a temporal pattern of events is a fundamental task of on-line (real-time) verification. In this work we present efficient schemes for on-line monitoring of events for identifying predefined patterns of events. The schemes use preprocessing to ensure that the number of comparisons during run-time is minimized. In particular, obsoloete sub-sequences are discarded to avoid unnecessary comparisons.We use our monitoring scheme for estimating the probability that a random suffix of a given execution will contain the pattern.


Temporal Pattern Model Check Temporal Constraint Kripke Structure Computation Tree Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abarbanel, Y., Beer, I., Glushovsky, L., Keidar, S., Wolfsthal, Y.: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. In: Conference on Computer Aided Verification, pp. 538–542 (2000)Google Scholar
  2. 2.
    Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-Time. Information and Computation 104(1), 2–34 (1993)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model checking: 1020 States and beyond. Information and Computation 98(2), 142–170 (1992)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Brukman, O., Dolev, S., Kolodner, E.: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. Journal of Systems and Software 81, 2315–2327 (2008)CrossRefGoogle Scholar
  5. 5.
    Boul’e, M., Zilic, Z.: Efficient automata-based assertion-checker synthesis of PSL properties. In: Proceedings of the IEEE International High Level Design Validation and TestWorkshop (HLDVT), pp. 69–76 (2006)Google Scholar
  6. 6.
    Crochemore, M.: String Matching with Constraints. In: Chytil, M.P., Janiga, L., Koubek, V. (eds.) MFCS 1988. LNCS, vol. 324, pp. 44–58. Springer, Heidelberg (1988)Google Scholar
  7. 7.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)Google Scholar
  8. 8.
    Dechter, R., Meiri, I., Pearl, J.: Temporal Constraint Networks. Artificial Intelligence 49, 61–95 (1991)MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Dolev, S., Stomp, F.: Safety Assurance via On-Line Monitoring. Distributed Computing 16(4), 269–277 (2003)CrossRefGoogle Scholar
  10. 10.
    Goldfeld, J.: Efficient On-line Detection of Temporal Patterns, MSc Thesis, BGU-CS (2011)Google Scholar
  11. 11.
    Laroussinie, F., Markey, N., Schnoebelen, P.: Efficient Timed Model Checking for Discrete-Time Systems. Theor. Comput. Sci. 353(1), 249–271Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Shlomi Dolev
    • 1
    • 2
  • Jonathan Goldfeld
    • 1
    • 2
  • Rami Puzis
    • 2
    • 3
  1. 1.Department of Computer ScienceBen-Gurion UniversityBeer-ShevaIsrael
  2. 2.Deutsche Telekom LaboratoriesBen-Gurion UniversityBeer-ShevaIsrael
  3. 3.Department of Information Systems EngineeringBen-Gurion UniversityBeer-ShevaIsrael

Personalised recommendations