Partner With Us at TrustInSoft

Build Stronger Software Together

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. 

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 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 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 www.triadem.ch

Partner logo Hitex

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 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 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 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/