TechDogs-"AdaCore Joins Rust Foundation as Silver Member"

Software Development

AdaCore Joins Rust Foundation as Silver Member

By Business Wire

Business Wire
Overall Rating

Company brings extensive certification and safety standards experience to the Rust community

NEW YORK--(BUSINESS WIRE)--#AdaCore--AdaCore, a trusted provider of software development and verification tools, is pleased to announce that it is now a Silver Member of the Rust Foundation, an independent non-profit organization dedicated to stewarding the Rust programming language and ecosystem.

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 partnering with Ferrous Systems, a technology company specializing in the Rust programming language, to share its expertise in safety-certified toolchains with the Rust safety community. The partnership is currently on track to bring Rust into ASIL-D-level environments. One of the first outcomes of this work is the publication of a Language Specification document available here.

“AdaCore is thrilled to join the Rust Foundation,” said Quentin Ochem, Chief Product Officer, AdaCore. “We are looking forward to extending our long-standing commitment to high integrity languages and safety-certified embedded development to the Rust programming language.”

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems.

Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, defense systems, automotive, railway, space, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.


Jessie Glockner
T: +1-646-532-2723

First published on Wed, Feb 8, 2023

Enjoyed what you've read so far? Great news - there's more to explore!

Stay up to date with the latest news, a vast collection of tech articles including introductory guides, product reviews, trends and more, thought-provoking interviews, hottest AI blogs and entertaining tech memes.

Plus, get access to branded insights such as informative white papers, intriguing case studies, in-depth reports, enlightening videos and exciting events and webinars from industry-leading global brands.

Dive into TechDogs' treasure trove today and Know Your World of technology!

Disclaimer - Reference to any specific product, software or entity does not constitute an endorsement or recommendation by TechDogs nor should any data or content published be relied upon. The views expressed by TechDogs’ members and guests are their own and their appearance on our site does not imply an endorsement of them or any entity they represent. Views and opinions expressed by TechDogs’ Authors are those of the Authors and do not necessarily reflect the view of TechDogs or any of its officials. All information / content found on TechDogs’ site may not necessarily be reviewed by individuals with the expertise to validate its completeness, accuracy and reliability.


AdaCore Verification Tools Simulink® Stateflow® Rust Programming Language

Join The Discussion

- Promoted By TechDogs -

Are You Ready To Accelerate Your Cloud Migration And Data Modernization?