“This ground-breaking solution will provide a low-risk path to DO-178B certification and speed safety-critical systems to market,” said Dr. Inder Singh, CEO of LynuxWorks. “Although there are operating systems being touted for DO-178B certification, this is the only commercially available operating system today that has all the artifacts and components needed to achieve FAA DO-178B level A certification. This product also delivers unique features and capabilities we expect will make it appealing to a broader range of manufacturers who are developing product to very stringent safety and reliability standards.”
LynxOS-178 Key Benefits
Safety-critical performance feature support
Mature, stable and fully certifiable kernelLynxOS is an embedded RTOS that has been rigorously exercised through millions of deployments since 1988 and forms the base of LynxOS-178. The LynxOS-178 operating system is the foundation of multiple safety-critical systems that have been certified to DO-178B, including the Bombardier Challenger 300 (primary flight display), the KC-135 (various modules) and other deployments.
Hard partitioning of resources in time and spaceLynxOS-178 implements an ARINC 653-style time partition scheduling algorithm which gives each partition fixed execution time so that the system can be deterministically safe. Additionally, the system supports RTCA DO-255-compliant system partitioning which allows multiple applications of differing criticality levels within partitions to execute, completely isolated, on the same hardware resource. LynxOS-178 supports hard memory partitioning enabled by a processor MMU. Full MMU support provides the reliability advantages of protected memory and the performance advantages of hardware-mapped virtual addresses for hard partitioning between the virtual machines. With LynxOS-178, it also enables each task to run protected in its own space for uncompromising reliability within a hard partitioned virtual machine, enabling easier application certification. This added second level of granularity is not found in competitive offerings.
Time-to-market benefits
POSIX-based interfacesSupport for the well-known POSIX interfaces virtually eliminates the time and costs of training programming staff. Other product offerings based on lesser known or proprietary interfaces provide more of a challenge for companies when managing programming personnel and maintenance. Developers will also save time and cost developing and maintaining applications based on the POSIX open standards.
Faster upgrades and enhancement certificationMountable file system support and dynamic device drivers ease the certification of upgrades and enhancements. Applications and drivers are not required to be linked to the operating system and can therefore be isolated, limiting re-certification efforts for the full operating system when only an application or driver needs modification. Competitive offerings without this feature make it necessary to re-verify or re-certify the entire system, including all applications, kernel and libraries upon system upgrades or enhancements.
ArtifactsLynxOS-178 includes a complete artifacts package for the kernel and user library including full DO-178B traceability through requirements, design, code, test and test results.
Low-Risk Path to DO-178B Certification Reduces Cost and Time-to-Market
The availability of the off-the-shelf LynxOS-178 allows developers to get products to market quickly by leveraging software and artifacts that have been certified previously. LynxOS-178 fully satisfies the objectives of the DO-178B specification and enables developers to meet the technical requirements in the production of software for airborne systems. In the end, LynxOS-178 provides high value to developers by enabling the rapid time-to market delivery for safety-critical applications.
In the last few years, manufacturers of safety-critical systems in the medical, nuclear, communications infrastructure and other markets have seen the value of software that has been designed with this level of scrutiny. However, the costs for DO-178B-level assurance was, in many cases, cost prohibitive. Now with a commercial offering of LynxOS-178, this level of software quality is available.
Software certification is one of the key components to offering an operating system that is “trusted” or secure. This LynxOS-178 release is the first step toward offering a secure kernel to address todays growing need for secure, safety-conscious computing. The company intends to offer a common criteria EAL7 (Evaluation Assurance Level) RTOS which will meet the international standard for developing ultra-secure software that protect systems from threats such as cyber terrorism.
Price and Availability
In addition to the LynxOS-178 kernel, the offering also includes a complete artifacts package for the kernel and user library, DO-178B required documentation, code coverage test suites and analysis for 100% modified condition/decision coverage of the kernel and libraries, a full suite of standards-based development tools, and support. The company will also soon release the industrys first commercial-off-the-shelf certifiable TCP/IP stack. Development seats, including the LynxOS-178 kernel and one year of priority support, start at $18,000.
About LynuxWorks
Established in 1988, LynuxWorks is a leading participant in the real-time operating systems (RTOS) industry, and a founding member of the Embedded Linux Consortium (ELC). Headquarters in San Jose, California, the companys products include the open-source BlueCatâ
Linux and the scalable, Linux-compatible LynxOS real-time operating system. For more information, go to www.lynuxworks.com.
# # #
LynuxWorks is a trademark and LynxOS and BlueCat are registered trademarks of LynuxWorks, Inc. Other brand or product names are registered trademarks or trademarks of the respective holders. Linux is a registered trademark of Linus Torvalds.
For more information contact:
Linda Nixon
LynuxWorks Inc.
408-979-4399
lnixon@lnxw.com
Roger Villareal
Benjamin | Weber Shandwick
415-352-2628
rvillareal@webershandwick.com
“
Link: lynuxworks.com
