VeriDrone project: building quadcopters people can bet their lives on

[Daniel Ricketts]

For the past year or so, I've been working on the VeriDrone project, in which we formally verify safety of quadcopter software. Here's a brief introduction to the project:Short introduction to the VeriDrone project. We have an active blog, which I want to share with the community to get some feedback from real practitioners. Please let me know what you think.

 

[L.Chaney]

File not found

 

[Daniel Ricketts]

File not found

Do you mean that you couldn't view the video?

 

[Waylander]

For the past year or so, I've been working on the VeriDrone project, in which we formally verify safety of quadcopter software. Here's a brief introduction to the project:Short introduction to the VeriDrone project. We have an active blog, which I want to share with the community to get some feedback from real practitioners. Please let me know what you think.

Hi I clicked on your link and went straight to the web page no problem, good idea's especially the code for a ring fence system for quads.

 

[Daniel Ricketts]

Hi I clicked on your link and went straight to the web page no problem, good idea's especially the code for a ring fence system for quads.

Thanks.

The fence system is just the beginning. We are close to being able to verify a more sophisticated safety boundary, and eventually we plan to verify more traditional properties like controller stability.

In case you're interested, we post regular updates to Twitter (@VeriDrone) and write about interesting challenges on our blog (veridrone.ucsd.edu).