GrammaTech
Website: www.grammatech.com

GrammaTech manufactures CodeSonar®, a source-code analysis tool that identifies serious defects at compile time. GrammaTech is focused on the needs of developers of critical applications, where safety and security are critical. By probing deeper and exploring longer interprocedural execution paths, CodeSonar catches complex and serious bugs that other tools miss. CodeSonar is used by a large number of medical device manufacturers, as well as the FDA.

Klocwork
Website: www.klocwork.com

Klocwork is an enterprise software company providing automated source code analysis software products that automate security vulnerability and quality risk assessment, remediation and measurement for C, C++ and Java software. More than 300 organizations have integrated Klocwork's automated source code analysis tools into their software development process in order to ensure their code is free of mission-critical flaws while freeing their developers to focus on what they do best – innovate.

Markets2markets
Website: medical.dornerworks.com

DornerWorks is a premier provider of electronic software and hardware engineering specializing in the design of embedded systems for the medical device market. Their specialties include: embedded software development, electronic system architecture, electronic hardware development, board support packages, FPGA custom logic engineering, RTOS integration, and all forms of low level embedded work. DornerWorks - where software and hardware design meet.

MKS
Website: www.mks.com/industry/medicaldevices

As the global application lifecycle management technology leader, MKS delivers unique solutions for software development at medical device organizations. MKS Integrity provides a coherent single platform to manage the interrelated documents, assets and activities for software and physical components across the entire development lifecycle. Organizations like Karl Storz, Intuitive Surgical and CVRx rely on MKS Integrity to improve software quality and automate time-intensive manual processes for FDA compliance, producing necessary reports in mouse-clicks instead of person weeks. For more information, call 1.800.613.7535

Mocana
Website: www.mocana.com

Mocana secures the “Internet of Things” – the 20 billion datacom, smartgrid, federal, consumer, industrial and medical devices that connect across every sector of our economy. These devices already outnumber PC’s on the Internet by five to one, representing a $900 billion market that’s growing twice as fast as the PC market. Every day, millions of people use products sold by over 100 companies that leverage Mocana’s Device Integrity software, including Dell, Cisco, Honeywell, General Electric, General Dynamics, Avaya, Nortel Networks, Harris and Radvision, among others. Mocana won Frost & Sullivan’s Technology Innovation of the Year award for 2008 for Device Security, and was named to the Red Herring Global 100 as one of the “top 100 privately-held technology companies in the world” in January 2009.

Parasoft
Website: www.parasoft.com

For over 20 years, Parasoft has investigated how and why software defects are introduced into applications. Our solutions leverage this research to dramatically improve SDLC productivity and application quality. Through an optimal combination of quality tools, configurable workflow, and automated infrastructure, Parasoft seamlessly integrates into your development environment to drive SDLC tasks to a predictable outcome. Delivering the industry's most comprehensive defect prevention and detection capabilities in an integrated solution: Parasoft provides out-of-the-box automation of the validation practices named in the FDA's General Principles of Software Validation

WITTENSTEIN

WITTENSTEIN High Integrity Systems is part of a global engineering company and has been delivering advanced embedded software solutions for more than 10 years. SafeRTOS is a pre-certified operating system for small micro-controllers and is widely used in Industrial, Medical and Transportation applications where safety, certification and determinism are a key requirement. First certified by TÜV SÜD in 2007, SafeRTOS is supplied with independently validated certification packs for IEC61508 SIL3, FDA510(k) Class III and EN62304. Available as source code or in the ROM of Texas Instruments Cortex-M3 microcontrollers, it is the secure choice when you need software you can trust.