ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 13:45 - 14:30 at S10 - Applications

Unmanned Aerial Vehicles (UAV) are now widespread in our society and are often used in a context where they can put people at risk. Studying their reliability, in particular in the context of flight above a crowd, thus becomes a necessity. In this paper, we study the modeling and analysis of UAV in the context of their flight plan. To this purpose, we build a parametric probabilistic model of the UAV and use it as well as a given flight plan in order to model its trajectory. This model takes into account parameters such as potential filter or sensor (like GPS) failure as well as wind force and direction. Because of the nature and complexity of the obtained models, their exact verification using tools such as PRISM or PARAM is impossible. We therefore develop a new approximation technique, called Parametric Statistical Model Checking, in order to compute failure probabilities. This method has been implemented in a prototype tool, which we use to resolve the problem described above.

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

syncop-2019-papers
13:30 - 15:30: SynCoP - Applications at S10
syncop-2019-papers13:45 - 14:30
Talk
syncop-2019-papers14:30 - 15:15
Talk
Camille CotiLIPN, Université Paris 13, Laure PetrucciUniversité Paris 13, Daniel Alberto Torres GonzalezLIPN, Université Paris 13