Smiths Aerospace used Green Hills Software's GMART run-time system and AdaMULTI development environment to develop the software for the Electrical Load Management System (ELMS2) and Fuel Quantity Indicating System (FQIS) for the new Boeing 777-300ER aircraft. The software running in both systems has been certified to the Federal Aviation Administration's (FAA) standard for safety-critical software, RTCA/DO-178B. Both the FAA and European Joint Aviation Authority (JAA) were involved in the certification process.
"Smiths Aerospace selected Green Hills Software's AdaMULTI development environment and GMART run-time system for the ELMS2 and FQIS because these systems met our safety requirements and supported the low power and low cost Freescale ColdFire 5307 processor that we were using," said Dave Bolton, principal software engineer at Smiths Aerospace. "GMART also reduced our development effort because we were able to use Green Hills Software's certification package, including design and verification data, in our FAA certification submittal."
"We are pleased that Smiths Aerospace, like other major avionics manufacturers, is using Green Hills Software's solutions to optimize development of their safety-critical devices," commented Dan O'Dowd, founder and chief executive officer of Green Hills Software. "Avionics manufacturers are increasingly recognizing that they can reduce the time, cost and risk of software development and certification by using our robust and proven off-the-shelf DO-178B solutions. This is why, in addition to the Boeing 777-300ER, Green Hills Software has also been selected for multiple safety-critical systems on both the Boeing 787 and Airbus A380, among others."
About AdaMULTI and GMART
Green Hills Software's AdaMULTI is a complete software development environment for embedded computer-based applications developed using the Ada 95, C, C++ and Embedded C++ (EC++) programming languages. AdaMULTI contains an integrated set of tools that maximize software developers' productivity while enabling them to optimize the reliability, performance and resource requirements of their devices.
Green Hills Software's GMART supports the SPARK safety critical subset of the Ada language. It is ideal for those applications requiring a small fast and deterministic run-time environment. Further SPARK facilitates the development and certification of safety-critical software. GMART has been proven in numerous systems certified to DO-178B, including flight-critical systems that require the most stringent, Level A certification.
About Green Hills Software
Founded in 1982, Green Hills Software, Inc. is the technology leader for real-time operating systems and device software optimization for 32- and 64-bit embedded systems. Our royalty-free INTEGRITY(R) RTOS, velOSity(TM) microkernel, compilers, MULTI(R) and AdaMULTI(TM) integrated development environments and TimeMachine(TM) debugger offer a complete development solution that addresses both deeply embedded and high-reliability applications. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom. Visit Green Hills Software on the web at www.ghs.com.
Green Hills Software, the Green Hills logo, MULTI, INTEGRITY, velOSity, AdaMULTI, TimeMachine and GMART are trademarks or registered trademarks of Green Hills Software, Inc. in the U.S. and/or internationally. All other trademarks are the property of their respective owners.
Green Hills Software, Inc. Barbel French, 805-965-6044 Email Contact