Sommaire
cours / présentation
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème 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...
Date de création :
18.01.2012Auteur(s) :
Alain GIRAULT, Bertrand JEANNET
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation
Niveau : formation continue
Durée d'exécution : 57 minutes 20 secondes
Contenu : vidéo
Document : video/mp4
Poids : 214.84 Mo
Droits d'auteur : 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
Résumé
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.
"Domaine(s)" et indice(s) Dewey
- Programs (005.3)
Domaine(s)
- Programmation : Algorithmique, langages, conception objet, programmes
- Informatique
- Informatique
Intervenants, édition et diffusion
Intervenants
Fournisseur(s) de contenus : INRIA (Institut national de recherche en informatique et automatique), Académie de Grenoble, MANHATTAN STUDIO PRODUCTIONS M.S.P.
Diffusion
Cette ressource vous est proposée par :
Document(s) annexe(s)
- Cette ressource fait partie de
Fiche technique
Identifiant de la fiche : 8737
Identifiant OAI-PMH : oai:canal-u.fr:8737
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : Canal-U
Voir aussi
18.01.2012
Description
:
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 ...
- algorithmique
- treillis de Galois
- preuve de programme
- analyse de programme
- sémantique programmation
- génie logiciel
05.02.2009
Description
:
Pour programmer un ordinateur, le plus important ce sont les méthodes mises en œuvre. Découvrez les ingrédients à combiner pour créer ces algorithmes !
- algorithme
- programme
- séquence d'instructions
- boucle
- condition
- variable
- fonction
- langage de programmation
- erreur
- preuve de programme
- indécidabilité algorithmique
- syntaxe d'un programme
- sémantique d'un programme
- fuscia