Symtavision has launched the integrated versions of the SymTA/S 3.0 and TraceAnalyser 3.0 system-level tools for model-based design and trace-based verification. Targeted at automotive, aerospace, automation and performance- and safety-critical systems, the combination of these tools enable unparalleled efficiency and reliability for the dimensioning, optimisation, 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.
Furthermore, SymTA/S 3.0 enhances distribution analysis used to determine timing statistics and the probability of deadline violations. This complements the company's worst-case analysis used to determine hard timing bounds. SymTA/S 3.0 also provides direct CAN-ID support with both hexadecimal and decimal visualisation, in addition to assigning priority values for CAN bus configuration. The report generator has been enhanced to provide a difference report between two system revisions. Additionally, the AUTOSAR XML import function has been enhanced to support shared variables, and the communication overhead analysis capability has been optimised to provide support for multi-core controllers.
TraceAnalyser 3.0 provides good external tool integration including support for Vector Informatik's FlexRay trace or log file format and CAN multi-channel support for its CANoe ASC trace or log file import interface. A recent report generator, using the technology common to SymTA/S, has also been added.
