Standard
Specification and analysis of automata-based designs. / Bryans, Jeremy
; Blair, Lynne; Bowman, Howard et al.
Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer, 2000. p. 176-193 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1945 LNCS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Bryans, J
, Blair, L, Bowman, H & Derrick, J 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), vol. 1945 LNCS, Springer, pp. 176-193, 2nd International Conference on Integrated Formal Methods, IFM 2000, Dagstuhl Castle, Germany,
1/11/00.
https://doi.org/10.1007/3-540-40911-4_11APA
Vancouver
Bryans J
, Blair L, Bowman H, Derrick J.
Specification and analysis of automata-based designs. In Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer. 2000. p. 176-193. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-40911-4_11
Author
Bryans, Jeremy
; Blair, Lynne ; Bowman, Howard et al. /
Specification and analysis of automata-based designs. Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer, 2000. pp. 176-193 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Bibtex
@inproceedings{2f85d0015daa4bada8a4bbbdaef47b9b,
title = "Specification and analysis of automata-based designs",
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.",
keywords = "Model checking, Stochastic automata, Timed automata",
author = "Jeremy Bryans and Lynne Blair and Howard Bowman and John Derrick",
year = "2000",
month = dec,
day = "1",
doi = "10.1007/3-540-40911-4_11",
language = "English",
isbn = "3540411968",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "176--193",
booktitle = "Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings",
note = "2nd International Conference on Integrated Formal Methods, IFM 2000 ; Conference date: 01-11-2000 Through 03-11-2000",
}
RIS
TY - GEN
T1 - Specification and analysis of automata-based designs
AU - Bryans, Jeremy
AU - Blair, Lynne
AU - Bowman, Howard
AU - Derrick, John
PY - 2000/12/1
Y1 - 2000/12/1
N2 - 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.
AB - 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.
KW - Model checking
KW - Stochastic automata
KW - Timed automata
U2 - 10.1007/3-540-40911-4_11
DO - 10.1007/3-540-40911-4_11
M3 - Conference contribution/Paper
AN - SCOPUS:84894542890
SN - 3540411968
SN - 9783540411963
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 176
EP - 193
BT - Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings
PB - Springer
T2 - 2nd International Conference on Integrated Formal Methods, IFM 2000
Y2 - 1 November 2000 through 3 November 2000
ER -
