LONDON Green Hills Software Inc. has added three optional high assurance software components to its INTEGRITY-178B real-time operating system (RTOS).
The components are a RTCA/DO-178B level A-compliant partitioning Journaling file system called PJFS-178B, an RTCA/DO-178B level A-compliant network stack, called IPFLITE, and an ARINC 615A dataloader.
The journaling file system provides multiple INTEGRITY-178B partitions with concurrent power-fail safe access to an underlying file system. IPFLITE's client/server architecture allows multiple applications to access the underlying network stack that resides in a virtual INTEGRITY-178B partition.
This announcement also follows the U.S. Government's recent announcement that INTEGRITY-178B has been certified to the highest security assurance level required by the U.S. Government for operating systems ” EAL6+/High Robustness. This EAL6+ certification is the first of its kind, the highest Common Criteria security level ever achieved for an operating system.
Only an EAL6+ High Robustness operating system is certified to protect classified information and other high value resources from attack by hostile and well-funded attackers. With the PJFS-178B file system, IPFLITE network stack and ARINC 615A dataloader, Green Hills Software now offers system developers and integrators a single-source solution for their high assurance operating system and related software components without relying on third party software products or certification services.
The PJFS-178B client provides a standards-based interface that allows a safety- or security-critical application to access the underlying file system. The PJFS-178B server handles PJFS-178B Client API requests, manages access to the underlying storage device(s), and provides interfaces to configure the file system as well as format and mount disks. The PJFS-178B server operates in one partition and communicates with one or more PJFS-178B clients.
The PJFS-178B client and PJFS-178B server can reside in the kernel or any virtual partition. The combined strength and sophistication of INTEGRITY-178B and PJFS-178B allows the DO-178B Level A-compliant host PJFS-178B file system to service multiple file system clients at different safety levels in an ARINC 653 environment.
The IPFLITE client/server architecture is based on RFC 791 and 768. The client provides a BSD-style interface that can be used to access IPFLITE's network services. The IPFLITE server includes a socket server and an UDP/IP network stack. IPFLITE also contains a trivial file transfer protocol (TFTP) library that is based on RFC 1350, 2347, and 2348, and is compatible with both the IPFLITE network stack and the PJFS-178B file system. Green Hills' dataloader protocol (DLP) library implements the protocols specified in ARINC 615A-2 used to perform uploads and downloads of data files. The DLP library provides the target side for interfacing to host-based ARINC 615A-2 dataloaders such as TechSat's NetLoader as well as other host-based systems.
Related links and articles: