Build Stronger Software Together

Partner With Us at TrustInSoft

Join our partner network to elevate your software solutions. Our program includes Integration Partners, Technical Partners, Resellers, and Academic Partners, all collaborating towards creating error-free software environments.

Contact Us

SYSGO

SYSGO is the leading European manufacturer of embedded software solutions such as the real-time operating system and hypervisor PikeOS and the embedded industrial-grade Linux ELinOS. Since 1991, SYSGO has been supporting customers in the Aerospace, Automotive, Railway and IIoT industries in the development of Safety-critical applications. SYSGO was the first company worldwide to achieve the Safety requirement level SIL 4 for its multi-core capable real-time operating system and hypervisor PikeOS. PikeOS version 5.1.3 meets the Common Criteria at the level EAL 5+ for ARMv8, x86_64, and PPC and is also certified according to the strictest Safety standards such as IEC 61508, EN 50128, EN 50657, and ISO 26262, and has also been certified many times at the highest level according to DO-178C and ECSS-E-ST-40C, enabling application development in line with the “Safe & Secure by Design” principle. For industrial embedded systems, SYSGO also offers ELinOS, a Linux distribution with real-time extensions for embedded systems. Furthermore, solutions such as the Railway development platform (SAFe-VX) and the Secure Automotive Connectivity Platform (SACoP) for secure data transfer in, with and between automobiles are available.

SYSGO works closely with its customers throughout the entire product life cycle and supports them in the formal certification of software according to international standards for functional and IT Security. SYSGO is headquartered in Klein-Winternheim near Frankfurt, has subsidiaries in France and the Czech Republic and maintains a worldwide sales network. The company is ISO 9001:2015 and IEC/ISO 27001:2017 certified and part of the European Thales Group.

More information at www.sysgo.com

green hill

Green Hills Software’s technology and services have been chosen by prominent companies in over 50 countries to build their electronic products for everything from MP3 players to jumbo jets. Our open architecture integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions.

In 2008, the Green Hills INTEGRITY-178B RTOS was the first and only operating system to be certified by the NSA to EAL 6+ High Robustness, the highest level of security ever achieved for any software product. Only an EAL 6+ High Robustness operating system is certified to protect high value resources at risk of attack from hostile and well-funded attackers.

More information at https://www.ghs.com

triadem solution

Triadem Solutions AG is a Swiss software engineering company developing real-time and embedded systems. We are focusing on safety and secure applications for the industrial, medical, robotic and measurement market segments. As a reliable partner, we provide application development, BSP and driver development as well as consulting and coaching.

As a QNX distribution partner for over two decades, we provide specific QNX know-how.

More information at http://www.triadem.ch

hitex embedded tools

Hitex is known for providing powerful tools and solutions for embedded developers and helps its customers to develop secure embedded software. In addition to professional tools and components, Hitex also offers engineering services, consulting, training, testing services and certification management. With almost 50 years of experience with focus on safety-critical applications, Hitex accompanies its customers from the product idea to the finished certified product.

More information at https://www.hitex.com

jenkins

Jenkins is the leading open source automation server supported by a large and growing community of developers, testers, designers and other people interested in continuous integration, continuous delivery and modern software delivery practices. Built on the Java Virtual Machine (JVM), it provides more than 1,800 plugins that extend Jenkins to automate with practically any technology software delivery teams use. In 2022, Jenkins reached 300,000 known installations making it the most widely deployed automation server.

TrustInSoft Analyzer integrated with Jenkins provides a powerful solution to enhance the security and robustness of your software directly within your Jenkins pipelines. The integration allows you to automate exhaustive static analysis capabilities of TrustInSoft Analyzer to detect undefined behaviors and vulnerabilities at key stages of your development cycle. By incorporating TrustInSoft Analyzer into Jenkins, developers can ensure continuous code quality and security checks, catching potential issues early and systematically resulting in higher standards of code integrity and reliability.

More information at https://www.jenkins.io

Gitlab

GitLab Inc. is an open-core company that operates GitLab, a DevOps software package that can develop, secure, and operate software. The open-source software project was created by Ukrainian developer Dmytro Zaporozhets and Dutch developer Sytse Sijbrandij.

TrustInSoft Analyzer seamlessly integrates with GitLab CI to enhance software verification processes, offering developers a robust solution for identifying and resolving complex code vulnerabilities. By embedding TrustInSoft Analyzer into GitLab CI pipelines, organizations can automatically analyze their codebase during each commit, merge, or scheduled event, ensuring all changes are scrutinized for potential security risks without generating false positives. This integration not only improves code quality and security compliance but also streamlines development workflows by providing immediate feedback on introduced changes, helping maintain high standards of software integrity and reliability.

More information at https://about.gitlab.com

aws

AWS CodePipeline is a fully managed continuous delivery service that helps you automate your release pipelines for fast and reliable application and infrastructure updates.

By embedding TrustInSoft Analyzer within AWS CodePipeline, developers can ensure continuous assessment of code safety and integrity, enabling faster and more secure delivery of applications at scale. Leverage TrustInSoft Analyzer with AWS CodePipeline to maintain high standards of software reliability and compliance throughout your development lifecycle.

More information at https://aws.amazon.com/codepipeline/

NIST logo

The National Institute of Standards and Technology (NIST) uses the Static Analysis Tool Exposition (SATE). This exposition is designed to compare static analysis tools that find security-relevant defects in source code.

TrustInSoft technology was the only one to attempt to meet Ockham criteria requirements running on the Juliet 1.2 test suite from NIST. Moreover, TrustInSoft technology succeeded in satisfying the Ockham criteria for all five of NIST’s classes of weaknesses.

More information at https://www.nist.gov

eSOL_Orange_L

As an independent global leader in embedded systems and edge computing, eSOL is committed to offering comprehensive engineering solutions which build a safer and better-connected society. 

The company is at the forefront of developments in the embedded and systems engineering markets, helping its customers to achieve their goals. eSOL’s high-performance, scalable software platform products are centered around its unique, patented eMCOS® multikernel real-time operating system (RTOS) technology. 

eSOL products are used worldwide in diverse and demanding embedded application fields conforming to stringent quality, safety and security standards; these range from automotive systems to industrial equipment, satellites, medical and digital consumer electronics. 

With around 500 employees, eSOL continues to invest heavily in research & development. The company is also actively engaged in standardization activities for AUTOSAR, Autoware and multi/many-core technology, to better leverage the value of its software products and engineering services. 

Founded in 1975, eSOL is listed on the Standard Market of the Tokyo Stock Exchange (TSE: 4420). 

More information at www.esol.com

Solid Sands Logo

Solid Sands is the world-leading provider of verification and qualification technology for C and C++ compilers and libraries.

Our mission is to make the world a safer place. Our products support companies to achieve both the highest quality objectives and the most up-to-date functional safety standard requirements. By creating the best possible test suites for C and C++ compilers, libraries, and analysis tools, we are at the forefront of software testing and qualification. Our flagship products include SuperTest, the most comprehensive compiler test and validation suite, and SuperGuard, a library safety qualification suite. With industry partners worldwide, we serve leading and innovative semiconductor, IP and security companies, as well as safety-critical software companies in the automotive, robotics, railway and medical industries.

More information at https://solidsands.com/