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
Fortegra Appoints Iwan Röpcke as Chief Executive Officer, Belgium8.5.2026 09:30:00 CEST | Press release
The Fortegra Group, Inc., a global specialty insurer, today announced the appointment of Iwan Röpcke as Chief Executive Officer, Belgium. Mr. Röpcke brings more than 25 years of insurance industry experience to the role, spanning broking, commercial leadership, and executive management across the Benelux and broader European markets. He joins Fortegra from Lloyd’s Insurance Company S.A., where he served as Country Manager for Belgium and the Netherlands, building out the operation from its early stages and overseeing both business strategy and development. Prior to Lloyd's, Mr. Röpcke held senior leadership positions at Willis Towers Watson (via Gras Savoye), where he served as Head of Sales and Head of the Competence Center. His career also includes roles at Inter Partner Assistance (AXA Assistance) as Commercial Director Benelux, Winterthur Europe Assurances, AIG Europe, Aon Belgium, and Marsh. Mr. Röpcke’s industry expertise spans a range of specialty risk areas, with deep relations
KAYTUS Launches All-QLC Flash Storage at AI EXPO 2026 for 10,000-GPU Clusters8.5.2026 09:02:00 CEST | Press release
KAYTUS’s next-generation all-QLC flash solution delivers fully linear performance scaling for massive GPU clusters, while reducing TCO by 70%, enabling ultra-large-scale computing for the era of agentic AI. At AI EXPO KOREA 2026, KAYTUS officially launched its All-QLC Flash Storage Solution, engineered to deliver high performance, massive scalability, and cost efficiency for 10,000-GPU clusters. The solution addresses data-delivery bottlenecks in ultra-large-scale AI training, helping maximize GPU resource utilization. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260508313130/en/ Based on the KR2280 and KR1180 server platforms, the solution is deeply integrated with industry-leading AI-native parallel file systems to eliminate data silos inherent in traditional tiered storage. Purpose-built for read-intensive AI workloads, it overcomes the horizontal scaling limitations of massive clusters. Verified test-data shows that, a
Beneq Appoints Dr. Jason Harrison as Chief Executive Officer8.5.2026 09:00:00 CEST | Press release
Semiconductor industry leader takes the helm to accelerate Beneq’s next phase of growth in atomic layer deposition Beneq Oy, the home of atomic layer deposition (ALD), today announced the appointment of Dr. Jason Harrison as Chief Executive Officer. Dr. Harrison succeeds Dr. Tommi Vainio and will lead Beneq into its next phase of growth across semiconductor, optical, and emerging technology markets. A Strategic Leadership Transition Beneq enters its next phase of growth from a position of strong commercial momentum. Recent milestones include the qualification of the Beneq Transform® cluster tool for volume production of GaN power and RF filter devices; the introduction of Beneq Transmute™ and Beneq Transform® XP, both engineered for high-volume manufacturing (HVM) of specialty semiconductors; growing adoption of the P-Series for coating critical chamber parts in advanced node devices; and selection of the C2R™ for AR waveguide production in next-generation XR optics. Against this backd
World Employment Confederation’s 59th Annual Conference to Address Critical Global Labour Market Concerns8.5.2026 07:12:00 CEST | Press release
Senior leaders from policy, business and international institutions are set to discuss critical labour market concerns at the World Employment Confederation’s Annual Conference, during an era of global transformation and disruption never-before-seen. Taking place on 12-13 May in Toronto and entitled ‘Grow With Talent’, this year’s World Employment Conference – co-organised with ACSESS – arrives at a time of profound economic uncertainty. This gathering of leaders and experts will help define the path forward for the global labour market and set the stage for discussions at the 114th Session of the International Labour Conference (ILC) in June. Bettina Schaller, President of World Employment Confederation (WEC) says: “The question at the heart of this year’s World Employment Conference is: how will we mobilise the world’s talent to drive growth in an era of disruption?At a time of accelerating AI adoption, rapid demographic change and an uncertain global economic outlook, pressure on la
Esentia Announces Successful Pricing of 6.125% Senior Notes Due 2033 and 6.500% Senior Notes Due 20388.5.2026 03:24:00 CEST | Press release
Esentia Energy Development, S.A.B. de C.V. (“ESENTIA” or the “Company”), today announced the pricing of U.S.$1,000,000,000.00 aggregate principal amount of its 6.125% Senior Notes due 2033 (the “2033 Notes”) and U.S$1,000,000,000.00 aggregate principal amount of its 6.500% Senior Notes due 2038 (the “2038 Notes” and, together with the 2033 Notes, the “Notes”) to be issued by the Company in a private offering to qualified institutional buyers in accordance with Rule 144A under the Securities Act of 1933, as amended (the “Securities Act”), and outside the United States to non-U.S. persons in accordance with Regulation S under the Securities Act. The 2033 Notes will be issued at a price of 99.517%, and the 2038 Notes will be issued at a price of 98.444%. The 2033 Notes mature on July 30, 2033, and the 2038 Notes mature on July 30, 2038, and will be fully and unconditionally guaranteed by certain of the Company's subsidiaries. The settlement of the Notes is expected to take place on May 14
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