Stochastic modeling, analysis and verification of mission-critical systems and processes
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Title of host publication | 4th IMA Conference on Mathematics in Defence |
---|
Date | Published - 2015 |
---|
Number of pages | 9 |
---|
Original language | English |
---|
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.
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.
View graph of relations