Unité d'enseignement M40 :

« Fiabilité des Systèmes Informatiques »

contenu mis à jour le 2007/10/08 14:31

Description

Crédits : 3

Lieu :  U.F.R. Sciences de Luminy (U2)

Pré-requis : M36

Semestre :  S3

Cours/TD : 24h/12h

Code APOGEE (U2) : C5AIN40

Responsables :

Résumé : Ce cours porte sur quelques techniques utilisées pour concevoir des programmes fiables, c'est-à-dire des programmes qui répondent à leurs spécifications. Il s'appuie sur le modèle des Critères Communs de Sécurité qui spécifie des critères d'évaluation pour les programmes. Il aborde, en illustrant par des exemples, chacune des parties de ce modèle et présente des méthodes pour valider des programmes à l'aide de tests ou de techniques plus mathématiques.

Plan :

Ressources pédagogiques fournies : polycopiés du cours, feuilles d'exercices, cassettes vidéo.

Site Web  : http://www.dil.univ-mrs.fr/~jakubiec/

Apparaît dans les parcours