Toward Static Analysis of SIGNAL Programs using Interval Techniques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Toward Static Analysis of SIGNAL Programs using Interval Techniques

Résumé

This paper presents a work-in-progress aiming at improving the functional analysis of Signal programs. The usual adopted technique relies on abstractions. Typically, in order to check the presence or absence of variables in a program at some logical instants, the program is transformed into another program that reflects its clock information so that the presence or absence of each variable can be straightforwardly checked. Signal adopts a boolean abstraction for the static functional analysis of programs. This abstraction does not enable to fully reason on the values of non logical variables. Here, we propose a solution based on interval techniques in order to be able to deal with both logical and numerical parts of programs.
Fichier principal
Vignette du fichier
slap06_interv.pdf (227.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00544123 , version 1 (07-12-2010)

Identifiants

  • HAL Id : hal-00544123 , version 1

Citer

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Toward Static Analysis of SIGNAL Programs using Interval Techniques. Synchronous Languages, Applications, and Programming (SLAP 2006), Mar 2006, Vienna, Austria. pp.SLAP 2006. ⟨hal-00544123⟩
554 Consultations
112 Téléchargements

Partager

Gmail Facebook X LinkedIn More