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

Simos Gerasimou; George Rupert Mason; Colin Alexander Paterson; Alec Banks; Radu Constantin Calinescu; Daniel Kudenko; Stephen Rowe

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

Simos Gerasimou, George Rupert Mason, Colin Alexander Paterson, Alec Banks, Radu Constantin Calinescu, Daniel Kudenko, Stephen Rowe

Computer Science

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

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.

Original language	English
Title of host publication	4th IMA Conference on Mathematics in Defence
Number of pages	9
Publication status	Published - 2015

Access to Document

IMA2015Accepted author manuscript, 1.07 MB

Cite this

@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",

}

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 -