PolySpace Technologies
100 Cummings Center,
Suite 207P
Beverly, MA 01915 USA
Phone: 877-711-POLY or 978-921 4627 FAX: 978-524-4162
Email: contact-usa@polyspace.com
URL: www.polyspace.com
PolySpace Technologies offers cutting-edge software analysis tools which are the only one in the market to detect runtime errors at compile time through static analysis. They are a perfect fit for ADA, C or C++ real time embedded software for which quality, reliability and robustness are critical such as avionics systems, automotive, energy plants, railway transportation or medical devices.
PolySpace tools are used directly after the end of the coding and provide an analysis of the source code with regard to all possible runtime errors. The advantages of this approach are obvious: