Specification and analysis of automata-based designs

Bryans, Jeremy and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and analysis of automata-based designs. In: Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, DEU, pp. 176-193. ISBN 3540411968

Full text not available from this repository.

Abstract

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: Contribution in Book/Report/Proceedings
Uncontrolled Keywords: /dk/atira/pure/subjectarea/asjc/1700
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 138993
Deposited By: ep_importer_pure
Deposited On: 18 Nov 2019 12:05
Refereed?: Yes
Published?: Published
Last Modified: 01 Jan 2020 11:02
URI: https://eprints.lancs.ac.uk/id/eprint/138993

Actions (login required)

View Item View Item