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
Sharjah Unveils Uruk: A New Generation of Sustainable Cities Built for the Post-AI Era29.10.2026 19:15:00 CET | Press release
In the presence of His Highness Sheikh Dr. Sultan bin Mohammed Al Qasimi, Supreme Council Member and Ruler of Sharjah, and Her Highness Sheikha Bodour bint Sultan Al Qasimi, President of American University of Sharjah and Chairperson of Sharjah Research, Technology and Innovation Park, a pioneering model for a new generation of cities designed for the post-AI era called “Uruk.” This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20261029129346/en/ H.H. Sheikh Dr. Sultan bin Mohammed Al Qasimi, Ruler of Sharjah, during the inauguration of “Uruk” (Photo: AETOSWire) The project was revealed at the opening of the second edition of Sharjah Next, through a strategic partnership between Sharjah Research, Technology and Innovation Park (SPARK), American University of Sharjah (AUS) and SEE Holding, bringing together their capabilities in innovation, scientific research and sustainable urban development. Uruk introduces a new vision for urba
Motive and Vivo Brazil Win 2026 Leading Lights Award for Network API Monetization29.10.2026 17:35:00 CET | Press release
Award recognizes live GSMA Open Gateway deployment replacing SMS OTP with SIM-based silent authentication Motive, a global leader in entitlement, connected device and service management and Vivo Brazil, Brazil’s largest operator and part of the Telefónica Group, have won the 2026 Light Reading Leading Lights Award for Outstanding Use Case: Network API Monetization for the first commercial scale deployment of SIM-based silent authentication in Latin America. SMS OTP remains relevant as an authentication method due to its broad reach, working on virtually any type of mobile device. SIM-based silent authentication takes this experience a step further by eliminating the need to receive and manually enter codes. The result is a simpler, more seamless user journey that reduces friction and can help lower abandonment rates while increasing customer conversion and retention. Using Motive’s CAMARA-compliant Entitlement Server, Vivo can now verify a subscriber’s phone number directly without req
REV Ocean Appoints Paul Baribault as CEO Ahead of 2027 Global Operations29.10.2026 15:45:00 CET | Press release
Global conservation and philanthropic leader to spearhead REV Ocean's next chapter, connecting world-class science with international collaboration and ocean protection REV Ocean has appointed Paul Baribault as Chief Executive Officer as the organization moves towards the international debut of its 195-metre research vessel in Rio de Janeiro in April 2027, alongside the UN Ocean Decade Conference. One of the world's largest privately owned research and exploration vessels, REV represents a major philanthropic investment in ocean science. With nine laboratories, advanced deep-sea exploration vehicles and dedicated collaboration facilities, it is designed to give scientists access to world-class research infrastructure and connect their discoveries with the people and institutions able to drive ocean protection. Baribault joins as REV Ocean moves from a decade of engineering and construction into international operations. His mandate will be to build the international partnerships, fundi
Holder Partners Launches Strategic Communications Practice and Appoints Ali Ponte as Director and Practice Lead29.10.2026 15:15:00 CET | Press release
The new practice connects strategic communications and stakeholder engagement with Holder Partners’ capabilities in investigations, disputes, cybersecurity, due diligence and risk advisory. Holder Partners, a multidisciplinary consulting and advisory firm, today announced the launch of its Strategic Communications practice and the appointment of Ali Ponte as Director and Practice Lead. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20261027701219/en/ Ali Ponte, Director and Practice Lead of Holder Partners’ Strategic Communications practice. The practice advises leading companies and institutions, their boards, senior executives and counsel on communications, reputation and stakeholder considerations in complex matters and periods of significant change or opportunity. Each engagement is tailored to the client’s objectives and, where relevant, draws on Holder Partners’ broader advisory capabilities. Its strategic counsel, infor
Accertify Formalizes Partner Ecosystem as Fraud, Payments, and Chargebacks Converge Into a Single Risk Surface29.10.2026 15:00:00 CET | Press release
New partner program brings payment providers, orchestrators, commerce platforms, and consultancies together around the industry's largest fraud data community Accertify, a leading fraud decisioning provider whose Predictive Yes Platform helps merchants say yes to more good customers, more revenue, and more growth, today announced the launch of the Accertify Partner Program, a formalized partnership ecosystem connecting payment providers, orchestrators, commerce platforms, and consultancies to Accertify’s network-powered fraud intelligence. Partners can join through two tracks. The Referral track lets partners make a single introduction while Accertify handles the sale, implementation, and support. The Reseller track lets partners sell Accertify on their own contract and own the client relationship and margin. Partners that integrate with Accertify follow a defined certification path, so clients get a tested, supported connection from day one. Every client a partner brings joins a conso
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