自動車用osの国際規格osekでは、modistarc(methods and tools for the validation of osek/vdx based distributed architectures)がある。