Therefore, the official name is OSEK/VDX.
从此，正式名称为OSEK/VDX。