NY-ADACORE
AdaCore https://www.adacore.com/ is thrilled to be part of the Safety-Critical Rust Consortium alongside The Rust Foundation, Arm, Ferrous Systems, OxidOS, Synopsys, HighTec EDV-Systeme GmbH, TrustInSoft, Veecle, and Woven by Toyota. The primary objective of this group will be to support the responsible use of the Rust programming language in safety-critical software — systems whose failure can impact human life or cause severe environmental or property harm.
Safety-Critical Rust Consortium Membership is open to Rust Foundation member organizations and other invitees, such as industry, academic, and legal experts.
Work under the consortium will begin with the creation of a public charter and goals, and meeting minutes will be published on an ongoing basis. The Safety-Critical Rust Consortium will liaise with the Rust Project through Rust Foundation Project Directors and members of Rust Project teams. The Consortium’s scope, which will be fully delineated in the charter, may include the development of guidelines, linters, libraries, static analysis tools, formal methods, and language subsets to meet industrial and legal requirements. The Consortium’s deliverables will be developed and licensed in a manner compatible with other Rust Project endeavors.
The group may further shepherd Rust Foundation-funded implementation work, including grants to existing academic teams or FOSS projects. Any Rust Foundation-funded work will be submitted upstream, licensed as FOSS, and any specifications will be freely available. The group will further attempt to coordinate with and expand on existing safety-critical projects and standards including SAE JA1020.
Programming-language safety refers to a language’s ability to prevent errors or undefined behaviors at compile time or runtime. On the other hand, "safety-critical" refers to a system’s ability to operate without causing accidents or catastrophic failures that will result in harm to people, property or the environment. So, while safety-critical systems rely on languages that emphasize safety and security, such as Rust, programming tools are only one component of the overall strategy.
Tony Aiello is the Product Manager at AdaCore,
“At AdaCore, we focus on industries where safety, security, and reliability are paramount including automotive, aviation, and space. AdaCore has decades of experience serving these industries with Ada, SPARK, and C++. Participating in the Safety-Critical Rust Consortium enables us to leverage our expertise to help the Rust community best position itself to serve the safety-critical community’s needs.”
About AdaCore
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over 30 years of experience working with the most respected companies in industries such as aerospace, defense and railways, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IoT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.
About The Rust Foundation
The Rust Foundation is an independent nonprofit dedicated to the safety, security, sustainability, and health of the Rust Programming language and the people who use it. Through close partnerships with organizations passionate about Rust and the growing Rust Project and community, the Rust Foundation is helping forge a better open-source future with Rust.
Visit the Rust Foundation website to learn more. Follow the Rust Foundation on X (formerly known as Twitter) and on LinkedIn.
To view this piece of content from cts.businesswire.com, please give your consent at the top of this page.
View source version on businesswire.com: https://www.businesswire.com/news/home/20240613424332/en/
About Business Wire
Subscribe to releases from Business Wire
Subscribe to all the latest releases from Business Wire by registering your e-mail address below. You can unsubscribe at any time.
Latest releases from Business Wire
Eventbrite Enters into Definitive Agreement to Be Acquired by Bending Spoons for Roughly $500 Million to Accelerate Eventbrite’s Next Phase of Growth2.12.2025 13:30:00 CET | Press release
Eventbrite stockholders to receive $4.50 per share in cash Eventbrite, Inc. (NYSE: EB), the leading global marketplace for shared experiences, announced today that it has entered into a definitive agreement to be acquired by Bending Spoons, in an all-cash transaction valued at approximately $500 million. The acquisition is subject to customary closing conditions and approvals, including regulatory approvals and approval by Eventbrite’s stockholders. “For two decades, Eventbrite has stood at the forefront of the experience economy, helping tens of millions to create, discover, and attend unforgettable events,” said Luca Ferrari, Bending Spoons CEO and Co-Founder. “Joining forces with Bending Spoons will accelerate innovation and strengthen Eventbrite’s tools and resources to bring even more people together through shared live experiences for many years to come. As longstanding fans, we’ve identified a few opportunities that we’re excited about exploring with the Eventbrite team after cl
Armis Recognized for Innovation; Named to Inc. Best in Business List for the Second Consecutive Year2.12.2025 13:00:00 CET | Press release
Annual list spotlights companies and leaders delivering meaningful results for their industries, customers and future growth Armis, the cyber exposure management & security company, today announced that it has once again been named to Inc.’s Best in Business list, specifically highlighted in the Best in Innovation category for 2025. Inc.’s annual Best in Business Awards celebrate the exceptional achievements and contributions of companies that have made a profound impact on their industries and on society at large. “Armis rapidly innovates and continuously enhances our comprehensive Cyber Exposure Management Platform so that global organizations can proactively protect against cyber threats before there’s any impact,” said Yevgeny Dibrov, CEO and Co-Founder of Armis. “Unlike other solutions on the market, Armis addresses the entire lifecycle of managing cyber threats so that security teams no longer reactively respond to breaches. This is a strategic and monumental shift for the indust
Egle Therapeutics Initiates Phase 1 Healthy Volunteer Study of EGL-003, a Next Generation Treg IL-2 Agonist for Atopic Dermatitis2.12.2025 12:32:00 CET | Press release
Egle Therapeutics SAS (Egle), a clinical-stage biotechnology company developing precision medicines that modulate regulatory T cells (Tregs) to restore immune balance, today announced dosing of the first healthy volunteer in the Phase 1 clinical study of EGL-003, an IL‑2⍺-biased mutein designed to selectively activate Tregs while limiting effector T cell stimulation, as a potential treatment for atopic dermatitis. The open-label, multi-center Phase 1 trial begins with a single ascending dose portion in healthy volunteers to rapidly generate foundational safety, pharmacokinetic (PK), and pharmacodynamic (PD) data. These findings will inform dose selection and scheduling for the subsequent multiple ascending dose portion in approximately 40 adults with atopic dermatitis (AD), which will evaluate safety, PK/PD, and early clinical activity versus placebo. Data from both study segments are expected to guide dose selection for a planned Phase 2a trial in AD aimed at establishing clinical pro
AI Takes Center Stage as the Major Threat to Cybersecurity in 20262.12.2025 12:00:00 CET | Press release
Experian releases its 13th Annual Data Breach Industry Forecast highlighting six predictions for 2026 that include several ways AI may have an impact Experian® today released its 2026 Data Breach Industry Forecast, offering a look at the evolving cyber threat landscape. The predictions address how the coming year could usher in a new wave of sophisticated attacks driven by artificial intelligence along with other threats and vulnerabilities including quantum computing. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20251202474758/en/ Experian's 2026 Data Breach Industry Forecast Now in its 13th year, the forecast offers six insights into how cybercriminals are leveraging emerging technologies to create more convincing identities, evade detection, and exploit new digital frontiers. From synthetic profiles and autonomous AI agents to shape-shifting malware and even brain-computer interface vulnerabilities, the 2026 predictions p
Buro Happold Signs Landmark Agreement with Expo 2030 Riyadh Company to Deliver Detailed Master Plan and Infrastructure and Public Realm Design for Expo 2030 Riyadh2.12.2025 11:00:00 CET | Press release
Buro Happold, a leading global engineering, design and advisory consultancy, has signed a major contract with Expo 2030 Riyadh Company to serve as the lead design consultant for the detailed master plan and detailed design of public realm, landscape, infrastructure and utilities for Expo 2030 Riyadh and its legacy. This partnership represents a significant step toward delivering an event billed as “An Unprecedented World Expo”. Expo 2030 Riyadh is expected to feature nearly 197 participating countries and attract over 42 million visits to Pavilions covering approximately 6 million sqm. The event will offer a unique opportunity for participants to address shared challenges and showcase pioneering solutions for a sustainable future. Under the agreement, Buro Happold will provide comprehensive design and technical services, including, development of the detailed master plan, including a focus on event requirements and legacy phase elements, detailed design of the infrastructure works, uti
In our pressroom you can read all our latest releases, find our press contacts, images, documents and other relevant information about us.
Visit our pressroom