Has any elevator software been rewritten in rust?

I read that the initial idea of rust came from Greydon Hoare coming across an elevator that was broken due to a software update. So since that time has any software that is in an elevator, been rewritten in rust?