Author Archives: gallet

How to prevent drone crashes using SPARK

I recently joined AdaCore as a Software Engineer intern. The subject of this internship is to rewrite a drone firmware written in C into SPARK.

Some of you may be drone addicts and already know the Crazyflie, a tiny drone whose first version has been released by Bitcraze company in 2013. But for all of those [...]

Posted in Open-DO News | 6 Comments

Project P Open Workshop

Project-P Open Workshop

Model-driven engineering and qualifiable code generator

http://www.open-do.org/projects/p/

Project P is a three-year research project funded within the French FUI 2011 funding framework. It sees the collaboration of major industrial partners (Airbus, Astrium, Continental, Rockwell Collins, Safran, Thales), SMEs (AdaCore, Altair, Scilab Enterprise, STI), service companies (ACG, Aboard Engineering, Atos Origins) and research centers (CNRS, ENPC, INRIA, [...]

Posted in Open-DO News | Leave a comment
  • Categories

  • Open-DO Projects

  • Contact

    info @ open-do.org