QW2001 Paper 3V1 Mr. Christian Hote (PolySpace Technologies) Bug Detection Tools for Productivity

Key Points

• Efficiency: PolySpace Verifier turns detection of run-time errors on its head thanks to its unique technology. It detects run-time errors at compilation time and thus before starting tests.
• Quality: PolySpace identifies and checks each possible source of run-time errors of your software application against all possible behaviors and input values. Thanks to our technology, we can figure out the future of software applications and predicts where it will crash or give erroneous computation due to run-time errors.
• Productivity: PolySpace Verifier does not requires human help to run. It has a very short learning curve and requires a very small amount of time to setup. It is a non-intrusive software product that you can plug-in without modifying your developement process.

Presentation Abstract

Presentation abstract to be supplied.

About the Author

Christian HOTE obtained his PhD in Physics in 1991. He joined Verilog (European leader CASE Tools provider) as product manager and participated in several European Research programs (Eureka, Esprit) for embedded systems design and development. He joined PolySpace Technologies at its creation and manages US business development and operations.