Home > Research > Publications & Outputs > Stochastically enhanced timed automata

Links

Text available via DOI:

View graph of relations

Stochastically enhanced timed automata

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date1/12/2000
Host publicationFormal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000
Pages327-347
Number of pages21
<mark>Original language</mark>English
Event4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 - Stanford, CA, United States
Duration: 6/09/20008/09/2000

Conference

Conference4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000
Country/TerritoryUnited States
CityStanford, CA
Period6/09/008/09/00

Publication series

NameIFIP Advances in Information and Communication Technology
Volume49 AICT
ISSN (Print)1868-4238

Conference

Conference4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000
Country/TerritoryUnited States
CityStanford, CA
Period6/09/008/09/00

Abstract

There is currently considerable interest in the formal specification of distributed multimedia systems, with the majority of research in this area considering the use of timed formal languages for the specification of such systems. In contrast, however, there has been less research on the specification of stochastic behaviour, and yet this style of behaviour is predominant in this class of system. We therefore present stochastically enhanced timed automata, as a solution to the problem. The paper also introduces an associated tool suite that supports the editing, composition and simulation of such automata. Finally, a multimedia example is presented, illustrating the use of the enhanced automata and the associated tool suite.