The OSEK library extends SymTA/S to enable scheduling analysis and optimization for an OSEK operating systems of different flavours, and AUTOSAR OS.

Key features include

• Verification of task and function deadlines
• Calculation of Jitter
• Considering
  • Offsets, function dependencies
  • Periodic and event-triggered tasks
  • Interrupts
  • Multiple time-tables
  • Modes, contexts, scenarios
• Seamless integration with
  • Worst-Case Execution Time (WCET) analysis tools, e.g. AbsInt
  • Tracing tools, e.g. Gliwa
• Productivity plug-ins allow e.g. to automatically traverse a complete engine RPM range
• Exploration and optimization of
  • Task priorities, ordering of functions
  • Time-table offsets
  • Cut-off periods
  • ECU speed

The OSEK Library can be combined with other libraries into system-level analysis and optimization.