Business Wire

NY-ADACORE

13.6.2024 11:23:28 CEST | Business Wire | Press release

Share
AdaCore Supports the Safety-Critical Rust Consortium

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

https://www.adacore.com/

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

Business Wire
Business Wire
101 California Street, 20th Floor
CA 94111 San Francisco

http://businesswire.com
DK

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

Netceed Strengthens Board with Global Infrastructure and Technology Leaders1.4.2026 14:00:00 CEST | Press release

Netceed, a global leader in delivering supply chain solutions across broadband, data center and energy infrastructure, today announced the appointment of Franck Bruel, Jan Frykhammar and Stacey Thompson to advise as strategic advisors to its Board of Directors. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260401045867/en/ Franck Bruel Following the recently announced recapitalization of the Netceed Group and under the chairmanship of Rajeev Suri, the company is strengthening its Board with globally recognized leaders across telecommunications infrastructure, industrial distribution, energy infrastructure and hyperscale technology. Collectively, the new appointees bring decades of leadership experience across some of the world’s most influential infrastructure and technology companies, reflecting Netceed’s ambition to play a leading role in the next generation of global digital, AI and energy infrastructure. Rajeev Suri, Ch

Vertex Announces US FDA Approval for Label Extensions of ALYFTREK® and TRIKAFTA®, Expanding Availability of These Medicines to ~95% of All People With CF in the United States1.4.2026 13:30:00 CEST | Press release

-With this expansion, any variant that results in production of CFTR protein is now included in the indication for ALYFTREK and TRIKAFTA, reinforcing the impact these medicines have, regardless of the location of the variant in the CFTR protein--Approximately 800 more people with CF in the US are now eligible for a CFTR modulator for the first time- Vertex Pharmaceuticals Incorporated (Nasdaq: VRTX) today announced the U.S. Food and Drug Administration (FDA) has approved expanded use of ALYFTREK® (vanzacaftor/tezacaftor/ivacaftor) for the treatment of people with cystic fibrosis (CF) ages 6 and older with a variant in the cystic fibrosis transmembrane conductance regulator (CFTR) gene that is either responsive based on clinical and/or in vitro data or results in production of CFTR protein. Additionally, the U.S. FDA has also expanded the indication statement for TRIKAFTA® (elexacaftor/tezacaftor/ivacaftor and ivacaftor) in patients ages 2 and older. This label expansion was supported b

Agenus Announces First Patient Enrolled in Global Phase 3 BATTMAN Trial of BOT+BAL Immunotherapy Combination in MSS or pMMR Metastatic Colorectal Cancer1.4.2026 13:30:00 CEST | Press release

A Landmark Registrational Study Aiming to Redefine Outcomes in MSS mCRC Which Represents Approximately 95% of Metastatic Colorectal Cancer CasesColorectal Cancer Has Become the Leading Cause of Cancer-related Death in Adults Under Age 50 Agenus Inc. (Nasdaq: AGEN), a leader in immuno-oncology innovation, today announced that the first patient has been enrolled in the landmark global phase 3 BATTMAN (CO.33) trial (NCT07152821). This study is evaluating Agenus’ immunotherapy combination of botensilimab (BOT) plus balstilimab (BAL) versus best supportive care in patients with refractory, unresectable microsatellite stable (MSS)/mismatch repair proficient (pMMR) metastatic colorectal cancer (mCRC), a population long considered resistant to immunotherapy. This study is being conducted as a cooperative group trial led by the Canadian Cancer Trials Group (CCTG) from Canada and run across Canada, France, Australia and New Zealand. More than 100 sites will participate across the academic cooper

Klarna Agrees to $1.7 Billion Transaction Supporting up to $40B+ of Lending1.4.2026 13:19:00 CEST | Press release

Klarna, the global digital bank and flexible payments provider, has entered into a new capital efficiency transaction in the form of a Significant Risk Transfer (SRT), covering $1.7 billion-worth of Euro denominated loans and freeing up capital to support continued growth. Klarna has entered into a three-year agreement with a consortium led by Värde Partners. This is Klarna's sixth SRT transaction and improves how effectively Klarna deploys its capital on a global basis. "Our banking license is one of our biggest competitive advantages," said Niclas Neglén, Klarna's Chief Financial Officer. "This is our largest and most efficient SRT transaction to date. These transactions allow us to maximize every unit of capital to support our continued momentum." The transaction follows Klarna’s recently announced $2 billion facility supporting $17B of US Financing expansion. About Klarna Klarna is a global digital bank and flexible payments provider. With over 118 million global active Klarna user

Americhem Launches nDryve™: PFAS-Free In-Melt Technology Platform for Functional Fibers1.4.2026 13:00:00 CEST | Press release

Americhem, Inc., a global polymer solutions provider, today announced the launch of nDryve™, a PFAS-free, in-melt surface-modifying technology platform designed to deliver durable multi-fluid repellency against alcohol and other low-surface-energy fluids in fiber systems. As global regulations accelerate the phase-out of per- and polyfluoroalkyl substances (PFAS), manufacturers are under increasing pressure to maintain barrier performance without fluorinated chemistries. nDryve™ was developed to address this shift, offering a PFAS-free, in-melt alternative to conventional surface applied treatments. Engineered for Performance Without PFAS Often referred to as “forever chemicals,” PFAS have come under heightened regulatory scrutiny due to their persistence and potential environmental and health impacts. nDryve™ integrates directly into the polymer during melt processing, embedding surface-modifying functionality within the fiber matrix rather than relying on removable finishes. By engin

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
World GlobeA line styled icon from Orion Icon Library.HiddenA line styled icon from Orion Icon Library.Eye