Symtavision has launched SymTA/S 3.0 and TraceAnalyzer 3.0, the first fully integrated versions of these system-level tools for model-based design and trace-based verification. Targeted at automotive, aerospace, automation and other performance- and safety-critical systems, the combination of SymTA/S 3.0 and TraceAnalyzer 3.0 enables unparalleled efficiency and reliability for the dimensioning, optimization, regression-testing, and verification of controllers and networks; focusing on load, task and message latencies; system schedulability; end-to-end timing; data consistency; and other key properties that ensure system correctness.