Reading, UK- Lynx Software Technologies (Lynx), the leader in delivering solutions for the Mission Critical Edge, announced that its LynxOS-178 operating system and LynxElement unikernel will include support for Rust, a systems programming language that is designed for performance and memory safety. To do so, Lynx has partnered with AdaCore, the leading provider of commercial software solutions for Ada, C and C++ languages, 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. Specifically, Rust ensures memory safety at compile time, meaning that all references point to valid memory without using separate methodologies found in other programming languages. While still a relatively new programming language, Rust is developing significant momentum, especially in the mission- and safety-critical embedded software market, including the automotive and aerospace industries. In recent weeks, Rust has made news. First, Azure CTO Mark Russinovich declared in a Twitter post that new projects should “halt starting projects in C/C++” in favor of Rust where garbage collection is not permissible. Second, Rust reached a milestone that C++ could not by getting incorporated into the Linux kernel.
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. In particular, 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, 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. We believe the combination of our respective offerings will enable the industry to bring safer systems to market quickly.”
“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. We are delighted to work with Ferrous Systems and Lynx to continue driving the upward momentum for safer code in the embedded software industry.”
LynxOS-178 is a native POSIX, hard real-time partitioning operating system developed and certified to FAA DO-178C DAL A safety standards. It is the primary host for real-time POSIX and FACE™ applications within the LYNX MOSA.ic™ development and integration framework. LynxElement, which was also announced earlier this year, is the industry’s first unikernel to be POSIX compatible and available for commercial use. LynxElement is offered as part of the LYNX MOSA.ic portfolio of products for a diverse set of mission-critical use cases. End customers in the military, avionics and federal segments need a programming language around which a vibrant ecosystem is growing, as they look to drastically reduce costs and development timeframes associated with the creation of secure mission critical systems.