SymTA/S is Symtavision’s model-based solution for timing design, performance optimization and timing verification for real-time systems.

SymTA/S combines these key capabilities:

• Worst-Case scheduling analysis: reliable timing bounds, calculated independently of test coverage
• Distribution analysis: timing statistics and probability of deadline violations
• Scenario analysis: timing analysis based on specific input sequences and existing traces

SymTA/S effectively uses available data in each development phase – from early planning to final verification. For example, engineers can start with timing budgets and estimates, later add traces from existing systems or prototypes, and in each phase predict, optimize and verify the impact of additional tasks or messages, different scheduling or faster hardware.

SymTA/S is easy to use and integrates seamlessly with Symtavision’s TraceAnalyzer through a common data-model and superior Eclipse-based GUI.

Key SymTA/S features:

• Timing analysis and verification
• Timing design and optimization
• Flexible tool integration
• High productivity support