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.
- B. Bonakdarpour, S. Navabpour, and S. Fischmeister. 2011. Sampling-based runtime verification. In FM 2011: Formal Methods. Springer, 88--102. Google Scholar
Digital Library
- B. Bonakdarpour, S. Navabpour, and S. Fischmeister. 2013. Time-triggered runtime verification. Formal Methods in System Design 43, 1 (2013), 29--60.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- M. Jersak. 2005. Compositional Performance Analysis for Complex Embedded Applications. Ph.D. Dissertation. University of Braunschweig-Institute of Technology.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- J.-Y. Le Boudec and P. Thiran. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Vol. 2050. Springer. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- K. Richter, M. Jersak, and R. Ernst. 2003a. A formal approach to MpSoC performance verification. Computer 36, 4 (2003), 60--67. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- E. Wandeler. 2006. Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems. Ph.D. Dissertation. ETH Zurich, Swiss.Google Scholar
- 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 Scholar
Digital Library
Index Terms
Evaluation and Improvements of Runtime Monitoring Methods for Real-Time Event Streams
Recommendations
An Adaptive Service Monitor Providing Runtime Extensibility
SOSE '10: Proceedings of the 2010 Fifth IEEE International Symposium on Service Oriented System EngineeringIn service-oriented environments, runtime monitoring faces the challenge of diversity of monitoring requests. To flexibly instruct ‘what’ and ‘how’ to monitor at runtime from a third-party viewpoint, the paper proposes an extensible model for monitoring,...
Runtime verification of real-time embedded systems
EMSOFT '12: Proceedings of the tenth ACM international conference on Embedded softwareTime-triggered runtime verification aims at tackling two defects associated with runtime overhead: unboundedness and unpredictability. In this approach, a monitor runs in parallel with the program under inspection and periodically samples the program ...
A Runtime-Monitoring-Based Dependable Software Construction Method
ICYCS '08: Proceedings of the 2008 The 9th International Conference for Young Computer ScientistsSoftware runtime monitoring mechanisms can be used to increase the dependability of software systems. However, it is a complex and burdensome job for developers to rebuild existing software systems by adding software runtime monitoring mechanism. ...






Comments