Company brings extensive certification and safety standards experience to the Rust community
AdaCore, a trusted provider of software development and verification tools, is pleased to announce that it is now a Silver Member of the Rust Foundation, an independent non-profit organization dedicated to stewarding the Rust programming language and ecosystem.
Recent AiThority News : Taboola Beta Tests Integration of Generative AI, Including ChatGPT, to Revolutionize Ad Creation for Advertisers
“We are looking forward to extending our long-standing commitment to high integrity languages and safety-certified embedded development to the Rust programming language.”
For over 25 years, AdaCore has been committed to supporting the needs of safety- and mission-critical industries with high integrity software development tools and services. AdaCore initially focused on Ada, a state-of-the-art programming language designed specifically for developing long-lived, safety-critical, certified software. Over the years, this focus has extended beyond the Ada language to its formally verifiable SPARK subset, C and C++, and Simulink and Stateflow models. Now, AdaCore is partnering with Ferrous Systems, a technology company specializing in the Rust programming language, to share its expertise in safety-certified toolchains with the Rust safety community. The partnership is currently on track to bring Rust into ASIL-D-level environments. One of the first outcomes of this work is the publication of a Language Specification document available here.
“AdaCore is thrilled to join the Rust Foundation,” said Quentin Ochem, Chief Product Officer, AdaCore. “We are looking forward to extending our long-standing commitment to high integrity languages and safety-certified embedded development to the Rust programming language.”
NLP News: Fast Track Unleashes the Power of AI-Language Technology for Automated Campaign Generation
AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems.
Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, defense systems, automotive, railway, space, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base.
AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris
Latest Aithority Insights : Squashing Long Wait Time & Call Friction: AI’s Role in Transforming Contact Centers
[To share your insights with us, please write to sghosh@martechseries.com]
Comments are closed.