Reliability Analysis of Petri Nets For Unmanned Aerial Vehicles

In this project, we theoretically analyse the reliability of an Unmanned Aerial Vehicle system. We do this using Risk Assessment and Mitigation Analysis(RAMA) and Stochastic Petri Net(SPN) analysis. The RAMA describes the various ways in which a system can fail and the factors which cause them along with any possible actions that can correct them. It helps in identifying the critical factors that affect the flight of the vehicle. The Petri Net model is built by identifying four major components crucial for the successful flight of the vehicle. It helps us to identify the flow of events that lead to a particular final state. We also do the reachability analysis of the Petri Net model and analyse its liveness theoretically. This study is aimed to help identify the various fault points in UAVs which in turn can help in future improvements.