NUMALIS: optimizing all types of computer programs digitally

NUMALIS provides software solutions and unique expertise for validating and optimizing all types of computer programs digitally

CONTEXT
Digital calculation is an omnipresent factor in numerous industry sectors. When performing digital calculations, computer programs use a standardized representation of real, floating point numbers.

Floating point arithmetic necessarily introduces approximations with respect to real values, whether starting from the beginning of a given calculation, or by an accumulation of rounding errors as calculation progresses.

In some cases, accumulated errors may distort program results or behavior significantly. For example, in the 1990s, several industrial catastrophes were caused by this type of error. Even though the constantly increasing size of formats used by processors to represent numbers seeks to overcome these errors, the only viable solution is still to ensure that programs are written correctly. Numalis offers a tool that detects calculation errors and suggests program corrections.

BENEFITS
• Analyze rounding errors in programs automatically

• Optimize programs to improve calculation accuracy

• Ensure program reliability, accuracy, and performance

• Offer the best possible compromise between performance and accuracy

APPLICATIONS
• Embedded computing for aeronautics, aerospace, and defense applications

• Investment and financial banks

• Geophysical simulation (in particular geophysics)