MathWorks Newsroom

The MathWorks PolySpace Products Deliver Enhanced Checking Support For JSF++ Rules

Improvements address customer demand for more complete static code analysis

PolySpace JSF++
The selection of JSF++ rules can be configured graphically with the PolySpace Client for C/C++ and the PolySpace Server for C/C++ code verification.

The MathWorks today announced that its PolySpace Client for C/C++ and PolySpace Server for C/C++ code verification products now support all checkable JSF++ rules for the Joint Strike Fighter (JSF) Air Vehicle program, providing extensive and complete JSF++ rule checking capability.

The PolySpace JSF++ checker helps engineers comply with the Joint Strike Fighter Air Vehicle C++ coding standards (JSF++). These standards, developed by Lockheed Martin for the JSF program, are designed to improve the robustness and maintainability of C++ code. The checker enables PolySpace software to generate messages when code does not comply with checkable JSF++ rules, including those related to overflow/underflow analysis, unreachable code identification, dereferencing null pointers, and initialization.   

In addition to updated JSF++ checking capabilities, the checker provides engineers with the ability to integrate PolySpace as an Eclipse plug-in that will help software engineering teams working within the Eclipse-based integrated development environment (IDE).  It can also be used with multicore computers to speed up the completion of the code verification process.

“The latest release of PolySpace tools will help engineers spend less time reviewing, debugging, and testing code and more time designing and developing next-generation aircrafts,” said Jon Friedman, aerospace defense industry marketing manager at The MathWorks. “This capability adds to our ongoing commitment to provide engineers with tools that will improve the design process, reduce errors, and help lessen the costs of high-integrity aerospace systems.”

About MathWorks

MathWorks is the leading developer of mathematical computing software. MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design for multidomain dynamic and embedded systems. Engineers and scientists worldwide rely on these product families to accelerate the pace of discovery, innovation, and development in automotive, aerospace, electronics, financial services, biotech-pharmaceutical, and other industries. MathWorks products are also fundamental teaching and research tools in the world's universities and learning institutions. Founded in 1984, MathWorks employs more than 2,000 people in 15 countries, with headquarters in Natick, Massachusetts, USA. For additional information, visit

MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.