Symtavision (Braunschweig, Germany) 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 high 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.

The launch of SymTA/S 3.0 and TraceAnalyzer 3.0 creates an integrated solution delivering full, round-trip support for model- and trace-based timing analysis. Engineers can rapidly merge controller or network traces into existing SymTA/S models. They can start from traces and then change the system configuration virtually to predict the performance impact of additional tasks or messages, different scheduling strategies, or faster hardware. This integration of model- and trace-based timing analysis enables engineers to quickly iterate their designs as many times as they want, for both new developments and evolutionary extension and optimization of existing systems.

Click here to learn more .

NASA Tech Briefs Magazine

This article first appeared in the October, 2011 issue of NASA Tech Briefs Magazine.

Read more articles from this issue here.

Read more articles from the archives here.