By the same authors

Stochastic modeling, analysis and verification of mission-critical systems and processes

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Standard

Stochastic modeling, analysis and verification of mission-critical systems and processes. / Gerasimou, Simos; Mason, George Rupert; Paterson, Colin Alexander; Banks, Alec; Calinescu, Radu Constantin; Kudenko, Daniel; Rowe, Stephen.

4th IMA Conference on Mathematics in Defence. 2015.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Harvard

Gerasimou, S, Mason, GR, Paterson, CA, Banks, A, Calinescu, RC, Kudenko, D & Rowe, S 2015, Stochastic modeling, analysis and verification of mission-critical systems and processes. in 4th IMA Conference on Mathematics in Defence.

APA

Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D., & Rowe, S. (2015). Stochastic modeling, analysis and verification of mission-critical systems and processes. In 4th IMA Conference on Mathematics in Defence

Vancouver

Gerasimou S, Mason GR, Paterson CA, Banks A, Calinescu RC, Kudenko D et al. Stochastic modeling, analysis and verification of mission-critical systems and processes. In 4th IMA Conference on Mathematics in Defence. 2015

Author

Gerasimou, Simos ; Mason, George Rupert ; Paterson, Colin Alexander ; Banks, Alec ; Calinescu, Radu Constantin ; Kudenko, Daniel ; Rowe, Stephen. / Stochastic modeling, analysis and verification of mission-critical systems and processes. 4th IMA Conference on Mathematics in Defence. 2015.

Bibtex - Download

@inbook{94b3efd8e850447c906dc331ec6a563f,
title = "Stochastic modeling, analysis and verification of mission-critical systems and processes",
abstract = "Software and business processes used in mission-critical defence applications are often characterised by stochastic behaviour. The causes for this behaviour range from unanticipated environmental changes and built-in random delays to component and communication protocol unreliability. This paper overviews the use of a stochastic modelling and analysis technique called quantitative verication to establish whether mission-critical software and business processes meet their reliability, performance and other quality-of-service requirements.",
author = "Simos Gerasimou and Mason, {George Rupert} and Paterson, {Colin Alexander} and Alec Banks and Calinescu, {Radu Constantin} and Daniel Kudenko and Stephen Rowe",
year = "2015",
language = "English",
booktitle = "4th IMA Conference on Mathematics in Defence",

}

RIS (suitable for import to EndNote) - Download

TY - CHAP

T1 - Stochastic modeling, analysis and verification of mission-critical systems and processes

AU - Gerasimou, Simos

AU - Mason, George Rupert

AU - Paterson, Colin Alexander

AU - Banks, Alec

AU - Calinescu, Radu Constantin

AU - Kudenko, Daniel

AU - Rowe, Stephen

PY - 2015

Y1 - 2015

N2 - Software and business processes used in mission-critical defence applications are often characterised by stochastic behaviour. The causes for this behaviour range from unanticipated environmental changes and built-in random delays to component and communication protocol unreliability. This paper overviews the use of a stochastic modelling and analysis technique called quantitative verication to establish whether mission-critical software and business processes meet their reliability, performance and other quality-of-service requirements.

AB - Software and business processes used in mission-critical defence applications are often characterised by stochastic behaviour. The causes for this behaviour range from unanticipated environmental changes and built-in random delays to component and communication protocol unreliability. This paper overviews the use of a stochastic modelling and analysis technique called quantitative verication to establish whether mission-critical software and business processes meet their reliability, performance and other quality-of-service requirements.

M3 - Chapter (peer-reviewed)

BT - 4th IMA Conference on Mathematics in Defence

ER -