skip to main content
research-article

Evaluation and Improvements of Runtime Monitoring Methods for Real-Time Event Streams

Authors Info & Claims
Published:23 May 2016Publication History
Skip Abstract Section

Abstract

Runtime monitoring is of great importance as a safeguard to guarantee the correctness of system runtime behaviors. Two state-of-the-art methods, dynamic counters and l-repetitive function, were recently developed to tackle the runtime monitoring for real-time systems. While both are reported to be efficient in monitoring arbitrary events, the monitoring performance between them has not yet been evaluated. This article evaluates both methods in depth, to identify their strengths and weaknesses. New methods are proposed to efficiently monitor the many-to-one connections that are abstracted as AND and OR components on multiple inputs. Representative scenarios are used as our case studies to quantitatively demonstrate the evaluations. Both methods are implemented in hardware Fpga. The timing overhead and resource usages of implementing the two methods are evaluated.

References

  1. B. Bonakdarpour, S. Navabpour, and S. Fischmeister. 2011. Sampling-based runtime verification. In FM 2011: Formal Methods. Springer, 88--102. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. B. Bonakdarpour, S. Navabpour, and S. Fischmeister. 2013. Time-triggered runtime verification. Formal Methods in System Design 43, 1 (2013), 29--60.Google ScholarGoogle ScholarCross RefCross Ref
  3. W. Haid and L. Thiele. 2007. Complex task activation schemes in system level performance analysis. In Hardware/Software Codesign and System Synthesis (CODES+ ISSS’07). IEEE, 173--178. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. 2005. System level performance analysis - the SymTA/S approach. In Computers and Digital Techniques. IEEE, 148--166.Google ScholarGoogle Scholar
  5. K. Huang, G. Chen, C. Buckl, and A. Knoll. 2012. Conforming the runtime inputs for hard real-time embedded systems. In Design Automation Conference (DAC’12). ACM, 430--436. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. M. Jersak. 2005. Compositional Performance Analysis for Complex Embedded Applications. Ph.D. Dissertation. University of Braunschweig-Institute of Technology.Google ScholarGoogle Scholar
  7. M. Jersak and R. Ernst. 2003. Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. In Design Automation Conference (DAC’03). ACM, 454--459. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. K. Lampka, K. Huang, and J.-J. Chen. 2011. Dynamic counters and the efficient and effective online power management of embedded real-time systems. In Hardware/Software Codesign and System Synthesis (CODES+ ISSS’11). ACM, 267--276. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. K. Lampka, S. Perathoner, and L. Thiele. 2009. Analytic real-time analysis and timed automata: A hybrid method for analyzing embedded real-time systems. In ACM International Conference on Embedded Software (EMSOFT’09). ACM, 107--116. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. K. Lampka, S. Perathoner, and L. Thiele. 2010. Analytic real-time analysis and timed automata: A hybrid methodology for the performance analysis of embedded real-time systems. Design Automation for Embedded Systems 14, 3 (2010), 193--227. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. J.-Y. Le Boudec and P. Thiran. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Vol. 2050. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. R. Medhat, B. Bonakdarpour, D. Kumar, and S. Fischmeister. 2015. Runtime monitoring of cyber-physical systems under timing and memory constraints. ACM Transactions on Embedded Computing Systems (TECS) 14, 4 (2015), 79. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. R. Medhat, D. Kumar, B. Bonakdarpour, and S. Fischmeister. 2014. Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. In Cyber-Physical Systems (ICCPS’14). IEEE, 115--126. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. M. Neukirchner, P. Axer, T. Michaels, and R. Ernst. 2013a. Monitoring of workload arrival functions for mixed-criticality systems. In Real-Time Systems Symposium (RTSS’13). IEEE, 88--96. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. M. Neukirchner, T. Michaels, P. Axer, S. Quinton, and R. Ernst. 2012. Monitoring arbitrary activation patterns in real-time systems. In Real-Time Systems Symposium (RTSS’12). IEEE, 293--302. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. M. Neukirchner, S. Quinton, R. Ernst, and K. Lampka. 2013b. Multi-mode monitoring for mixed-criticality real-time systems. In Hardware/Software Codesign and System Synthesis (CODES-ISSS’13). ACM, 1--10. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker, R. Henia, R. Racu, R. Ernst, and M. G. Harbour. 2009. Influence of different abstractions on the performance analysis of distributed hard real-time systems. Design Automation for Embedded Systems 13, 1--2 (2009), 27--49. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. L. T. X. Phan and I. Lee. 2013. Improving schedulability of fixed-priority real-time systems using shapers. In Real-Time and Embedded Technology and Applications Symposium (RTAS’13). IEEE, 217--226. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. K. Richter, M. Jersak, and R. Ernst. 2003a. A formal approach to MpSoC performance verification. Computer 36, 4 (2003), 60--67. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. K. Richter, R. Racu, and R. Ernst. 2003b. Scheduling analysis integration for heterogeneous multiprocessor SoC. In Real-Time Systems Symposium (RTSS’03). IEEE, 236--245. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. L. Thiele, S. Chakraborty, and M. Naedele. 2000. Real-time calculus for scheduling hard real-time systems. In International Symposium on Circuits and Systems. IEEE, 101--104.Google ScholarGoogle Scholar
  22. K. W. Tindell, A. Burns, and A. J. Wellings. 1994. An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Systems 6, 2 (1994), 133--151. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. E. Wandeler. 2006. Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems. Ph.D. Dissertation. ETH Zurich, Swiss.Google ScholarGoogle Scholar
  24. E. Wandeler, A. Maxiaguine, and L. Thiele. 2012. On the use of greedy shapers in real-time embedded systems. ACM Transactions on Embedded Computing Systems (TECS) 11, 1 (2012), 1. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Evaluation and Improvements of Runtime Monitoring Methods for Real-Time Event Streams

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!