IAS code / iros2022 / ReDSDF