For over 25 years, AdaCore has been committed to supporting the needs of safety- and mission-critical industries with high integrity software development tools and services. AdaCore initially focused on Ada, a state-of-the-art programming language designed specifically for developing long-lived, safety-critical, certified software. Over the years, this focus has extended beyond the Ada language to its formally verifiable SPARK subset, C and C++, and Simulink® and Stateflow® models. Now, AdaCore is sharing its expertise in safety-certified toolchains with the Rust safety community.

Arm is leader in global semiconductor design and software. Their energy-efficient processor designs and software platforms have enabled advanced computing in more than 270 billion chips to date and are defining the future of computing. Collaboration is at the heart of all Arm does. With more than 1,000 technology partners, Arm provides a trusted foundation for a vast range of applications, from the sensor to the smartphone and the supercomputer. They support thousands of open-source software projects, enabling more than 15 million developers who target Arm platforms to build, deploy, and manage their projects seamlessly, enabling top performance across the wide spectrum of hardware on Arm.

Ferrous Systems provides consulting and made-to-measure solutions based on  their team’s expertise in Rust programming.

HighTec EDV-Systeme GmbH is the world’s largest commercial provider of compilers using innovative open source technologies with ISO 26262 ASIL D certified tools for embedded software development.

HighTec also offers a safety-certified multicore real-time operating system (RTOS) called PXROS-HR, and a wide range of design-in services.

HighTec’s flagship product is the proven ASIL D qualified C/C++ multiarchitecture compiler for leading multicore microcontrollers in the automotive and industrial sectors such as Arm®, TriCore™/AURIX™ families, Power Architecture (PowerPC), GTM and Renesas architectures. The latest addition to HighTec’s offering is the first LLVM-based Rust compiler for Infineon AURIX TC3x and TC4x which leverages the benefits of Rust and those MCUs for automotive and industrial applications.

OxidOS is a Rust-based secure ecosystem for safety critical automotive ECUs. Their solution consists of a Rust-based Secure Operating System and DevTools for medium-size microcontrollers inside automotive ECUs, designed for safety-critical applications. The OxidOS ecosystem provides significant security and safety enhancements while reducing development and certification time by half for automotive ECU software development projects. This is achieved through the usage of Rust that brings benefits such as memory and thread safety enforced at compile time. The OxidOS architecture runs memory sandboxed applications, which have cryptographic credentials and are digitally signed.

TrustInSoft is the software publisher of TrustInSoft Analyzer, an advanced exhaustive static analysis tools for code safety and security.

Veecle is a Rust software stack that enables a software-defined-vehicle on top of existing vehicle architechtures, empowering manufacturers to directly create and enhance features.

Woven by Toyota envisions a future where world-class technology expands global access to mobility and enhances the capabilities of drivers and their experiences. They achieve this with a unique global culture. As society, technology, and customer needs evolve, Woven by Toyota continuously pursues ways that unlock the possibilities and opportunities for people to thrive in a mobility. society.