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
Cardiac Dimensions® Announces Three Major Publications Demonstrating Long-Term Durability, Real-World Performance, and Broad Patient Benefit of the Carillon Mitral Contour System®8.7.2026 16:05:00 CEST | Press release
New data highlight multi-center 5-year durability, 10-year survival, and the largest single-center experience across both HFrEF and HFpEF patients with functional mitral regurgitation Cardiac Dimensions, a leader in transcatheter therapies for heart failure, today announced the publication of three major manuscripts that together form the most comprehensive evidence base ever assembled for transcatheter indirect mitral annuloplasty. These publications span a five-year multi-center commercial registry, the largest single-center experience across both preserved and reduced ejection fraction, and long-term survival results through ten years. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260707656796/en/ Carillon Mitral Contour System® The Carillon Mitral Contour System is the only commercially available indirect mitral annuloplasty device, designed to treat a broad and expanding population of patients living with functional mi
First Randomized Controlled Trial Shows Promise of a Ketogenic Diet in Psychotic Disorders8.7.2026 15:00:00 CEST | Press release
Trial reports correlations between ketone levels and cognitive and psychiatric symptoms in individuals with schizophrenia-spectrum and bipolar-1 disorders Published today in Schizophrenia Bulletin, a first-of-its-kind randomized controlled trial (RCT) from researchers at the University of California, San Francisco (UCSF), and funded in part by the National Institute of Mental Health (NIMH), adds to growing literature on the potential benefit of a ketogenic diet for treating psychotic disorders. The study, which enrolled participants with schizophrenia-spectrum or bipolar-1 disorders, demonstrated rapid metabolic improvements with a ketogenic diet compared to diet-as-usual during an initial one-month RCT open-label phase. Furthermore, those who continued with the optional four-month single-arm ketogenic diet extension saw meaningful gains across metabolic, psychiatric, and cognitive measures. This press release features multimedia. View the full release here: https://www.businesswire.co
Teamily AI Publicly Launches Human+AI Social Platform to Make Building and Growing a Company Easy for Every Team8.7.2026 15:00:00 CEST | Press release
Teamily AI (https://Teamily.ai), together with its Agentic AI Infra platform TensorOpera AI (https://TensorOpera.ai), today announced the public launch of its Human+AI social platform, a product stack that has already served more than 5 million users around the world. Starting today in Palo Alto and rolling out simultaneously across dozens of countries, this first public launch opens the full stack to everyone with a single mission: to make building and growing a company easy for every person and every team. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260708584390/en/ "This is the moment we open our doors to the world," said co-founders Dr. Aiden Chaoyang He and Professor Salman Avestimehr. "We want every person and every team to be able to move from idea to product, from product to market, and from market to growth and investment, with an AI-native team by their side." At its core, Teamily AI enables humans and AI agents
Leo Cancer Care Raises $65M Series D to Scale Its Integrated Upright Cancer Care Platform8.7.2026 14:30:00 CEST | Press release
Oversubscribed round follows the world-first compact upright proton treatment at Stanford Medicine — funding a single upright platform that will span imaging and treatment across multiple radiation modalities. Leo Cancer Care, the medical technology company working to reinvent how patients are imaged and treated by designing systems around the body’s natural upright position, today announced the close of an oversubscribed $65 million Series D financing. The round was led by Silicon Valley’s Yu Galaxy and welcomes new investors including Eventide Asset Management, alongside continued support from the company’s existing investors. Leading cancer institutions are already adopting the upright approach. Stanford Medicine delivered the world’s first compact upright proton therapy treatment on 4 June 2026. Dana-Farber Cancer Institute and McLaren Health Care are among the institutions bringing the upright platform into their programmes — adoption that spans world-leading academic centers and
LUMI AI Factory Selects IQM to Deploy Advanced Quantum Computer, Accelerating Hybrid HPC and AI Development8.7.2026 14:00:00 CEST | Press release
The Halocene H4 quantum computer, named LUMI-IQ, will be delivered and installed in 2027 The system will be hosted at CSC – IT Center for Science in Finland and integrated into the LUMI AI Factory The system will provide researchers, industry innovators, and developers across Europe with a unique, advanced experimental platform where quantum computing and artificial intelligence converge The LUMI AI Factory, led by CSC – IT Center for Science, has selected IQM Quantum Computers (Nasdaq: IQMX) to deliver IQM Halocene H4, an advanced quantum computer aimed at accelerating hybrid high-performance computing, artificial intelligence, and quantum computing capabilities. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260708006791/en/ LUMI AI Factory selects IQM to deploy advanced quantum computer, accelerating hybrid HPC and AI development IQM Halocene H4 is the first and most advanced on-premises superconducting quantum computer o
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