loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05)
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties
Hong Kong, China
August 17-August 19
ISBN: 0-7695-2346-3
ASCII Text
x 
 
Usa Sammapun, Insup Lee, Oleg Sokolsky, "RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties," Real-Time Computing Systems and Applications, International Workshop on, pp. 147-153, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.2005.84,
author = {Usa Sammapun and Insup Lee and Oleg Sokolsky},
title = {RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {2005},
issn = {1533-2306},
pages = {147-153},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.84},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties
SN - 1533-2306
SP147
EP153
A1 - Usa Sammapun,
A1 - Insup Lee,
A1 - Oleg Sokolsky,
PY - 2005
KW - null
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
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.
Citation:
Usa Sammapun, Insup Lee, Oleg Sokolsky, "RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties," rtcsa, pp.147-153, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.