The Community for Technology Leaders
2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (2005)
Hong Kong, China
Aug. 17, 2005 to Aug. 19, 2005
ISSN: 1533-2306
ISBN: 0-7695-2346-3
pp: 147-153
Insup Lee , University of Pennsylvania
Oleg Sokolsky , University of Pennsylvania
Usa Sammapun , University of Pennsylvania
ABSTRACT
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.
INDEX TERMS
null
CITATION
Insup Lee, Oleg Sokolsky, Usa Sammapun, "RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties", 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, vol. 00, no. , pp. 147-153, 2005, doi:10.1109/RTCSA.2005.84
105 ms
(Ver 3.3 (11022016))