Safe and Secure Autopilot Software for Drones

Amin Elmrabti , Valentin Brossard , Yannick Moy (1) , Denis Gautherot , Frédéric Pothon

1 AdaCore (FRANCE)

We are interested in the problem of providing safe and secure software for drones to make them as safe as airplanes. As there is no certification standard for most commercial drones that exist today, we have chosen the well-known DO-178C/ED-12C avionics standard as a framework to define a suitable formal development 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 an iterative and incremental environment, where development and verification are performed in short increments. In this paper, we describe how we achieve that in practice and discuss in more details the integration of the formal methods supplement.

Domaines: Informatique et langage [cs.CL]

Amin Elmrabti, Valentin Brossard, Yannick Moy, Denis Gautherot, Frédéric Pothon. Safe and Secure Autopilot Software for Drones. ERTS 2018, Jan 2018, Toulouse, France. ⟨hal-02156141⟩