Safe and Secure Autopilot Software for Drones

International audienceWe are interested in the problem of providing safe and secure software for drones to make themas safe as airplanes. As there is no certification standard for most commercial drones that exist today, wehave chosen the well-known DO-178C/ED-12C avionics standard as a framework to define a suitable formaldevelopment and verification process. Our process is based on this standard and its three supplements: DO-331/ED-218 (model based development), DO-332/ED-217 (object oriented technology) and DO-333/ED-216(formal methods). Our process is an original adaptation of the usual V-cycle based avionics processes to aniterative and incremental environment, where development and verification are performed in shortincrements. In this paper, we describe how we achieve that in practice and discuss in more details theintegration of the formal methods supplement