Symtavision's
Symtavision's scheduling analysis tool suite SymTA/S is used for budgeting, scheduling verification and optimization for processors, electronic control units (ECUs), communication buses, networks and complete integrated systems. SymTA/S supports standards such as OSEK, AUTOSAR-OS, CAN, and FlexRay.