Symtavision offers a range of SymTA/S analysis libraries for automotive RTOSes and communication protocols:
