Ressource en auto-formation : 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...
cours / présentation - Création : 18-01-2012
Par : Alain GIRAULT, Bertrand JEANNET
Partagez !

Présentation de: Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation
Niveau : formation continue
Durée d'exécution : 59 minutes 3 secondes
Contenu : vidéo
Document : video/mp4
Poids : 218.27 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)

Description de la ressource en auto-formation

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)

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

Document(s) annexe(s) - Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie

Partagez !

AUTEUR(S)

  • Alain GIRAULT
  • Bertrand JEANNET

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
Canal-U - accédez au site internet
Sur les réseaux sociaux :

EN SAVOIR PLUS

  • Identifiant de la fiche
    8735
  • Identifiant OAI-PMH
    oai:canal-u.fr:8735
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-U

Ressources en auto-formation sur les mêmes thèmes

Présentation de la ressource en auto-formation Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie cours / présentation
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Auteur(s) : GIRAULT Alain, JEANNET Bertrand
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 ...
Présentation de la ressource en auto-formation Les ingrédients des algorithmes cours / présentation, démonstration
21/04/2010
Les ingrédients des algorithmes
Auteur(s) : Dowek Gilles, Viéville Thierry, Archambault Jean-Pierre, Baccelli Emmanuel, Wack Benjamin
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 !