Con los rápidos avances tecnológicos en sistemas de control aéreo, se ha vuelto imperativo garantizar la fiabilidad, robustez y adaptabilidad del software aéreo, ya que la falla de este software podría resultar en una pérdida catastrófica de propiedad y vida.