sponsors

Green Hills Software
Founded in 1982, Green Hills Software is the largest independent vendor of embedded software solutions spanning from embedded to enterprise. Green Hills is the only company with an operating system certified and deployed to IEC 61508 SIL 3 (industrial), FDA Class III (medical), EN 51028 SWSIL 4 (railway), EAL6+ High Robustness (security), and DO-178B Level A (avionics).

• INTEGRITY Real-Time Operating System Family
• INTEGRITY Secure Virtualization
• GateD Routing and Switching Solutions
• MULTI Integrated Development Environment
• TimeMachine Debugging Suite and SuperTrace Probe
• DoubleCheck Static Source Code Analysis Tool
• Optimizing C/C++/Ada Compilers

Green Hills Software provides industry-optimized software development platforms that address deeply embedded, absolute security, and high reliability applications for secure networking, secure wireless devices, medical, industrial, software-defined radio, railway, automotive and avionics markets. These highly integrated Green Hills platforms, built with the INTEGRITY® RTOS, include all of the core software and documentation required to develop and deploy a targeted device.
www.ghs.com

LDRA
LDRA is a market leader of automated source code analysis and testing tools for embedded software development. LDRA provides a unique platform that helps teams accelerate testing and deliver software on time. The key solutions are used by developers, testers and QA managers to carry out automated unit testing, code coverage, code, design & quality review & requirement traceability.
www.ldra.com

Programming Research
A world leader in coding standards compliance, PRQA provides powerful, precise Static Analysis solutions which identify poorly written code and defects at the earliest possible stage in the development process. PRQA's industry-leading tools, QA•C, QA•C++ and QA•Verify, offer the closest possible examination of code, making your software more robust, maintainable and reliable.
www.programmingresearch.com