industry news
Subscribe to EE Journal Daily Newsletter
7 + 7 =

Green Hills Software Contracts CERTON to Verify Conformance of Its INTEGRITY-178 tuMP Operating System to the FACE Technical Standard v2.1 for Intel, ARMv8 and PowerPC Architectures

Proven Industry Leader in Safe and Secure Operating Systems to Offer the Only True Multicore Solution that Conforms to Both the FACE Technical Standard 2.1 and Supplement 4 of the ARINC-653 Standard’s Requirements for Multicore Operation

SANTA BARBARA, CA — October 17, 2017 — Green Hills Software, the worldwide leader in high-assurance operating systems, today announced that it has contracted CERTON, a Cyient Company, 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 2.1. Green Hills Software and CERTON are verifying the INTEGRITY-178 tuMP operating system for three different multicore architectures, or Units of Conformance (UoC): Intel, ARMv8 and PowerPC/QorIQ. In addition, 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.

Following FACE verification and approval, INTEGRITY-178 tuMP will be 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). INTEGRITY-178 tuMP is also 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,” and “Multiple partitions 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 Level A applications in a partitioned scheduled operating environment on a multicore SoC, thus enabling maximum throughput by way of highly optimized core utilization. INTEGRITY-178 tuMP is the worldwide high-assurance operating system leader when it comes to delivering the most efficient and optimal core utilization for today’s advanced 32-bit and 64-bit multicore architectures – translation: INTEGRITY-178 tuMP is the industry leader in enabling optimal SWaP reduction results.

“For the past twenty years Green Hills Software has led the embedded software industry with significant advancements in safe and secure operating system technology, from our state-of-the art software functionality to being the industry’s most accomplished supplier when it comes to compliance with the aviation industry’s most rigorous software assurance requirements,” said Dan O’Dowd, founder and chief executive officer of Green Hills Software. “Our experienced team of development engineers and certification experts have ensured that our INTEGRITY-178 product line has been aligned with the FACE standard since 2012 and we look forward to being the first true multicore operating system that is conformant to the FACE standard.”

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 today’s highly capable Intel, ARMv8 and PowerPC multicore SoCs. The Green Hills INTEGRITY-178 tuMP has been shipping to aerospace and defense customers since 2010 and builds upon a proven sixteen-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 NXP PowerPC/QorIQ architectures, supporting both 32-bit and full 64-bit operation. INTEGRITY-178 tuMP for Intel architectures also offers support for Linux, Windows and Android 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 which include a DAL-A compliant network stack with multicast support and a file system, both based on a Client/Server architecture that features the ability of the Level A Server to communicate simultaneously with multiple Clients operating at different safety levels (DAL A – E), located on the same or different cores. The INTEGRITY-178 tuMP operating system uniquely provides the ability to integrate a multicore processor into a safety-critical system 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 largest independent vendor of embedded development solutions. 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.

About CERTON, a Cyient Company
CERTON, a Cyient company, is an approved FACE VA and proven industry leader in safety-critical systems, embedded software, and electronic hardware certification. We specialize in all aspects of process oriented product development life-cycles with a focus on developing testable requirements to support fully automated Independent Verification and Validation. Our experienced staff of over 50 engineers have direct experience on certified ARP-4754, DO-178, and DO-254 Level A avionics products, as well as a variety of other transportation and medical device products. CERTON’s facility includes 72,000 square feet of usable engineering space with more than 15,000 square feet of secure SCIFs compliant with both DCID 6/9 and JAFAN 6/9 security standards for commercial or government use up to Top Secret level. CERTON has the unique tools, training, and experience to provide optimal certification solutions and engineering support on your next project.

Leave a Reply

featured blogs
Nov 17, 2017
CASPA is the Chinese American Semiconductor Professional Association. Once a year they have their annual conference and dinner banquet. I ended up getting involved with them a few years ago when I stepped in with 24-hours' notice to moderate a panel session for them, plu...
Nov 15, 2017
SuperComputing 2017 remains in full force this week from the Colorado Convention Center in Denver.  There are lots of activity in presentations, seminars, demonstrations and exhibits on the tradeshow floor. Stay tuned to the Samtec blog the rest of the week for more highligh...
Nov 16, 2017
“Mommy, Daddy … Why is the sky blue?” As you scramble for an answer that lies somewhere between a discussion of refraction in gasses and “Oh, look—a doggie!” you already know the response to whatever you say will be a horrifyingly sincere “B...
Nov 07, 2017
Given that the industry is beginning to reach the limits of what can physically and economically be achieved through further shrinkage of process geometries, reducing feature size and increasing transistor counts is no longer achieving the same result it once did. Instead the...