Range Estimation of Floating-Point Variables in Simulink Models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Range Estimation of Floating-Point Variables in Simulink Models

Résumé

The transformation of floating-point programs into fixed-point equivalent programs is a challenge because the behaviors of these arithmetics are different. Generally, this transformation is facilitated thanks to a two steps analysis of the design. The first step consists in inferring the range of values for each variables. The second step is the analysis of the precision of the computations taking into account the rounding-errors. In our talk, we will present a new statistical method for inferring dynamic range of floating-point variables in Simulink models. Our approach is based on the extreme value theory. Experimental results will also be presented.
Fichier non déposé

Dates et versions

hal-01298874 , version 1 (06-04-2016)

Identifiants

  • HAL Id : hal-01298874 , version 1

Citer

Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers. Range Estimation of Floating-Point Variables in Simulink Models. Second International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States. ⟨hal-01298874⟩
38 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More