There must be something, as IIRC QuickCheck was used in the automotive industry for testing some systems. But I cannot tell anything more.
About NgCAN, it seems that with OTP 23+ (or 24+) you do not need C code, as you can use socket module instead (it allows any protocol ID, and these can be found via socket:supports/{0,2}).
