Predictable runtime monitoring

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2009, Pages 173-183

  Zhu, Haitao ^a   Dwyer, Matthew B ^a   Goddard, Steve ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT VIOLATION; DETECTION LATENCY; DYNAMIC PROGRAMS; MONITORING ACTIVITIES; MONITORING PROCESS; OFF-LINE ANALYSIS; ORIGINAL SYSTEMS; PRIORITY SCHEDULING; RUNTIME MONITORING; RUNTIMES; SCHEDULABILITY; SERVER-BASED; SOFTWARE INTENSIVE SYSTEMS; TRIGGER SYSTEMS;

MONITORING; SERVERS;

REAL TIME SYSTEMS;

EID: 70449637792     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2009.23     Document Type: Conference Paper

References (31)

1. E. M. Clarke, O. Grumberg, and D. A. Peled, Model checking. MIT Press, 1999.
2. S. Ghoshal, S. Manimaran, G. Roşu, T. F. Ş erbǎnuţǎ, and G. Ş tefǎnescu, "Monitoring ivhm systems using a monitororiented programming framework," in The Sixth NASA Langley Formal Methods Workshop, 2008
3. H. Goldsby, B. H. C. Cheng, and J. Zhang, "Amoeba-rt: Runtime verification of adaptive software," in Models in Software Engineering, Workshops and Symposia, ser. Lecture Notes in Computer Science, vol.5002, 2008, pp. 212-224.
4. D. Arora, S. Ravi, A. Raghunathan, and N. K. Jha, "Hardware-assisted run-time monitoring for secure program execution on embedded processors," IEEE Trans. VLSI Syst., vol.14, no.12, pp. 1295-1308, 2006.
5. R. Pellizzoni, P. Meredith, M. Caccamo, and G. Rosu, "Hardware runtime monitoring for dependable cots-based real-time embedded systems," in RTSS '08: Proceedings of the 2008 Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 2008, pp. 481-491.
6. N. Delgado, A. Q. Gates, and S. Roach, "A taxonomy and catalog of runtime software-fault monitoring tools," IEEE Trans. Softw. Eng., vol.30, no.12, pp. 859-872, 2004.
7. J. D. Schierman, D. G. Ward, B. C. Dutoi, A. M. Aiello, J. F. Berryman, M. D. Devore, W. A. Storm, and J. E. Wadley, "Run-time verification and validation for safety-critical flight control systems," in Proceedings of the AIAA Guidance, Navigation and Control Conference, 2008.
8. J. Tsai, K.-Y. Fang, and H.-Y. Chen, "A noninvasive architecture to monitor real-time distributed systems," Computer, vol.23, no.3, pp. 11-23, Mar 1990.
9. A.-C. Liu and R. Parthasarathi, "Hardware monitoring of a multiprocessor system," IEEE Micro, vol.9, no.5, pp. 44-51, 1989.
10. W. C. Brantley, K. P. McAuliffe, and T. A. Ngo, "Rp3 performance monitoring hardware," in Monitoring and debugging of distributed real-time systems. Los Alamitos, CA, USA: IEEE Computer Society, 1995, pp. 186-198.
11. B. Lazzerini, C. A. Prete, and L. Lopriore, "A programmable debugging aid for real-time software development," IEEE Micro, vol.6, no.3, pp. 34-42, 1986.
12. H. Thane, "Monitoring, testing and debugging of distributed real-time systems," Ph.D. dissertation, Royal Institute of Technology, 2000.
13. D. Haban and D. Wybranietz, "A hybrid monitor for behavior and performance analysis of distributed systems," IEEE Trans. Softw. Eng., vol.16, no.2, pp. 197-211, Feb 1990.
14. C. Watterson and D. Heffernan, "Runtime verification and monitoring of embedded systems," Software, IET, vol.1, no.5, pp. 172-179, October 2007.
15. F. Jahanian and A. K. Mok, "Safety analysis of timing properties in real-time systems," IEEE Trans. Softw. Eng., vol.12, no.9, pp. 890-904, 1986.
16. M. B. Dwyer, M. Diep, and S. Elbaum, "Reducing the cost of path property monitoring through sampling," in Proceedings of International Conference on Automated Software Engineering, 2008, pp. 228-237.
17. B. A. Schroeder, "On-line monitoring: A tutorial," Computer, vol.28, no.6, pp. 72-78, 1995.
18. J. K. Strosnider, J. P. Lehoczky, and L. Sha, "The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments," IEEE Trans. Comput., vol.44, no.1, pp. 73-91, 1995.
19. B. Sprunt, "Aperiodic task scheduling for real-time systems," Ph.D. dissertation, Carnegie Mellon University, 1990.
20. P. Cuijpers and R. Bril, "Towards budgeting in real-time calculus: Deferrable servers," in Formal Modeling and Analysis of Timed Systems, ser. Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2007, vol.4763, pp. 98-113.
21. R. I. Davis and A. Burns, "Hierarchical fixed priority preemptive scheduling," in RTSS '05: Proceedings of the 26th IEEE International Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 2005, pp. 389-398.
22. S. Chodrow, F. Jahanian, and M. Donner, "Run-time monitoring of real-time systems," in RTSS '91: Proceedings of the 12th IEEE Real-Time Systems Symposium. San Antonio, TX, USA: IEEE Computer Society, Dec 1991, pp. 74-83.
23. A. K. Mok and G. Liu, "Efficient run-time monitoring of timing constraints," in RTAS '97: Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium. Washington, DC, USA: IEEE Computer Society, 1997, pp. 252-262.
24. --, "Early detection of timing constraint violation at runtime," in RTSS '97: Proceedings of the 18th IEEE Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 1997, pp. 176-185.
25. M. Kim, M. Viswanathan, S. Kannan, I. Lee, and O. Sokolsky, "Java-mac: A run-time assurance approach for java programs," Form. Methods Syst. Des., vol.24, no.2, pp. 129-155, 2004.
26. I. Lee, H. Ben-abdallah, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan, "A monitoring and checking framework for run-time correctness assurance," in Proceedings of the 1998 Korea-U.S. Technical Conference on Strategic Technologies, 1998.
27. D. Giannakopoulou and K. Havelund, "Automata-based verification of temporal properties on running programs," in ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering. Washington, DC, USA: IEEE Computer Society, 2001, p. 412.
28. K. Havelund and G. Rosu, "Monitoring java programs with java pathexplorer," Electronic Notes in Theoretical Computer Science, vol.55, no.2, pp. 200-217, 2001.
29. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," J. ACM, vol.20, no.1, pp. 46-61, 1973.
30. T. M. Ghazalie and T. P. Baker, "Aperiodic servers in a deadline scheduling environment," Real-Time Syst., vol.9, no.1, pp. 31-67, 1995.
31. M. B. Dwyer, A. Kinneer, and S. Elbaum, "Adaptive online program analysis," in ICSE '07: Proceedings of the 29th international conference on Software Engineering. Washington, DC, USA: IEEE Computer Society, 2007, pp. 220-229.