Overview
Topic status: We're looking for students to study this topic.
Maintaining large-scale engineering assets, such as power stations, rail networks, submarines, etc, is highly challenging. Maintenance decisions must take into account a wide variety of factors such as the condition of assets, the cost of repairs, the availability of parts, production losses due to downtime, etc. This project will explore how model checking can help decide the best time to perform system maintenance. Model checkers are tools that allow us to simulate the behaviour of finite state machines and search their potential state space. In particular, they can represent non-linear and probabilistic behaviours. This project will exploit this capability to develop models of asset degradation and repair costs using the PRISM probabilistic model checker, and will then explore their behaviour in a variety of maintenance scenarios.
- Study level
- Honours
- Supervisors
- QUT
- Organisational unit
Science and Engineering Faculty
- Research area
- Contact
- Please contact the supervisor.
Professor Colin Fidge
