The verification technique of real-time systems using probabilities

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by S. Yamane

Third International Workshop on Real-Time Computing Systems Application (RTCSA'96)

Seoul, Korea

October 30-November 01

ISBN: 0-8186-7626-4

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1996.554965

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.