Clear Skies For Embedded Software
Our solution detects run-time errors faster, slashes costs. Every day, hundreds of thousands of passengers and tons of cargo rely on the stability and robustness of applications running aboard airplane systems. Ensuring this level of reliability by solely relying on conventional testing techniques—such as code/design review, test cases and field tests—is expensive and time-consuming. Up-front efforts are considerable. Once an anomaly is detected, your best engineers may spend hours - if not days - tracking it back to its source through thousands of lines of code.

Our approach - the automatic detection of run-time errors at compile time - provides you with a unique solution to these woes. We enable you to quickly identify operations that will cause your code to crash during the whole development cycle. Since these errors are clearly highlighted in the code, you can correct them before performing other tests, reducing the need to re-run these expensive analyses.

Entirely automatic, Our advanced error detection products do not require test cases to be written, or the code to be instrumented or executed. Your engineers can focus on what they know best—developing applications. Thus, our solution reduces testing and debugging time, while freeing up resources that can be dedicated to other tasks.

Comply with DO-178B while reducing testing expenses

Thanks to our non-intrusive, DO-178B compliant solution, you can dramatically reduce standard compliance activities by ensuring that no run-time error interrupts costly tests. Our solutions can even be outfitted with powerful yet intuitive tools that automatically generate design documents (including call graphs) to streamline hours worth of compliance work.

A proven track record in the industry
For many years, we collaborated closely with a number of organizations in the aerospace industry to ensure our products answer their needs. This explains why PolySpace is used by many of the industry’s most prestigious companies, including Airbus, Diehl Avionic, and others. The world’s leading firms in a variety of software development projects, both military and civilian, are using our products. Polyspace has even helped the American and European space agencies ensure that no run-time errors would compromise launches! Overall, PolySpace provides you unparalleled savings, faster time-to-market and more reliable software.