HUNTSVILLE, Ala., Sept.18, 2018 /PRNewswire/ -- Green Hills Software, the worldwide leader in high-assurance operating systems, today announced that it has commenced verification and validation activities with an independent FACE™ conformance verification authority in order to verify conformance of its INTEGRITY®-178 Time-Variant Unified Multi Processing (tuMP™) operating system with the Technical Standard for Future Airborne Capability Environment (FACE) edition 3.0. INTEGRITY-178 tuMP is being verified for three different multicore architectures, or Units of Conformance (UoC): Intel, Arm and PowerPC/QorIQ. Each INTEGRITY-178 tuMP UoC is being verified against both the Safety Base and Security Profiles with each profile including verification for C, C++ and Ada support.
INTEGRITY-178 tuMP was previously certified FACE v2.1 conformant in 2017 for Intel, Arm and Power Architectures and to date is still the only FACE conformant operating system that offers true multicore operation (as opposed to an operating system that holds all cores but one in reset and represents itself as a FACE conformant multicore operating system). In addition, and equally important, INTEGRITY-178 tuMP is the only multicore operating system that meets the ARINC-653 standard's requirement for multicore operation as defined in Section 2 of Supplement 4 for the ARINC-653 standard: "Multiple processes within a partition scheduled to execute concurrently on different processor cores." INTEGRITY-178 tuMP is the only RTCA/DO-178B DAL-A and CAST-32A compliant operating system that provides the ability for system architects to support both SMP and AMP DAL-A applications in a partitioned scheduled operating environment on a multicore SoC, thus enabling maximum throughput by way of highly optimized core utilization.
While other operating systems claim to meet the requirements in the FAA's CAST-32A Position Paper, INTEGRITY-178 tuMP is the only multicore operating system that provides system integrators with the necessary DAL-A compliant RTOS mechanisms and tools to effectively mitigate the multicore interference risks and challenges. INTEGRITY-178 tuMP advanced and innovative interference prevention features enable the integrator to avoid most of the costly testing and analysis requirements directly associated with multicore interference while simultaneously enabling the addition of future software functionality without dependencies on the original system integrator's "Special-Use-Case" approach to IMA application integration and testing on the multicore SoC. INTEGRITY-178 tuMP is based on the concept that avoiding multicore interference and achieving optimal core utilization should not be the sole responsibility of the system integrator.
"INTEGRITY-178 tuMP DAL-A certified interference prevention mechanisms combined with its other unique multicore operational capabilities (the combination of SMP and AMP operation in a partitioned scheduled environment) make it the industry's leading high-assurance operating system when it comes to delivering the most efficient and optimal core utilization and overall system throughput for today's 32-bit and 64-bit multicore architectures," said Dan O'Dowd, founder and chief executive officer of Green Hills Software. "Our certified FACE conformant INTEGRITY-178 tuMP is the industry leader in enabling optimal SWaP reduction results."
Green Hills Software has a long history as an innovative leader in enabling critical embedded system designers to fully utilize advanced microprocessor features, such as those found on today's multicore SoCs. Beginning with Green Hills Software's pioneering efforts of robust partitioning for single-core processors, its list of accomplishments continues today with certified operating systems for highly capable Intel, Arm and Power Architecture multicore SoCs. Green Hills INTEGRITY-178 tuMP has been shipping to aerospace and defense customers since 2010. It is built upon the successful seventeen-year service history and certification pedigree of its INTEGRITY-178 single-core predecessor by incorporating multicore operating system capabilities, including support for both DAL-A compliant AMP and SMP operation. The INTEGRITY-178 tuMP multicore operating system is available for Intel, Arm and Power Architecture and NXP QorIQ processor family, supporting both 32-bit and full 64-bit operation. INTEGRITY-178 tuMP for Intel and Arm architectures also offers support for Linux, Android and Windows GuestOS virtualization. INTEGRITY-178 tuMP offers complete support for the ARINC-653 Part 1 Supplement 4 standard (including section 2 defining multicore operation), as well as Part 2's optional features such as Sampling Port Data Structures, Sampling Port Extensions, Memory Blocks, Multiple Module Schedules and File System. INTEGRITY-178 tuMP has other optional components including a DAL-A compliant network stack with Multicast support and a DAL-A compliant file system. Both are based on a Client/Server architecture that features the ability of the Level A Server to communicate simultaneously with multiple Client partitions operating at different safety levels (DAL A – E), which may be located on the same or different cores. The INTEGRITY-178 tuMP operating system uniquely provides the ability to integrate a multicore processor into safety- and security-critical systems while achieving optimal use of all cores in a deterministic manner that complies with RTCA/DO-178B DAL-A and the FAA's CAST-32A position paper for multicore processors.
For additional inquires and ordering information, contact 1-800-789-9695 or internationally
at +1-727-781-4909, or by email: HighAssuranceRTOS@ghs.com.
About Green Hills Software
Founded in 1982, Green Hills Software is the worldwide leader in embedded safety and security. In 2002, the Green Hills INTEGRITY-178 RTOS was the first commercially developed operating system to be certified as part of DO-178B Level A avionics equipment. In 2008, the Green Hills INTEGRITY-178 RTOS was the first and only operating system to be certified by NIAP (National Information Assurance Partnership comprised of NSA & NIST) to EAL 6+, High Robustness, the highest level of security ever achieved for any software product. Green Hills Software's open architecture, integrated development solutions address deeply embedded, safety/security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom. Visit Green Hills Software at www.ghs.com.
Green Hills, the Green Hills logo, INTEGRITY and tuMP are trademarks or registered trademarks of Green Hills Software in the U.S. and/or internationally. FACE™ and logo design and The Open Group Certification Mark™ are trademarks of The Open Group in the United States and other countries. All other trademarks are the property of their respective owners.
SOURCE Green Hills Software