This latest version significantly accelerates testing workflows while maintaining compliance with stringent safety and security standards across industries.
One of the key updates in TISA is its redesigned graphical user interface (GUI), allowing users to quickly create and configure projects. The updated interface also enables users to manage multiple projects simultaneously from a single dashboard, making it easier to track progress, organise analysis parameters, and collaborate efficiently. With simplified access to project settings, configurations, and results, teams can work more cohesively and stay organised.
TISA 2024.10 addresses the demand for smarter, faster, and more automated verification tools by introducing assisted analysis setup. This feature guides users step-by-step through the configuration process, ensuring that critical parameters are set correctly, thereby avoiding common errors and enhancing verification accuracy. This automation not only reduces setup errors but also provides additional functionality to improve verification precision.
The new version automatically generates drivers based on chosen entry points and call conditions, which can be easily viewed in a tabular format. This simplifies the process of ensuring comprehensive code coverage. Furthermore, TISA’s automated analysis tuning feature suggests adjustments to analysis parameters according to the specifics of each project, minimising the need for manual intervention.
An added dynamic parameter adjustment tool analyses the project’s context and recommends changes to boost both precision and performance. In addition, an enhanced accuracy feature ensures the analysis is finely tuned to meet the project's unique requirements.
This release also includes major improvements in the analysis of C++ programs, reducing the overall analysis time by 75% in testing, showcasing TISA’s capability to handle complex codebases with speed and efficiency.
“In today's fast-paced software development world, ensuring code reliability, security, and compliance is more critical than ever,” said Caroline Guillaume, CEO of TrustInSoft. “The rapid onset of software-defined services in many aspects of manufacturing, industry, and business demands software that is guaranteed to be error free. Using formal methods modelling techniques, this latest release of TISA ensures software safety, reliability and security like no other analyser available today.”
