loading...
The verification technique of real-time systems using probabilities
Seoul, Korea October 30-November 01
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1996.554965Third International Workshop on Real- ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
S. Yamane, "The verification technique of real-time systems using probabilities," Real-Time Computing Systems and Applications, International Workshop on, pp. 90, Third International Workshop on Real-Time Computing Systems Application (RTCSA'96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.1996.554965,
author = {S. Yamane},
title = {The verification technique of real-time systems using probabilities},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {1996},
isbn = {0-8186-7626-4},
pages = {90},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1996.554965},
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 - The verification technique of real-time systems using probabilities
SN - 0-8186-7626-4
SP
EP
A1 - S. Yamane,
PY - 1996
KW - formal verification; verification technique; real-time systems; probabilities; reliability; formal verification; formal specification; performance properties; dense time model; dense time statecharts; temporal logic; automatic verification method; dense time model checking
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
S. Yamane, Dept. of Comput. Sci., Shimane Univ., Matue, Japan
Real-time systems are distributed, and require reliability. The formal verification and specification are important for real-time systems. In this paper, in order to obtain reliability, we think the notion of dense-time and probabilities are necessary. We propose the following methods in order to specify and verify performance properties in dense time model. (1) Probabilistic and dense time statecharts and temporal logic (2) An automatic verification method by probabilistic and dense time model checking.
Index Terms:
formal verification; verification technique; real-time systems; probabilities; reliability; formal verification; formal specification; performance properties; dense time model; dense time statecharts; temporal logic; automatic verification method; dense time model checking
Citation:
S. Yamane, "The verification technique of real-time systems using probabilities," rtcsa, pp.90, Third International Workshop on Real-Time Computing Systems Application (RTCSA'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.