Autor : ALexandre Chapoutot (CEA - LIX)

Titre: "Analyse statique de programmes Simulink"

Résumé:
"L'utilisation des outils de développement basés sur le principe de la conception par modèles (model-based design), 
en particulier dans le domaine des systèmes embarqués, est de plus en plus importante. Nous présentons dans cet 
exposé une analyse statique par interprétation abstraite de programmes Matlab/Simulink, logiciel prépondérant sur 
le marché des outils de conception par modèles. L'objectif de cette analyse est de valider les comportements des 
systèmes embarqués, influencés par les différentes approximations que sont l'échantillonnage temporel et la 
quantification des données."