Monitoring, checking, and steering of real-time systems

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 4, 2002, Pages 95-111

  Kim, Moonjoo ^a   Lee, Insup ^b   Sammapun, Usa ^b   Shin, Jangwoo ^b   Sokolsky, Oleg ^b  

^a SECUicom   (South Korea)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SOFTWARE; CONTROL SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; MONITORING; SOFTWARE ENGINEERING;

FORMAL VERIFICATION; MONITORING AND CHECKING (MAC) SYSTEM; RUN-TIME ANALYSIS; RUN-TIME MONITORING;

REAL TIME SYSTEMS;

EID: 0347118373     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80579-6     Document Type: Conference Paper

References (10)

1. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from java source code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000
2. A. Gates, S. Roach, O. Mondragon, and N. Delgado. DynaMICs: Comprehensive support for run-time monitoring. In Proceedings of the First Workshop on Run-Time Verification, July 2001
3. Havelund K., Pressburger T. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer. 2:(4):Apr. 2000;366-381
4. Java Technology Center, Compaq Corp. Compaq JTrek. Online documentation: http://www.digital.com/java/download/jtrek/
5. M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. Formally specified monitoring of temporal properties. In Proceedings of the European Conference on Real-Time Systems - ECRTS'99, pages 114-121, June 1999
6. I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
7. Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems. 1992;Springer-Verlag
8. Sha L. Using simplicity to control complexity. IEEE Software. 18:(4):July/August 2001;20-28
9. O. Sokolsky, S. Kannan, M. Kim, I. Lee, and M. Viswanathan. Steering of real-time systems based on monitoring and checking. In Proceedings of WORDS'99F, Fifth International Workshop on Object-Oriented Real-time Dependable Systems, Nov. 1999
10. M. Viswanathan. Foundations for the Run-time Analysis of Software Systems. PhD thesis, CIS Dept. Univ. of Pennsylvania, 2000