News & Press
EEMBC Uses DoubleCheck for Analyzing Its New FPMark Test Suite and Other Benchmark Suites in Development
SANTA BARBARA, CA and NUREMBERG, GERMANY — February 26, 2013 — embedded world, Hall 4, Stand 325 — Green Hills Software, the largest independent vendor of embedded software solutions, today announced that the Embedded Microprocessor Benchmark Consortium has adopted the Green Hills Software Green Hills Software DoubleCheck™ static analysis tool to help ensure the highest level of quality for its new floating point benchmark suite — FPMark™ — that targets single and double precision floating point. EEMBC® has used DoubleCheck in the past and will continue using it in the future as part of its validation process.
"When developing industry standard software that is going to thousands of people, high-quality reliable code from the start is essential," stated Shay Gal-On, director of technology from EEMBC. "DoubleCheck is easy to use, and although we found no errors in our code, it provided us with an extra point of validation."
EEMBC is running DoubleCheck on its newest software benchmark suite called FPMark that targets single and double precision floating-point operations. FPMark is applicable from low-end microcontrollers to high-end 64-bit processors. At over 100,000 lines of code, the size of the project is comparable to MultiBench™.
"DoubleCheck reduces time-to-market and development cost for businesses by enabling them to complete projects faster than is possible when limited to traditional debugging and testing techniques," commented David Kleidermacher, chief technology officer, Green Hills Software. "We are pleased that EEMBC is continuously using our source code analyzer with positive results."
About DoubleCheck Source Code Analyzer
DoubleCheck builds on Green Hills Software's 30 years of compiler technology expertise to locate software flaws that lead to security and reliability failures in software. DoubleCheck processes the entire project's source code to find flaws, such as buffer overflows, resource leaks, invalid pointer references, overly complex code (as measured by metrics such as McCabe), and violations of safe language rules such as MISRA 2004. DoubleCheck differs from other static analysis tools by virtue of its speedy analysis time and full integration with the integrated development environment (IDE). Whereas other static analysis tools are relegated to sporadic use by quality assurance teams, DoubleCheck can be enabled by all developers all the time, ensuring that bugs are found and eradicated as quickly as possible. Because it is integrated with the MULTI® IDE, no extra work is needed to ensure that DoubleCheck can handle even the largest source code bases. DoubleCheck generates reports that can be conveniently browsed with any web client.
About Green Hills Software
Founded in 1982, Green Hills Software is the largest independent vendor of embedded development solutions. In 2008, the Green Hills INTEGRITY-178B 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. Our open architecture integrated development solutions address deeply embedded, absolute 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.
EEMBC, the Embedded Microprocessor Benchmark Consortium develops industry-standard benchmarks to test embedded processors and systems such as smart phones and network firewall appliances. EEMBC's benchmark development work is supported by yearly member dues and license fees. Visit EEMBC at www.eembc.org.
Green Hills Software
International Sales Contact:
Green Hills Software Ltd
Fleming Business Centre
Hampshire SO50 9PD
Tel: +44 (0)2380 649660
Fax: +44 (0)2380 649661