TrustInSoft commercializes a source code analyzer called TrustInSoft Analyzer, which analyzes C and C++ code and mathematically guarantees the absence of defects, immunity of software components to the most common security flaws, and compliance with a specification. The technology is recognized by U.S. federal agency the National Institute of Standards and Technology (NIST), and was the first in the world to meet NIST’s SATE V Ockham Criteria for high quality software.
The key differentiator for TrustInSoft Analyzer is its use of mathematical approaches called formal methods, which allow for an exhaustive analysis to find all the vulnerabilities or runtime errors and only raises true alarms.
Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure.
The experts at TrustInSoft can also assist clients in training, support and additional services.
Learn more
Azore is software for computational fluid dynamics. It analyzes fluid flow and heat transfers. CFD allows engineers and scientists to analyze a wide range of fluid mechanics problems, thermal and chemical problems numerically using a computer. Azore can simulate a wide range of fluid dynamics situations, including air, liquids, gases, and particulate-laden flow. Azore is commonly used to model the flow of liquids through a piping or evaluate water velocity profiles around submerged items. Azore can also analyze the flow of gases or air, such as simulating ambient air velocity profiles as they pass around buildings, or investigating the flow, heat transfer, and mechanical equipment inside a room. Azore CFD is able to simulate virtually any incompressible fluid flow model. This includes problems involving conjugate heat transfer, species transport, and steady-state or transient fluid flows.
Learn more
UberCloud
Simr (formerly UberCloud) is revolutionizing the world of simulation operations with our flagship solution, Simulation Operations Automation (SimOps). Designed to streamline and automate complex simulation workflows, Simr enhances productivity, collaboration, and efficiency for engineers and scientists across various industries, including automotive, aerospace, biomedical engineering, defense, and consumer electronics.
Our cloud-based infrastructure provides scalable and cost-effective solutions, eliminating the need for significant upfront investments in hardware. This ensures that our clients have access to the computational power they need, exactly when they need it, leading to reduced costs and improved operational efficiency.
Simr is trusted by some of the world's leading companies, including three of the seven most successful companies globally. One of our notable success stories is BorgWarner, a Tier 1 automotive supplier that leverages Simr to automate its simulation environments, significantly enhancing their efficiency and driving innovation.
Learn more
FieldView
In the last twenty years, there have been significant advancements in software technologies, and high-performance computing (HPC) has progressed exponentially. However, our capacity to interpret simulation results has not experienced a similar evolution. Traditional methods of visualizing data, such as creating plots and animations, fail to keep pace when faced with extremely large multi-billion cell meshes or extensive simulations involving tens of thousands of timesteps. The process of evaluating solutions can be greatly expedited by generating features and quantitative metrics through techniques like eigen analysis or machine learning. Furthermore, the user-friendly FieldView desktop software is seamlessly integrated with the robust capabilities of the VisIt Prime backend, enhancing the overall analysis experience. This integration allows for a more efficient workflow, enabling researchers to focus on interpreting results rather than being bogged down by outdated visualization methods.
Learn more