铁系统

2022年11月2日,

加州圣何塞美国加州圣何塞11月02日2022(全球通讯社)——猞猁软件技术(山猫),关键任务的交付解决方案的领导者,今天宣布,其lynxos - 178操作系统和LynxElement unikernel将包括支持生锈,系统编程语言,是专为安全性能和内存。为此,猞猁与AdaCore, Ada商业软件解决方案的领先供应商,C和c++语言,和亚铁系统,提供关键安全及铁锈用户认证工具链。锈病是一种编程语言设计在性能、安全性和并发性。具体来说,锈在编译时确保内存安全,这意味着所有引用指向有效的内存不使用单独的方法在其他编程语言。虽然还是一个相对较新的编程语言,生锈是发展中重要的动力,尤其是在使命——和安全性至关重要的嵌入式软件市场,包括汽车和航空航天工业。最近几周,生锈了的消息。首先,Azure首席技术官马克·若斯诺维奇在Twitter发布宣布新项目应“停止启动项目”在C / c++的铁锈,垃圾收集是不允许的。第二,锈达到一个里程碑,c++不能通过纳入Linux内核。今年早些时候,系统和亚铁AdaCore联手开发二茂铁编译器工具链,与支持的目标需要各种管制的市场,如汽车、航空电子设备,空间,和铁路。特别是,二茂铁将提供必要的资格和认证构件各自市场。 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. About Lynx Software Technologies Lynx Software Technologies is the premier Mission Critical Edge company that enables safe, secure and high-performance environments for global customers in aerospace and automotive, enterprise and industrial markets. Since 1988, companies have trusted Lynx’s real-time operating system, virtualization and system certification experience, which uniquely enables mixed criticality systems to be harnessed and deliver deterministic real-time performance and intelligent decision-making. Together with a growing set of technology partners, Lynx is realizing a new class of Mission Critical Edge systems that keep people and valuable data protected, at every moment. For more information, visit www.lynx.com . Tags