Space autonomy as migration of functionality: The mars case