You aren&#x27;t allowed to free at all in avionics.<p>In Ada deallocattion requires use of the unsafe package and in SPARK dynamic allocation it isn&#x27;t even possible.<p>However the usage of GC based systems by the military in their weapon control systems, shows that there are GC implementations that able to cover certain types of real time use.<p>After all a GC pause during a battle situation is probably not something one wishes for.