Back to news TrustInSoft Analyzer’s Trend Reporting streamlines C and C++ testing, enabling comprehensive analysis, easier progress tracking, and enhanced communication for continuous improveme...
Back to news TrustInSoft Analyzer 1.47 introduces Input Coverage Reporting, ensuring exhaustive validation of all possible input scenarios while doing comprehensive algorithm testing, enhancing s...
Back to news TrustInSoft integrates AUTOSAR standards and formal methods to enhance software reliability, reduce development time and costs, making it a vital partner in the evolving automotive i...
https://trust-in-soft.com/blog/2024/04/25/trustinsoft-autosar-integration-enhancements/
Back to news The comprehensive solution designed to enhance the efficiency and effectiveness of your software testing campaigns /*! elementor – v3.21.0 – 15-04-2024 */ .elementor-widget-im...
Back to news TrustInSoft launched TrustInSoft Analyzer 1.47 including new ease of use and enhanced report features at Embedded World 2024 /*! elementor – v3.21.0 – 15-04-2024 */ .elementor...
https://trust-in-soft.com/blog/2024/04/17/embedded-world-2024-recap/
icon/arrow Back to news Streamline your workflow, ensure compliance, and provide the insights you need for successful project outcomes. Elevating Software Development to New Heights In the fast...
Back to news Abstract interpretation-based static analysis, enabling users to measure the coverage of the emulation of billions of tests with a single analysis, to debut at Embedded World 2024...
icon/arrow Back to news Guarantee that there are no undefined behaviors in code but also reduces compliance effort by bringing the accessible power of formal methods to development teams Function...
https://trust-in-soft.com/enhancing-functional-safety-in-automotive-software-development/
Back to news How to reduce memory-safety programming language risks. /*! elementor – v3.19.0 – 29-01-2024 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inl...
icon/arrow Back to news New features bring improved user experience for TrustInSoft Analyzer – coming soon Summary of Key Points: Enhanced User Experience: TrustInSoft Analyzer V1.47 emphasizes...
https://trust-in-soft.com/blog/2024/03/19/the-future-of-code-analysis-at-embedded-world-2024/
Back to news Using Formal Methods to Address the Challenges of Transitioning Codebases to Memory-Safe Languages /*! elementor – v3.19.0 – 29-01-2024 */ .elementor-widget-image{text-align:cent...
https://trust-in-soft.com/blog/2024/03/15/oncd-calls-to-reduce-memory-safety-vulnerabilities/
icon/arrow Back to news AUTOSAR stands as a beacon of resilience and security in the automotive industry The automotive industry is undergoing a transformative shift, propelled by technological c...
Back to news The Office of the National Cyber Director (ONCD) issued a report prescribing the use of formal methods to improve risks associated with memory safety in embedded code. /*! element...
icon/arrow Back to news How to ensure safety and security of automotive vehicles with qualified ISO 26262 tools. ISO 26262 Safety & Security Preview How to prepare for a safe and secure future fo...
https://trust-in-soft.com/iso-26262-requirements-for-guaranteed-automotive-safety-security/
icon/arrow Back to news What are the challenges of post-deployment patching and how can you implement a security-by-design approach? Securing IoT: Shift Left Security Approach in a Swiftly Advanc...
https://trust-in-soft.com/beyond-patching-building-inherent-security-into-iot-and-embedded-devices/
Back to news Revolutionize Automotive Software Verification with AUTOSAR & TrustInSoft /*! elementor – v3.19.0 – 29-01-2024 */ .elementor-widget-image{text-align:center}.elementor-widget-i...
Back to news TrustInSoft welcomes former COO Caroline Guillaume as Chief Executive Officer /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-widget-image{text-align:center}.elementor-widg...
https://trust-in-soft.com/blog/2024/01/25/trustinsoft-announces-new-ceo/
Demonstration of TrustInSoft Analyzer: C/C++ source code exhaustive static analysis tool https://www.youtube.com/watch?v=G1husGoT10Q See TrustInSoft Analyzer in action with Sr. Systems Engineer J...
icon/arrow Back to news Find out how TrustInSoft Analyzer can help simplify the ISO 26262 certification process with the power of formal methods. ISO 26262 Made Simple Webinar- Available on Deman...
https://trust-in-soft.com/blog/2024/01/02/iso-26262-made-simple-webinar/
Back to news /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img{width:48px}.element...
https://trust-in-soft.com/blog/2023/12/12/trustinsoft-analyzer-automotive-security-iso-sae-21434/