Pedagogical document : Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Nous présentons les systèmes embarqués critiques et les exigences
qui leur sont liées : dans certains cas (nucléaire, avionique,
santé) aucun bug n'est accepté. Puis nous présentons l'analyse
statique, que nous illustrons sur un exemple de programme. Nous
montrons que pour analyser des variables num...
Keyword(s) :
lecture - Creation date : 18-01-2012
Présentation de: Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Informations pratiques sur cette ressource
French
Pedagogical type : lecture
Pedagogical context : continuous education
Duration : 59 minutes 3 seconds
Contenu : moving image
Document : video/mp4
Size : 218.27 Mb
Rights : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
Description de la ressource pédagogique
Description (summary)
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un programme et de démontrer des propriétés essentielles pour garantir l'absence de bug.
Dewey "domain(s)" and id(s)
- Programs (005.3)
Themes
Intervenants, édition et diffusion
Intervenants
Content provider(s) : INRIA (Institut national de recherche en informatique et automatique), Académie de Grenoble, MANHATTAN STUDIO PRODUCTIONS M.S.P.
Diffusion
-
Canal-u.fr
Voir toutes les ressources pédagogiques
AUTEUR(S)
-
Alain GIRAULT
-
Bertrand JEANNET
EN SAVOIR PLUS
-
Notice identifier
8735 -
Identifier
oai:canal-u.fr:8735 -
Metadata schema
- LOMv1.0
- LOMFRv1.0
- Descriptive sheet in XML version
-
Repository
Canal-u.fr