Recent content by Daniel Ricketts

  1. Daniel Ricketts

    VeriDrone project: building quadcopters people can bet their lives on

    At the moment, we don't directly monitor user input. However, in a sense, we indirectly monitor user input since our code checks every signal getting sent to the motors, regardless of whether it originated with a user's action or with some autopilot command. Do you think we could gain something...
  2. Daniel Ricketts

    VeriDrone project: building quadcopters people can bet their lives on

    You can follow us on Twitter (@VeriDrone) if you want to see how things are going. We do actually run our verified code alongside an off-the-shelf flight controller, namely ardupilot. Our goal is to retain the benefits of a state of the art flight controller while providing strong safety...
  3. Daniel Ricketts

    VeriDrone project: building quadcopters people can bet their lives on

    For the past year or so, I've been working on the VeriDrone project, in which we formally verify quadcopter software. We have an active blog, which I want to share with the community to get some feedback from real practitioners. Here's one blog post giving a brief introduction to the project...
Back
Top