Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators

Résumé

Most of safety-critical embedded software, such as y-by-wire control programs, performs a lot of oating-point computations. High level specications are expressed in a formal model edited manually in SCADE through a graphical interface. It generally handles numerical variables and constants as if they were ideal real numbers. This work, for the purpose of numerical accuracy analysis, presents a new version of an Automatic Code Generator (ACG). This tool transforms high-level models into C codes and performs static computations by using multiple-precision arithmetic. This article describes a successful way of controlling computation accuracy of numerical constants in an Automatic Code Generator. An accuracy analysis on numerical constant values is presented in a case study.
Fichier principal
Vignette du fichier
paper_96.pdf (342.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01292294 , version 1 (22-03-2016)

Identifiants

  • HAL Id : hal-01292294 , version 1

Citer

Alexis Werey, David Delmas, Matthieu Martel. Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01292294⟩
143 Consultations
82 Téléchargements

Partager

Gmail Facebook X LinkedIn More