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
IKI Advances Promotional Forecast Accuracy by More Than 10 Points With SymphonyAI17.9.2026 07:03:00 CEST | Press release
Lithuania's second-largest grocer brings AI-driven promotional planning to its network of 250 stores, with early results already showing double-digit gains in forecast accuracy SymphonyAI, a global leader in Vertical AI, today announced that IKI, one of Lithuania's largest grocery retailers, is implementing SymphonyAI's Promotional Evaluation and Promotional Planning solutions across its network of 250 stores, as part of its strategy to strengthen data-driven promotional planning. IKI continuously evaluates opportunities to strengthen its category management and promotional planning capabilities. As promotional programs become increasingly sophisticated, the retailer has invested in advanced analytics and AI-driven forecasting to support data-driven decision making across its business. In its initial work with SymphonyAI across select categories, IKI has seen promotional forecast accuracy improve by more than 10 percentage points, along with a reduction in stock-outs during promotional
Lattice Advances FPGA Design with New Leadership AI-Driven Development Tool, Lattice Prompt17.9.2026 04:00:00 CEST | Press release
Lattice Semiconductor (NASDAQ: LSCC), the low power programmable and platform firmware leader, today introduced a new leadership AI-powered FPGA development tool for small and mid-range FPGAs that redefines how FPGA developers work across the full design flow. Lattice Prompt pairs with AI agentic tools developers already use, combining them with Lattice design tools, knowledge base, and documentation to turn natural language inputs into validated responses, dramatically accelerating FPGA development while optimizing design performance and capability. "Accelerating time-to-market demands and rising design complexity are putting mounting pressure on FPGA developers to do more with every design cycle," said Esam Elashmawi, Chief Strategy and Marketing Officer, Lattice Semiconductor. "Lattice Prompt gives developers AI-assisted access to the full design flow, grounded in Lattice's validated knowledge, so they can focus on what matters most: building differentiated systems." Lattice Prompt:
Lattice Expands Secure Control FPGA Leadership with New Lattice Mach-N2 Family17.9.2026 04:00:00 CEST | Press release
Lattice Semiconductor (NASDAQ: LSCC), the low power programmable and platform firmware leader, today announced Lattice Mach™-N2 FPGA family, extending its long-running secure control FPGA leadership with new devices purpose-built for system control and security in modern infrastructure. Built on the Lattice Nexus™ 2 small FPGA platform, Mach-N2 combines integrated flash, a hardware Root of Trust, and CNSA 2.0-compliant post-quantum cryptography (PQC) with crypto agility for trusted, always-on system control and security across next-generation systems. "The demands on system control and security are accelerating as post-quantum mandates take hold, and customers building long-lifecycle infrastructure seek solutions that will help them design with today and tomorrow’s security needs in mind," said Esam Elashmawi, Chief Strategy and Marketing Officer, Lattice Semiconductor. "Mach-N2 represents a significant step forward in logic density and bandwidth while adding the most complete post-qua
TOURISE Unveils 2027 Summit Under the Theme “Alliances That Move the World”16.9.2026 22:53:00 CEST | Press release
Second global tourism summit to convene renowned leaders in Riyadh, March 23-25, 2027 First confirmed speakers announced, including leaders from Booking Holdings, Marriott, Hilton, Intrepid Travel and S4 Capital Theme calls for new alliances across tourism, technology, investment and government to shape the sector’s next 50 years Under the patronage of His Royal Highness Mohammed bin Salman bin Abdulaziz Al Saud, Crown Prince and Prime Minister, His Excellency Ahmed Al-Khateeb, Minister of Tourism and Chairman of TOURISE, today announced the TOURISE 2027 Summit, taking place in Riyadh from March 23-25, 2027. Building on the inaugural TOURISE Summit in November 2025 and a year of collaboration since, the 2027 edition will run under the theme “Alliances That Move the World.” Over three days, leaders will focus on the partnerships, investments and actions needed to advance the global tourism agenda over the next 50 years. This press release features multimedia. View the full release here
Brightfin Names Dan McNamara Chief Customer Officer16.9.2026 19:13:00 CEST | Press release
As Brightfin expands its platform and rides growing enterprise demand for IT spend control, the company taps Dan McNamara with a track record of scaling teams through rapid growth Brightfin, the leading platform for total spend intelligence in enterprise IT, today announced that Dan McNamara has joined the company as Chief Customer Officer (CCO). The appointment comes as Brightfin extends its platform into a broader vision of financial truth and operational clarity across the entire enterprise technology stack, and as more IT and finance leaders turn to Brightfin to make sense of fast-growing, fragmented spend across cloud, mobile, and emerging AI tooling. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260916064892/en/ Dan McNamara, CCO of Brightfin McNamara has built his career on meeting increasingly complex customer expectations. Twice, he has joined a customer organization in the middle of rapid growth and left it with a
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