Stochastic Model Checking for Multimedia

Details Stochastic Model Checking for Multimedia Stochastic Model Checking for Multimedia

2000-02-04

arxiv.org/abs/cs/0002004v1

Computer Science

Multimedia

35 pages; 6 figures

Scientific paper

Modern distributed systems include a class of applications in which non-functional requirements are important. In particular, these applications include multimedia facilities where real time constraints are crucial to their correct functioning. In order to specify such systems it is necessary to describe that events occur at times given by probability distributions and stochastic automata have emerged as a useful technique by which such systems can be specified and verified. However, stochastic descriptions are very general, in particular they allow the use of general probability distribution functions, and therefore their verification can be complex. In the last few years, model checking has emerged as a useful verification tool for large systems. In this paper we describe two model checking algorithms for stochastic automata. These algorithms consider how properties written in a simple probabilistic real-time logic can be checked against a given stochastic automaton.

Affiliated with

Also associated with

No associations

Rating

Stochastic Model Checking for Multimedia does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Stochastic Model Checking for Multimedia, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stochastic Model Checking for Multimedia will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-232920