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
Suzano Reports 36% Increase in Third Quarter Net Revenue Following Consolidation of Arbex6.11.2026 00:23:00 CET | Press release
Suzano (B3: SUZB3 / NYSE: SUZ) , the world’s largest pulp producer, announces its results for the third quarter of 2026 (3Q26), which for the first time include Arbex, the joint venture between Suzano and Kimberly-Clark established in July this year. Driven primarily by the consolidation of Arbex’s contribution, Suzano reported net revenue of BRL16.5 billion, an increase of 36% on the same period last year and a new quarterly record in the company’s 102-year history. Adjusted EBITDA totaled R$5.7 billion in 3Q26, up 9% on the same basis of comparison. Operating cash generation reached R$3.8 billion, an increase of 12%. Net income totaled R$2.1 billion. As announced following the completion of the transaction with Kimberly-Clark, Suzano holds a 51% equity interest in Arbex and will therefore fully consolidate the joint venture’s financial statements from this quarter onwards.1 “This quarter marks the beginning of a new phase for Suzano. With Arbex, we are now a broader business, both ge
Andersen Consulting styrker sine transformationskompetencer med Bakia Consulting5.11.2026 23:12:00 CET | Pressemeddelelse
Andersen Consulting udvider sine kompetencer inden for forretningstransformation gennem en samarbejdsaftale med Bakia Consulting, et firma, der har specialiseret sig i transformation af økonomifunktionen. Bakia Consulting har hovedkontor i Paris og kapacitet i Singapore og Hongkong og har hjulpet store virksomheder og finansielle institutioner med at gentænke deres økonomifunktioner, herunder driftsmodeller, organisationsstrukturer, processer og digitale systemer. Bakia Consulting kombinerer projektledelse og forandringsledelse og arbejder tæt sammen med kunderne om at udvikle løsninger og fastholde forandringer. Virksomheden rådgiver også om modeller for økonomisk og ikke-økonomisk styring, procesoptimering og digitale værktøjer. "Økonomifunktioner forventes at levere bedre indsigt, arbejde mere effektivt og tilpasse sig skiftende forretningsbehov – ofte samtidig," udtalte Romain Dubuisson, partner hos Bakia Consulting. "Vi arbejder tæt sammen med vores kunder om at udvikle løsninger,
iQmetrix Unveils Built-In Intelligence for Every Role in Telecom Commerce at Its 2026 Telecom Industry Address5.11.2026 22:39:00 CET | Press release
An all-new AI inventory agent, iQ Hub and iQ Pay for Back Office bring intelligence to every role. iQmetrix, the global provider of Intelligent Commerce Operating Systems for telecom, last week shared highlights from its 2026 Telecom Industry Address and Product Announcements, held virtually on Oct. 28 in two sessions, one for North American audiences and one for European audiences. The address was built around one theme: intelligence. Telecom commerce is moving from systems that record the business to systems that act on it, and the announcements put that intelligence in the hands of every role, from the sales associate at the counter, to the finance manager in the back office, to the corporate view leading the channel experience. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20261105003162/en/ "Right now telecom providers are competing in a race to the bottom on price that no one wins. The way out is intelligence. Not AI bo
Compass Pathways Announces New Employee Inducement Grants Under Nasdaq Listing Rule 5635(c)(4)5.11.2026 22:30:00 CET | Press release
Compass Pathways plc (Nasdaq: CMPS), a biotechnology company dedicated to unlocking urgently needed new treatment options in mental health care, announced today that Compass granted equity awards under the Compass Pathways plc 2026 Inducement Plan to nine newly hired non-executive employees. The equity awards were granted on November 2, 2026, and consisted of options to purchase an aggregate of 59,275 shares and restricted share units or, in the case of employees in the United Kingdom nominal cost options, covering an aggregate of 28,200 shares. These options have an exercise price per share equal to $8.41, the closing price of the Company’s American Depositary Shares on the Nasdaq Global Select Market on the grant date, and will vest over a four-year period with 25% vesting on the first anniversary of the date of the grant and the remaining 75% vesting in equal monthly installments over the three-year period thereafter, subject to each employee’s continued employment. The restricted s
Graco QUANTM i230 Brings Electrification to High-Flow Fluid-Transfer Applications5.11.2026 22:16:00 CET | Press release
New electric 3-inch double-diaphragm pump helps paint, coatings and ceramics manufacturers increase throughput while reducing energy consumption by up to 80%. Graco Inc. is helping manufacturers electrify high-flow fluid-transfer applications with the global launch of the 3-inch QUANTM® i230, bringing efficient electric drive technology to demanding processes that have traditionally relied on pneumatic pumps. Paint, coatings and ceramics manufacturers depend on diaphragm pumps for their flexibility, reliability and ability to handle challenging materials. But pneumatic pumps also depend on compressed air — an energy-intensive plant resource whose available capacity can fluctuate as demand changes across a facility. The QUANTM i230 gives manufacturers another option for qualified high-flow applications. By combining familiar diaphragm pump capabilities with electric operation, the pump helps manufacturers move more material, reduce transfer bottlenecks and lower energy consumption by up
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