Skip to main content
SpringerLink
Log in

On-Line Detection and Prediction of Temporal Patterns

  • Conference paper
Hardware and Software: Verification and Testing (HVC 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7261))

Included in the following conference series:

  • 981 Accesses

Abstract

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.

Partially supported by Deutsche Telekom, Rita Altura Trust Chair in Computer Sciences, Lynne and William Frankel Center for Computer Sciences, Israel Science Foundation (grant number 428/11), Cabarnit Cyber Security MAGNET Consortium, Grant from the Institute for Future Defense Technologies Research named for the Medvedi of the Technion, Israeli Internet Association, and Israeli Defense Secretary (MAFAT).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  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. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-Time. Information and Computation 104(1), 2–34 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  4. Brukman, O., Dolev, S., Kolodner, E.: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. Journal of Systems and Software 81, 2315–2327 (2008)

    Article  Google Scholar 

  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. 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. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)

    Google Scholar 

  8. Dechter, R., Meiri, I., Pearl, J.: Temporal Constraint Networks. Artificial Intelligence 49, 61–95 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  9. Dolev, S., Stomp, F.: Safety Assurance via On-Line Monitoring. Distributed Computing 16(4), 269–277 (2003)

    Article  Google Scholar 

  10. Goldfeld, J.: Efficient On-line Detection of Temporal Patterns, MSc Thesis, BGU-CS (2011)

    Google Scholar 

  11. Laroussinie, F., Markey, N., Schnoebelen, P.: Efficient Timed Model Checking for Discrete-Time Systems. Theor. Comput. Sci. 353(1), 249–271

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Ben-Gurion University, Beer-Sheva, Israel

    Shlomi Dolev & Jonathan Goldfeld

  2. Deutsche Telekom Laboratories, Ben-Gurion University, Beer-Sheva, Israel

    Shlomi Dolev, Jonathan Goldfeld & Rami Puzis

  3. Department of Information Systems Engineering, Ben-Gurion University, Beer-Sheva, Israel

    Rami Puzis

Authors
  1. Shlomi Dolev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jonathan Goldfeld
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rami Puzis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Bristol, Merchant Venturers Building 3.25, Woodland Road, BS8 1UB, Bristol, UK

    Kerstin Eder

  2. Department of Computer Science and Engineering, FCT-UNL, Nova University of Lisbon, Quinta da Tore, 2829-516, Caparica, Portugal

    João Lourenço

  3. IBM Research Labs at Haifa, Haifa University Campus, Mount Carmel, 31905, Haifa, Israel

    Onn Shehory

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dolev, S., Goldfeld, J., Puzis, R. (2012). On-Line Detection and Prediction of Temporal Patterns. In: Eder, K., Lourenço, J., Shehory, O. (eds) Hardware and Software: Verification and Testing. HVC 2011. Lecture Notes in Computer Science, vol 7261. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34188-5_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34188-5_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34187-8

  • Online ISBN: 978-3-642-34188-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation