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
Beacon Acquires Haize Labs to Power AI for the Real Economy17.9.2026 16:30:00 CEST | Press release
Haize Labs leadership will anchor Beacon’s new applied AI research group, accelerating the deployment of AI across the essential businesses Beacon owns Beacon Software (Beacon), the first centralized AI holding company, today announced that it has acquired Haize Labs, an AI reliability company that tests and safeguards AI agents for real-world deployment. The Haize Labs team will join Beacon to form its Applied AI Research Group, with co-founder and CEO Leonard Tang joining as VP of AI Research to lead the AI operating system that is deployed across Beacon’s companies. Beacon believes that the fastest way to bring AI to the traditional economy is through the software businesses that essential industries already use and trust, equipping them with AI infrastructure. Beacon acquires these businesses for long-term growth and connects them to a centralized AI operating system that compounds with each additional acquisition and industry. The addition of the Haize Labs team will strengthen th
TIMELAB Develops OEM/ODM Hair Straightener Reaching 200°C at All Three Measured Points in 15 Seconds17.9.2026 16:00:00 CEST | Press release
Testing at 230 V with a 260°C setting confirmed at least 200°C after 15 seconds at all three measured plate locations (front, center and rear), not just a single point. TIMELAB Co., Ltd., a Japanese beauty-appliance OEM/ODM provider, has developed a hair straightener for OEM/ODM customization for international hair care brands and professional markets. In testing at 230 V with a 260°C setting, all three measured plate locations reached at least 200°C after 15 seconds. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260914187865/en/ Three-Point Plate Testing A European-market development unit with a maximum setting of 260°C was tested at 230 V. Fifteen seconds after power-on, readings at the front, center and rear were 212.5°C, 227.5°C and 200.0°C, respectively. From around 60 seconds onward, temperature differences among the three points narrowed, indicating a stable trend. Precision Temperature Control An NTC sensor inside t
Earnix Brings Agentic AI to the Decisions That Drive Insurance Performance17.9.2026 15:09:00 CEST | Press release
Agent Hub, part of Earnix AIOS, brings more than 25, insurance-specific agents and apps into Earnix’s governed pricing, underwriting, and customer decision solutions- improving workflows and business performance Earnix today announced the introduction of Agent Hub, a curated catalog of insurance-specific AI agents and apps within Earnix AIOS — the AI Orchestration System powering Earnix’s pricing and rating, underwriting, and customer engagement solutions. Agent Hub brings agentic AI directly into these solutions, enabling more intelligent workflows and strengthening the high-stakes decisions that shape pricing, underwriting, customer engagement, growth, and profitability. In an increasingly turbulent insurance environment, the useful life of an insurance decision is getting shorter. Risk and market conditions are changing faster, making growth, profitability, and portfolio performance harder to manage. AI is increasing the speed and scope of what insurers can analyze, recommend, and i
Medisca Launches Global Peptide Division17.9.2026 15:07:00 CEST | Press release
New division brings API-grade peptides and Medisca’s quality-first pharmaceutical expertise to a rapidly evolving area of personalized medicine Medisca today announced the launch of Medisca Peptides, a dedicated global division focused on expanding access to API-grade peptides and building an integrated peptide platform for pharmaceutical and personalized medicine markets worldwide. As the peptide landscape evolves, Medisca is proactively building the capabilities and infrastructure needed to support API-grade peptides within applicable regulatory frameworks. The launch represents a significant long-term commitment to peptides, including the expansion of Medisca’s portfolio, strategic manufacturing relationships, and the pharmaceutical infrastructure needed to support the category’s growth. It also signals Medisca’s ambition to become a leading force in the next generation of peptide innovation. For Medisca, the opportunity is familiar. More than 35 years ago, the company was founded t
Elliptic Launches Its Decode Agent to Answer On-Chain Risk Questions and Shows Its Work17.9.2026 15:00:00 CEST | Press release
Hours of tracing, answered in seconds, with the evidence attached Elliptic, the global leader in on-chain risk, today launched Decode, an AI agent built on Elliptic’s intelligence platform. The Decode agent answers natural-language questions about cryptoasset addresses and their exposure in seconds, and returns the evidence behind every answer. Compliance and investigations teams need answers to questions nobody planned for. Getting them out of the data is now a specialist skill, so the questions wait for someone who has it, or go unasked. Meanwhile illicit actors move at machine speed, and agents are starting to sit on both sides of a payment. General-purpose AI assistants can produce an answer. They cannot show where it came from. A fluent response with nothing behind it cannot be put in front of a second-line reviewer, an auditor, or a regulator. “The market is full of AI that asks to be trusted. That is not good enough when someone asks how you reached a decision,” said Jackson Hul
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