دانلود رایگان مقاله انگلیسی مرور اجمالی نرم افزار Numalis برای محاسبات عددی قابل اعتماد - IEEE 2017

Abstract

Numerical algorithms are used in many areas but they rely on approximate computations due to the finite precision computer arithmetic. As critical systems perform more and more calculations, needs for verification and validation techniques and for assisted development increase, the computer arithmetics being particularly not intuitive. It is then necessary to provide tools to the programmers, to help them to validate and increase the numerical quality of their codes and, broadly, to develop more fastly more reliable numerical codes. In this article, we give a description of the main problems concerning numerical accuracy encountered in industry at the software engineering level and we give an overview of the solutions proposed by the software suite developed by the Numalis Company. This suite contains tools for verification and validation by static and dynamic analysis as well as assisted development tools. The latter tools optimize programs in order to make them compute more accurate results and they also infer the least formats, in terms of bit size, in order to fulfill accuracy requirements.

V. CONCLUSION

In this article we have given an overview of the problems encountered at software engineering level concerning the development of numerical codes, specially for critical systems, as well as a description of academic solutions and of Numalis solutions. Numalis software suite has been used in several industries, mainly in defense and space industries. Our Software Suite is still under development. Improving the precision of the static and dynamic analysis is an endless problem. We also plan to add the support of other programming languages (Lustre, Fortran, etc.) Program optimizations may still be improved in many ways. The support of fixed-point arithmetic and of parallel programs are important objectives. In particular, concerning parallel programs, transformations ensuring the reproductibility of the results would be of great interest. For all these development, Numalis team pay much attention to the latest research results in the domain and to research collaborations.