NY-ADACORE
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
Zycus Recognized as A Customers’ Choice in 2025 Gartner® Peer Insights™ “Voice of the Customer” for Source-to-Pay Suites18.9.2025 11:20:00 CEST | Press release
Zycus, a global leader in procurement and source-to-pay transformation, today announced it has been recognized as A Customers’ Choice in 2025 Gartner Peer Insights™ “Voice of the Customer”: Source-to-Pay Suites report. The Gartner Peer Insights report aggregates ratings and reviews from verified end users over an 18-month ending June 30, 2025. To qualify, vendors must have at least 20 eligible reviews and meet thresholds for capabilities and support. In the 2025 report, only eight vendors qualified, with Zycus placed in the Customers’ Choice quadrant — highlighting vendors rated above the market average for both Overall Experience and User Interest & Adoption. Recognition Backed by Customer Experience According to the report, Zycus achieved: 4.6 out of 5 Overall Rating, based on 67 peer reviews as of June 30, 2025. 95% willingness to recommend score – reflecting customer trust and satisfaction. Ratings across Product Capabilities, Sales Experience, Deployment, and Support, each above 4
Neumirna Therapeutics Appoints Ellen K. Donnelly as Chief Executive Officer18.9.2025 11:00:00 CEST | Press release
Neumirna Therapeutics, a biotechnology company developing RNA-based therapies for neurological diseases, today announced the appointment of Ellen K. Donnelly, Ph.D. as Chief Executive Officer. Ellen brings more than 20 years of leadership in neuroscience and rare diseases, spanning both global pharmaceutical companies and innovative biotech firms. She joins Neumirna from her role as CEO of Abliva AB, recently acquired by Pharming Group, and has previously led Modus Therapeutics and Souvien Therapeutics. Earlier in her career, Ellen spent nearly a decade at Pfizer Inc., where she held leadership roles in neuroscience research, clinical operations, portfolio management, and strategy. She holds a Ph.D. in Pharmacology & Neuroscience from Yale University. "Ellen combines scientific expertise with proven leadership in both biotech and pharma," said Luis Pareras, Chairman of the Board at Neumirna. "The Board is confident that under her guidance, Neumirna will continue to translate our innova
Former Wasabi EMEA VP Richard Czech Joins Leviia to Lead European Channel Expansion18.9.2025 11:00:00 CEST | Press release
Leviia, the French cloud storage provider with more than one million users and 1,000 enterprise customers, today announces a major step in its growth strategy: the expansion of its S3 storage operations across Europe. To lead this initiative, Leviia has appointed Richard Czech, former Vice President EMEA at Wasabi, as Chief Business Development Officer. Czech will drive market development and scale Leviia’s partner ecosystem across Europe, building on the company’s successful go-to-market model in France. “Richard’s arrival reflects the scale of our ambitions in Europe,” said William Méauzoone, co-founder of Leviia. “He combines first-hand experience in scaling a major storage player with an exceptional understanding of the European channel landscape. ” “I’m excited to join Leviia and lead its European expansion,” said Czech. “Organizations face growing pressure to store data in sovereign, multi-site environments. Unlike non-European providers such as Amazon or Wasabi, Leviia is unique
IQM and Scientek Corporation Sign Reseller Agreement to Boost Quantum Computing in Taiwan18.9.2025 10:11:00 CEST | Press release
Companies aim at fuelling the local quantum ecosystem growth and promote adoption IQM Quantum Computers and Scientek Corporation, a Taiwan-based reseller of scientific instruments and other high-technology products, today announced the signing of a strategic reseller agreement to accelerate the commercialisation of quantum computing. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20250918110284/en/ IQM and Scientek Corporation sign reseller agreement The agreement follows the installation of IQM Spark, the first full-stack superconducting quantum computer at the Taiwan Semiconductor Research Institute (TSRI). Under the reseller agreement, Scientek will sell and promote IQM’s on-premises quantum computers and cloud solutions that meet the evolving needs of universities, research institutions, and enterprises. Combining Scientek's strong market presence and customer-centric approach in Taiwan with IQM’s quantum leadership, the c
Acuity Knowledge Partners Acquires Ascent18.9.2025 09:30:00 CEST | Press release
Acuity Knowledge Partners (Acuity), a leading global provider of bespoke research, data management, analytics and AI solutions to the financial services sector, has announced that it has exchanged on the acquisition of Ascent. The transaction is expected to close on 30th September 2025. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20250915732380/en/ L-R: Stewart Smythe, Chief Executive Officer, Ascent; Jon O'Donnell, Chief Operating Officer, Acuity Knowledge Partners, and Robert King, Chief Executive Officer, Acuity Knowledge Partners This strategic move significantly expands Acuity's Data and Technology Services (DTS) division and its offering of technology and AI led services and solutions. Ascent, a leading European provider of AI-powered digital transformation services, supports over 170 clients globally, with 550 data, software, and cloud specialists operating across seven European jurisdictions. “Our acquisition of Asc
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