Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2411.14372 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913582788116480 |
|---|---|
| author | Boussu, Grégoire Kosmatov, Nikolai Védrine, Franck |
| author_facet | Boussu, Grégoire Kosmatov, Nikolai Védrine, Franck |
| contents | Lack of numerical precision in control software -- in particular, related to trajectory computation -- can lead to incorrect results with costly or even catastrophic consequences. Various tools have been proposed to analyze the precision of program computations. This paper presents a case study on numerical analysis of an industrial implementation of the fast marching algorithm, a popular path computation algorithm frequently used for trajectory computation. We briefly describe the selected tools, present the applied methodology, highlight some attention points, summarize the results and outline future work directions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_14372 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Case Study on Numerical Analysis of a Path Computation Algorithm Boussu, Grégoire Kosmatov, Nikolai Védrine, Franck Software Engineering G.1.0; F.3.2 Lack of numerical precision in control software -- in particular, related to trajectory computation -- can lead to incorrect results with costly or even catastrophic consequences. Various tools have been proposed to analyze the precision of program computations. This paper presents a case study on numerical analysis of an industrial implementation of the fast marching algorithm, a popular path computation algorithm frequently used for trajectory computation. We briefly describe the selected tools, present the applied methodology, highlight some attention points, summarize the results and outline future work directions. |
| title | A Case Study on Numerical Analysis of a Path Computation Algorithm |
| topic | Software Engineering G.1.0; F.3.2 |
| url | https://arxiv.org/abs/2411.14372 |