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
Oscilloquartz delivers assured timing for mission-critical harsh environments with ruggedSync™ Series OSA 55101.6.2026 14:00:00 CEST | Press release
News summary: Defense operations require resilient timing architectures that maintain synchronization in contested and GNSS-denied environments ruggedSync™ Series OSA 5510 delivers assured timing and extended holdover in a MIL-qualified platform for tactical, deployable operations Zero-trust resiliency with diversified cPNT sources, including M-Code, PRS and STL, strengthens operational continuity for defense communications, navigation and mission-critical infrastructure Oscilloquartz today launched its ruggedSync™ Series OSA 5510, a ruggedized timing and synchronization platform engineered for defense and other harsh, mission-critical environments. Designed for deployment in tactical communications networks, mobile command centers (MCCs), aviation systems and other highly demanding operational environments, the OSA 5510 combines PTP grandmaster and NTP server functionality with synchronization assurance and resilient holdover in a compact MIL-qualified platform. Multi-band GNSS suppor
Vertex Announces US FDA Acceptance of Biologics License Application for Accelerated Approval of Povetacicept in IgA Nephropathy1.6.2026 14:00:00 CEST | Press release
- FDA assigns Prescription Drug User Fee Act (PDUFA) target action date of November 30, 2026 – Vertex Pharmaceuticals Incorporated (Nasdaq: VRTX) today announced the U.S. Food and Drug Administration (FDA) has accepted its Biologics License Application (BLA) submission for povetacicept, an investigational engineered fusion protein and dual inhibitor of the BAFF (B cell activating factor) and APRIL (a proliferation inducing ligand) cytokines, in adults with immunoglobulin A nephropathy (IgAN). The FDA has assigned a Prescription Drug User Fee Act (PDUFA) target action date of November 30, 2026. If approved, povetacicept will become the first commercialized therapy in Vertex’s emerging nephrology franchise. “The Phase 3 RAINIER trial is the largest conducted in IgAN and achieved full enrollment faster than any contemporary IgAN trial, reflecting the significant unmet need in IgAN and our urgency to bring povetacicept to patients with this serious disease,” said Nia Tatsis, Ph.D., Executi
Winston Taylor Completes Historic Transatlantic Combination1.6.2026 13:01:00 CEST | Press release
Transatlantic powerhouse law firm established for the businesses, people, and markets driving capital and innovation Winston Taylor announces today that Winston & Strawn and Taylor Wessing’s U.K.-led business have officially launched as a single combined firm, creating a premier transatlantic law firm built for the needs of the businesses, people, and markets driving capital and innovation. One of the largest transatlantic firms, with more than 1,400 lawyers spanning the United States, the United Kingdom, Europe, Latin America, and the Middle East, Winston Taylor is built to meet clients’ evolving global needs for counsel. “As Winston Taylor, we are centered on a client-first approach and will be working shoulder to shoulder with our clients at the cutting edge of industry and ingenuity,” said Chairman Steve D’Amore. “With that common purpose, we are leveraging both strength and scale by integrating our teams and offices at record speed, working at pace to create a firm that is aligned
Kinaxis Appoints Kristin Russel as Chief Marketing Officer1.6.2026 13:00:00 CEST | Press release
Kinaxis® Inc. (TSX:KXS), a global leader in end-to-end supply chain planning and orchestration, today announced the appointment of Kristin Russel as Chief Marketing Officer (CMO). Russel will lead Kinaxis’ global marketing organization, overseeing marketing strategy, corporate and market positioning, digital and brand marketing, communications and go-to-market initiatives. Russel will also take the main stage at Kinexions, where she will discuss practical steps organizations can take to move from decisions to outcomes in an increasingly complex operating environment. A tenured marketing executive and recognized industry leader, Russel brings deep experience scaling technology companies and building high impact brands. She joins Kinaxis from symplr, where she served as Chief Marketing Officer and led the development and execution of the company’s comprehensive marketing strategy across branding, digital and product marketing, public relations, community outreach programs, channel partne
Samsung Electronics Begins Shipment of Industry-First HBM4E Samples1.6.2026 12:57:00 CEST | Press release
Samsung's 12-layer HBM4E achieves speeds of up to 16Gbps with improved energy efficiency and thermal performanceProven processes from HBM4 production experience and technology enhancements support increasingly demanding next-generation AI workloads Samsung Electronics, a global leader in advanced memory technology, has begun shipping the industry's first 12-layer HBM4E samples to major global customers, further strengthening its leadership in the next-generation HBM market. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260601979564/en/ Samsung's 12-layer HBM4E Following the industry’s first mass production and commercial shipment of its industry-leading HBM4 earlier this year, Samsung now extends its HBM roadmap with the introduction of HBM4E samples, addressing the rapidly evolving demands of AI computing and hyperscale infrastructure. "Following the successful mass production of HBM4, Samsung has once again demonstrated i
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