Modeling and Analysis of Probabilistic Timed Systems

TitleModeling and Analysis of Probabilistic Timed Systems
Publication TypeConference Paper
Year of Publication2009
AuthorsDubey, A., D. Riley, and S. Abdelwahed
Conference NameEngineering of Computer Based Systems
Date Published04/2009
Conference LocationSan Francisco, USA

Probabilistic system models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a proposed technique for verifying certain safety and liveness properties for probabilistic timed automata. The proposed technique is an extension of a technique used to verify stochastic hybrid automata using an approximation with Markov Decision Processes. A case study for CSMA/CD protocol has been used to show case the methodology used in our technique.

PTAVerification.pdf1.42 MB