The York Research Database
- » Research
- » York Research Database
- » Publications
- » Stochastic modeling, analysis and verification of mission-critical sys...
Stochastic modeling, analysis and verification of mission-critical systems and processes
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
Full text download(s)
1 MB, PDF document
Author(s)
Department/unit(s)
Publication details
| Title of host publication | 4th IMA Conference on Mathematics in Defence |
|---|---|
| Date | Published - 2015 |
| Number of pages | 9 |
| Original language | English |
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.
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.