NY-ADACORE
13.6.2024 11:23:28 CEST | Business Wire | Press release
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
Cognite Positioned as a Front Runner in LNS Research Solution Selection Matrix for Industrial AI Platforms23.4.2026 20:00:00 CEST | Press release
Cognite, the global leader in Industrial AI, has been named a Front Runner in the LNS Research Solution Selection Matrix for Industrial AI Platforms (SSM). The LNS Research SSM evaluates vendors using a rigorous methodology that leverages its “3P” framework—Product, Potential, and Presence—to assess both current capabilities and future readiness. Within the report, Cognite is recognized in three key areas: depth in user-centric industrial AI applications, its knowledge graph-based data model, and its strong partner ecosystem. Together, all three give Cognite the ability to unify and contextualize complex industrial data, enabling organizations to operationalize AI at scale. “Cognite brings a sophisticated data model built for industrial complexities, along with advanced analytics and AI-driven insights, which is crucial for industrial organizations to achieve meaningful productivity gains and enterprise-wide ROI,” said Vivek Murugesan, Research Analyst at LNS Research. “These capabilit
Venture Global Announces Closing of $750,000,000 Senior Secured Notes by Venture Global Calcasieu Pass, LLC23.4.2026 19:47:00 CEST | Press release
Venture Global, Inc. (“Venture Global”, NYSE: VG) announced today that its subsidiary, Venture Global Calcasieu Pass, LLC (“VGCP”) has closed an offering of $750,000,000 aggregate principal amount of 6.000% senior secured notes due 2036 (the “Notes”). The Notes will mature on May 1, 2036. VGCP used the net proceeds from the offering, together with cash on hand and proceeds received from certain hedge terminations, for the prepayment, in full, of VGCP’s outstanding term loans, and to pay fees and expenses in connection with the offering. The Notes are guaranteed by TransCameron Pipeline, LLC (VGCP’s affiliate). The Notes are secured on a pari passu basis by a first-priority security interest in the assets that secure VGCP’s existing senior secured first lien credit facilities and VGCP’s existing senior secured notes. The Notes were not registered under the Securities Act of 1933, as amended (the “Securities Act”) or the securities laws of any state or other jurisdictions, and the Notes
Does Muscle Composition Identify High-Risk Individuals in Chronic Kidney Disease? New AMRA Medical Study Says Yes, Reveals Strong Link to Mortality23.4.2026 17:10:00 CEST | Press release
AMRA Medical researchers recently set out to answer the question: what is the relationship between adverse muscle composition (AMC) and mortality in kidney disease? Recent findings demonstrate that AMC, characterized by low muscle volume z-score and high muscle fat infiltration, is an independent and strong predictor of all-cause mortality in individuals with chronic kidney disease (CKD). The findings, published in Clinical Journal of the American Society of Nephrology, were based on data from the UK Biobank imaging study and further reinforce the clinical relevance of MRI-derived muscle biomarkers in identifying high-risk populations across chronic diseases. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260423198497/en/ AMRA's MRI-based muscle biomarkers in clinical trials Researchers from AMRA, alongside our collaborators at Linköping University (LiU), analyzed 894 participants with CKD using AMRA’s MRI-based body composi
Diligent Unveils AI Board Member and Agentic GRC Workforce at Elevate 202623.4.2026 15:00:00 CEST | Press release
Diligent’s agentic AI strengthens board oversight and transforms how GRC teams work — reducing manual effort and outside-advisor dependency, tightening control over sensitive workflows and enabling leaders to make faster, more defensible decisions Diligent, the AI leader in governance, risk and compliance (GRC) SaaS solutions, today unveiled a new generation of autonomous AI agents, including AI Board Member — a secure AI assistant for directors — and a coordinated network of agents embedded across the Diligent One Platform. Accessible through a single command center, agents automate multi-step workflows across governance, risk, compliance and third-party management, giving organizations the impact of a “GRC manager” without adding headcount. “AI supercharges teams that embrace it, and boards are no exception,” said Brian Stafford, President and CEO of Diligent. “With AI Board Member and a network of autonomous agents woven through the Diligent One Platform, we’re giving the C-suite an
Safe Software Bolsters Leadership Team with CFO and CPO Appointments to Drive Next Phase of Growth23.4.2026 15:00:00 CEST | Press release
CFO and CPO executive hires to enhance operational and financial performance on the company’s path to $250M by 2028 Safe Software (Safe), creator of FME, the only All-Data, Any-AI enterprise integration platform, today welcomes two executives to its leadership team as it moves into the next phase of growth. Judd Lee has been appointed as the company’s Chief Financial Officer (CFO), and Vanessa Ribreau has been appointed as Chief People Officer (CPO). Having recently crossed $100M in revenue, the expanded leadership team will further enable the company to scale as it accelerates toward its goal of reaching $250M in revenue by 2028. Judd Lee is a seasoned CFO with over 15 years of experience partnering closely with CEOs to align financial strategy and accelerate sustainable growth. He is known for his strong commitment to mentorship and for building high-performing global teams rooted in trust, morale and a shared sense of purpose. With more than two decades of financial leadership acros
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