11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) (2005)
Hong Kong, China
Aug. 17, 2005 to Aug. 19, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.84
Usa Sammapun , University of Pennsylvania
Insup Lee , University of Pennsylvania
Oleg Sokolsky , University of Pennsylvania
Correctness of a real-time system depends on its computation as well as its timeliness and its reliability. In recent years, researches have focused on verifying correctness of a real-time system during runtime by monitoring its execution and checking it against its formal specifications. Such verification method is called Runtime Verification. Most existing runtime verification tools verify computation correctness using qualitative property specifications but do not verify timeliness nor reliability correctness. In this paper, we investigate the verification on timeliness and reliability correctness by offering quantitative and probabilistic property specifications and implementing efficient verifiers.
I. Lee, O. Sokolsky and U. Sammapun, "RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties," 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05)(RTCSA), Hong Kong, China, 2005, pp. 147-153.