Construction rigoureuse des logiciels(2)

Code UE : NFP210

  • Cours + travaux pratiques
  • 6 crédits

Responsable national

Pierre COURTIEU

Responsable opérationnel

Pierre COURTIEU

Public et conditions d'accès

Prérequis: avoir suivi ou suivre conjointement
- Spécification et Modélisation Informatiques (SMI) (code NFP 108) et
- Construction rigoureuse des Logiciels 21CRL1) (code NFP 209)
Public concerné : Informaticiens désireux d' acquérir une pratique dans le domaine des Logiciels Sûrs. Étudiants visant le diplôme d'ingénieur Cnam option IQL ou le Master STIC MOCS parcours Logiciels Sûrs.

Objectifs pédagogiques

L'objectif de cet enseignement est d'aborder différents outils et techniques de validation de logiciel en faisant suite au contenu présenté dans la valeur "Construction rigoureuse des Logiciels 1"(CRL1) (code NFP 209).

Compétences visées

Connaissance aprofondie d'un des domaines d'applications liés à la sureté logicielle. Mise en pratique de ces connaissances.

Contenu

Techniques et outils abordés (en NF209 et/ou 210):
1. Outil d'analyse statique (Spark)
2. Model Checking
3. Techniques de validation par le test,
4. Sûreté de fonctionnement, exemples de normes de certification de logiciel.

Bibliographie

  • P. Courtieu : Support de cours.
  • C. Morgan. : Programming from specifications . Prentice Hall
  • http://www.inf.ethz.ch/~jbook/ : Java and the Java Virtual Machine - Definition, Verification, Validation
  • E. Chailloux, P. Manoury, B. Pagano : Développement d'applications Développement d'applications en Objective Caml}, O'Reilly, 2000
  • J.F. Monin : Comprendre les méthodes formelles T.S.T Masson 1996
  • P. Gochet, P. Gribomont : Logique, Méthodes pour l'informatique fondamentale, t.1-2} Logique, Méthodes pour l'informatique fondamentale, Hermes, 90-91.
  • A.Aho, R. Sethi, J.D. Ullman, : Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez

Contact

EPN05 - Informatique
2 rue Conté 33.1.13A
75003 Paris
Tel :01 40 27 26 81
Safia Sider

Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation

Enseignement non encore programmé