Welcome to PhantomPilots.com

Sign up for a weekly email of the latest drone news & information

VeriDrone project: building quadcopters people can bet their lives on

Discussion in 'General Discussion' started by Daniel Ricketts, Oct 26, 2015.

Tags:
  1. Daniel Ricketts

    Joined:
    Oct 26, 2015
    Messages:
    3
    Likes Received:
    1
    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.
     
  2. L.Chaney

    Joined:
    Jun 6, 2015
    Messages:
    180
    Likes Received:
    49
    File not found
     
  3. Daniel Ricketts

    Joined:
    Oct 26, 2015
    Messages:
    3
    Likes Received:
    1
    Do you mean that you couldn't view the video?
     
  4. Waylander

    Joined:
    Jul 14, 2015
    Messages:
    334
    Likes Received:
    82
    Location:
    West Yorkshire, UK
    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.
     
  5. Daniel Ricketts

    Joined:
    Oct 26, 2015
    Messages:
    3
    Likes Received:
    1
    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).
     
    Waylander likes this.