he QNX Neutrino RTOS is the core operating system that IGT uses in its gaming machines, with QNX Momentics serving as the primary C/C++ compiler and development environment.
QNX Neutrino is a scalable, POSIX-compliant, embedded RTOS used in mission-critical environments such as telecommunications equipment, automotive systems, medical instrumentation, consumer electronics, and many other devices.
Prevent is configured to support the QNX Momentics development suite out of the box, and can be integrated into the build process in a matter of minutes, with no changes to existing build scripts.
"We had looked at static analysis tools previously but did not find any that successfully deployed in our QNX build environment. Coverity integrated into our build environment without our having to modify our processes. Its adaptivity was a huge plus," said Steven LeMay, Director of Game Engineering, IGT.
"As any good company would, we want to prove our quality in the field. Finding issues at compile time before they become problems during testing, and eliminating as many problems as far upstream in the development cycle as possible, significantly reduces engineering costs and more importantly makes a better quality product."
IGT products are highly regulated by the gaming industry, and have to go through an extensive approval process. Independent laboratories have to test every product for certification, and that certification process has to start all over again for any kind of software change. Therefore, even a small bug fix in the field needs to be approved by regulatory bodies, which can take a considerable amount of time and expense before the solution can be deployed.
"Coverity’s support of the QNX Momentics development suite brings the power of today’s most advanced static source code analysis technology to developers of one of the most popular embedded real-time operating systems," said Ben Chelf, CTO, Coverity. "Now developers targeting the QNX Neutrino OS can rely on Prevent to detect defects critical to embedded developers, such as resource leaks, concurrency issues, and excessive memory use."
"Developers choose QNX technology for their mission- and life-critical systems because it offers an unsurpassed combination of performance, scalability, and reliability," said Linda Campbell, director of strategic alliances at QNX Software Systems. "Coverity allows these developers to focus on the higher-level design issues, and spend less time trying to identify and fix hidden bugs in their code."