Skip to main content

Specification and Analysis of Automata-based Designs

Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods Second International Conference. Lecture Notes in Comuter Science . Springer, Berlin, Germany, pp. 176-193. ISBN 978-3-540-41196-3. E-ISBN 978-3-540-40911-3. (doi:10.1007/3-540-40911-4_11) (KAR id:21939)

Language: English
Download (295kB) Preview
[thumbnail of]
This file may not be suitable for users of assistive technology.
Request an accessible format
Language: English
Download (272kB) Preview
[thumbnail of Specification_and_Analysis_of_Automata-based_Designs.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


One of the results of research into formal system specification has been the large number of notations which have been developed. Of these notations, automata have emerged as a promising vehicle for the specification, and particularly the analysis, of systems. This is especially so when the systems under consideration include timing requirements, and timed automata model such systems as a finite set of states with timed transitions between them. However, not all specifications involve deterministic timing, and stochastic automata can be used in these circumstances. In this paper we consider both timed and stochastic automata, and demonstrate how they can be used in the same design. We will also consider what analysis of the specification can then be performed. In particular, we will describe how to translate stochastic to timed automata, and look at two approaches to model checking the stochastic components of an integrated design.

Item Type: Book section
DOI/Identification number: 10.1007/3-540-40911-4_11
Uncontrolled keywords: Timed automata, stochastic automata, model checking
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 13 Sep 2009 18:43 UTC
Last Modified: 16 Nov 2021 10:00 UTC
Resource URI: (The current URI for this page, for reference purposes)
Bowman, Howard:
  • Depositors only (login required):


Downloads per month over past year