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
Barilla Opens Global Call for Startups Through Good Food Makers 202625.5.2026 11:47:00 CEST | Press release
The program has involved over 1,100 startups across 50+ countries, delivering 26 pilot projects. Barilla Group has opened applications for the 2026 edition of Good Food Makers, its global open innovation program designed to co-develop and test new innovative solutions with startups and innovators inside real industrial environments. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260521973445/en/ Since its launch in 2019, the program has involved more than 1,100 startups from over 50 countries, leading to 26 pilot projects, with over 20 projects currently active thanks to the solutions developed by the program’s alumni. This highlights the program’s role as a concrete platform for industrial scalable innovation. The 2026 edition comes at a pivotal moment for the company, following the launch of BITE (Barilla Innovation & Technology Experience), the new innovation center dedicated to developing the next generation of food prod
JEOL: Sales Launch of the Laser SEM System “LazEdge”25.5.2026 10:16:00 CEST | Press release
JEOL Ltd. (President & CEO: Izumi Oi) has developed the “LazEdge”, an SEM system equipped with a laser processing system, and begins sales on May 25, 2026. Cross-section preparation instruments such as the focused ion beam system (FIB system), are widely used in science and technology fields across research institutes, universities, and industries. In recent years, demand is increasing for a system that can process large-areas at a high speed, while achieving high-quality of the processed surface. “LazEdge” is an instrument integrating JEOL’s SEM with the laser technology proprietary of Hamamatsu Photonics K.K., and enables laser processing inside the specimen chamber of the electron microscope. This system enables high-quality cross-section specimens produced through high-speed, large-area processing to be transferred seamlessly to subsequent analyses, such as SEM observation, elemental analysis, and crystal orientation analysis, without exposure to the external environment. As a resu
TFG-001, A Novel 3D Neural Microtissue Cell Therapy, Demonstrates Superior Functionality and Reinnervation for Parkinson’s Disease25.5.2026 08:00:00 CEST | Press release
TreeFrog Therapeutics, a regenerative medicine biotech company developing next-generation cell therapies, today announced that it will present new preclinical data on TFG-001 at the 7th World Parkinson’s Conference. TFG-001, a 3D neural microtissue cell therapy, demonstrated rapid dopamine release and extensive graft-derived reinnervation across multiple advanced translational Parkinson’s disease models—supporting its potential as a best-in-class candidate. The critical need for reinnervation in Parkinson's disease In Parkinson's disease, an estimated 60–80% of dopaminergic neurons are already lost before motor symptoms even appear. The nigrostriatal pathway degenerates, destroying the essential wiring that connects dopamine-producing neurons to movement control. While chemical dopamine replacements (like levodopa) can manage symptoms, they cannot restore the spatial precision, feedback loops, or dynamic regulation of a healthy brain network. To achieve true functional restoration, it
Galderma Receives U.S. FDA Approval for Differin® Epiduo® Acne Gel Prescription-to-OTC Switch22.5.2026 18:25:00 CEST | Press release
A unique Prescription-to-OTC switch in acne care, this approval expands access to a dermatologist-trusted, prescription-strength treatment for millions of acne sufferers ages 12 years and older Backed by more than 15 years of real-world dermatologist use and a robust clinical research program, this milestone demonstrates the depth of science behind the Differin® and Epiduo® heritage Adapalene plus benzoyl peroxide (0.1/2.5%) was the first FDA-approved, stable, fixed- dose prescription acne treatment to combine of benzoyl peroxide with a retinoid, and is now available over-the-counter The formulation is engineered to target multiple causes of acne more effectively than either of its individual active ingredients alone Galderma (SIX: GALD), the pure-play dermatology category leader, today announced that the United States (U.S.) Food and Drug Administration (FDA) has approved Differin® Epiduo® Acne Gel (Adapalene 0.1% and Benzoyl Peroxide 2.5% Acne Treatment) for over-the-counter (OTC) us
Avanzanite Bioscience’s Partner Agios Announces PYRUKYND® (mitapivat) Approval in the European Union for Adults with Thalassaemia22.5.2026 16:18:00 CEST | Press release
Avanzanite will commercialise and distribute PYRUKYND in Europe under its exclusive agreement with Agios Avanzanite is committed to collaborating with local authorities in the EU to enable access to PYRUKYND for adult patients with thalassaemia Avanzanite Bioscience B.V., a rapidly growing commercial-stage European specialty pharmaceutical company focused on rare diseases, today reported that its partner, Agios Pharmaceuticals, Inc. (Nasdaq: AGIO), a commercial-stage biopharmaceutical company headquartered in Cambridge, Massachusetts focused on delivering innovative medicines for patients with rare diseases, announced that the European Commission has granted marketing authorisation for PYRUKYND® (mitapivat), an oral pyruvate kinase (PK) activator, in adults for the treatment of anaemia associated with transfusion-dependent and non-transfusion-dependent alpha- or beta-thalassaemia, with an orphan medicinal product designation. This press release features multimedia. View the full releas
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