MENU

Lynx, AdaCore team on embedded Rust

Lynx, AdaCore team on embedded Rust

Business news |
By Nick Flaherty



Lynx Software Technologies is teaming up with AdaCore to support developers using the Rust language in mission critical embedded designs

The LynxOS-178 operating system and LynxElement unikernel will include support for Rust with AdaCore and Ferrous Systems, a provider of safety-critical and certified toolchains for Rust users.

Rust is a programming language designed around performance, safety and concurrency. Using Rust ensures memory safety at compile time, meaning that all references point to valid memory without using separate methodologies found in other programming languages.

Earlier this year, Ferrous Systems and AdaCore joined forces to develop the Ferrocene compiler toolchain, with the goal of supporting the needs of various regulated markets, such as automotive, avionics, space, and railway.

Ferrocene will be provided with the necessary qualification and certification artifacts for their respective markets. Lynx sees Rust and Ferrocene as key components to modernize the way embedded systems are developed and as a result have incorporated support for them in its flagship products to enable the development of safer code.

“The alignment across the missions of AdaCore, Ferrous Systems and Lynx Software Technologies is clear to see,” said Tim Reed, CEO of Lynx Software Technologies.

“Similar to our long tradition of enabling the development of mission- and safety-critical systems, AdaCore has a successful history as a trusted supplier of certified toolchains and Ferrous Systems brings a wealth of knowledge and promising track record of helping developers adopt Rust into their embedded software systems,” he said.  

“Demand for safety, security, and reliability in programming languages is at an all-time high,” said Quentin Ochem, Chief Product Officer at AdaCore.

“Rust is one of the best options available to enable all three without impeding efficiency. Together with the currently supported Ada and SPARK languages, this makes the LynxOS-178 operating system one of the most advanced platforms for running demanding, long-lived, mission-critical applications. ”

LynxOS-178 is a native POSIX, hard real-time partitioning operating system developed and certified to FAA DO-178C DAL A safety standards. LynxElement, which was also announced earlier this year, is the industry’s first unikernel to be POSIX compatible and available for commercial use.

www.lynx.com

Other articles on eeNews Europe

 

If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :    eeNews on Google News

Share:

Linked Articles
10s