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
Cyviz: Microsoft’s Immersive Approach to Collaboration12.6.2026 09:00:00 CEST | Press release
At Microsoft’s Innovation Hub in Amsterdam, immersive technology is used to enable co-creation rather than one-way presentations. In the company’s Immersive Suite, customers, data experts, and technology specialists come together in a shared environment to address complex challenges more effectively. Watch Video Case Study >> This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260612831180/en/ Watch Video Case Study >> https://www.cyviz.com/case-studies/microsoft-immersive-suite/ As business and technology environments grow more complex, establishing shared understanding across disciplines has become critical. The Immersive Suite is designed for active collaboration, where visual narratives, data, and technical content are explored interactively. This allows participants to test scenarios, align perspectives, and move more efficiently from discussion to decision. “We deliberately work with familiar tools like PowerPoint. That all
LTM Launches AI 1000 to Develop the Next Generation of Forward Deployed Engineers12.6.2026 08:14:00 CEST | Press release
LTM, the Business Creativity partner to the world’s largest enterprises, today announced AI 1000, a strategic workforce transformation initiative anchored by a dedicated Center of Excellence (CoE). The program will develop a pool of 1,000+ AI-certified engineers, including Forward Deployed Engineers (FDEs), to help enterprises adopt, deploy, and scale AI. The launch comes amid a major shift in enterprise tech talent. The FDE — among the fastest-growing roles in the AI ecosystem — combines the technical knowledge of LLMs and domain SLMs with business understanding to turn ideas into quantifiable ROI accretive outcomes and to drive client adoption. AI 1000 is LTM’s structured response to this shift: it provides the training, platforms, and governed career frameworks to develop FDEs at scale. AI 1000 takes an end-to-end approach to talent development via a four-stage model: Identify, Enable, Deploy, and Govern. It starts by identifying high-potential engineers using a proprietary AI Readi
NTT DATA Group Appoints Kazuhiko Nakayama as New President and Chief Executive Officer12.6.2026 08:00:00 CEST | Press release
Kazuhiko Nakayama appointed President and CEO of NTT DATA Group; Yutaka Sasaki to become Senior Executive Vice President of NTT, Inc. NTT DATA Group, a global leader in AI, digital business and technology services, today announces that the Board of Directors has approved the appointment of Kazuhiko Nakayama as NTT DATA Group’s new President and Chief Executive Officer, effective June 12, 2026. Yutaka Sasaki, former President and CEO of NTT DATA Group, will assume the role of Senior Executive Vice President of NTT, Inc., effective June 18. Serving most recently as CFO of NTT DATA Group, Nakayama brings proven leadership and a depth of expertise and experience in defining business strategy and delivering growth. He will continue to strengthen the competitive advantages of the $30+ billion business whilst accelerating it’s AI-centered growth strategy across the 70+ countries and regions in which it operates. NTT DATA Group’s growth strategy will focus on two key areas alongside its core b
Venture Global Announces Closing of $2.25 Billion of Senior Secured Notes11.6.2026 23:00:00 CEST | Press release
Venture Global LNG, Inc. (“Venture Global”) announced today that its wholly-owned subsidiary, Venture Global LNG, Inc. (the “Issuer”) has closed its offering of $1.125 billion aggregate principal amount of its 6.375% senior secured notes due 2034 (the “2034 Notes”) and $1.125 billion aggregate principal amount of its 6.625% senior secured notes due 2036 (the “2036 Notes” and, together with the 2034 Notes, the “Notes”). The Issuer used the gross proceeds from the offering to redeem all of the Issuer’s outstanding 8.125% senior secured notes due 2028 (the “Existing 2028 Notes”) and used cash on hand to pay the redemption premium and related fees and expenses for the offering and the redemption. The 2034 Notes will mature on December 15, 2034, and the 2036 Notes will mature on June 15, 2036. The Notes were issued at par. The Notes will initially not be guaranteed by any of the Issuer’s subsidiaries. In the future, certain of the Issuer’s subsidiaries that incur or guarantee certain amount
Venture Global and Atlantic-SEE Announce Expansion of Long-Term LNG Sales and Purchase Agreement with Greece11.6.2026 22:30:00 CEST | Press release
Deal doubles quantity of US LNG to be supplied by Venture Global, expanding existing partnership to bolster Central and Eastern European energy securityBuilds on Venture Global’s regasification capacity investment in the Alexandroupolis LNG import terminal to supply U.S. LNG to the region Today, Venture Global, Inc. (NYSE: VG) and ATLANTIC – SEE LNG TRADE S.A. of Greece announced an expansion of their existing Sales and Purchase Agreement (SPA) for the purchase of U.S. liquefied natural gas (LNG) from Venture Global for twenty years starting in 2030. Under the deal, Atlantic-SEE is doubling their existing contract with Venture Global from a minimum of 0.5 million tonnes per annum (MTPA) to 1.0 million tonnes per annum (MTPA). Atlantic-SEE LNG is a newly formed joint venture announced in November at the 6th Partnership for Transatlantic Energy Cooperation (PTEC) conference hosted in Athens, Greece between Greek companies AKTOR Group and DEPA Commercial. The announcement of this expanded
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