This sub-section shows how to use the SAFe Toolset, and in particularly the SAFacilitator, on a realistic C example.



As realistic C example, the firmware of the Crazyflie "micro-quadcopter" has been selected; this software is very representative of the software systems found in space applications in terms of size, complexity and real-time/concurrency constraints.