Static Analysis of Digital Filters

Abstract : We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that they can handle given classes of digital filters. To deal with a new kind of filters, we only have to design a class of symbolic properties that describes the invariants throughout filter iterations, and to describe how these properties are transformed by filter iterations. Then, the analysis allows both inference and proofs of the properties about the program variables that are tied to any such filter. It is worth noting that, in many cases, no linear invariant could have captured the properties that we obtain.
Type de document :
Communication dans un congrès
Schmidt, D.A. the 13th European Symposium on Programming - ESOP 2004, Mar 2004, Barcelona, Spain. Springer, 2986, pp.33-48, 2004, Lecture Notes in Computer Science. 〈10.1007/978-3-540-24725-8_4〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00528447
Contributeur : Jérôme Feret <>
Soumis le : jeudi 21 octobre 2010 - 17:10:08
Dernière modification le : mardi 24 avril 2018 - 17:20:10

Lien texte intégral

Identifiants

Collections

Citation

Jérôme Feret. Static Analysis of Digital Filters. Schmidt, D.A. the 13th European Symposium on Programming - ESOP 2004, Mar 2004, Barcelona, Spain. Springer, 2986, pp.33-48, 2004, Lecture Notes in Computer Science. 〈10.1007/978-3-540-24725-8_4〉. 〈inria-00528447〉

Partager

Métriques

Consultations de la notice

49