Informatique et TIC

	Logiciels surs et construction rigoureuse des logiciels (1)	Maj le 23/09/2011
	NFP209 - 6 Ects

Logiciels surs et construction rigoureuse des logiciels (1) : Formation continue soir et samedi et ou à distance,

A Rennes, Brest, Saint-Brieuc, Vannes, Lannion et sur toute la Bretagne

Tout en travaillant, développez et validez vos compétences en logiciels surs et en construction rigoureuse de logiciels avec un socle théorique (sémantique des langages de programmation, logique de hoare,...) et des techniques et outils (verification de ByteCode Java, Verification d'assertion à la Hoare, Frama-C, Conception par raffinement et méthode B,...)

Pré-requis :

Public :
 

Informaticiens désireux d'aquérir une formation dans le domaine des Logiciels Surs.

Prerequis :
 

Bonne connaissance d'un langage de programmation. Il est conseillé d'avoir suivi ou d'avoir le niveau de l'Unité d'enseignement NFP108 Spécification et Modélisation Informatiques

Objectifs :

Dans de nombreuses applications comme les télécommunications, les transports terrestre et aérien, le nucléaire, les banques, les soins médicaux etc, un logiciel défectueux peut conduire à des défaillances aux conséquences irréversibles, voire dramatiques.

En dehors de ces domaines critiques, l'essor d'internet, la généralisation de l'utilisation d'un langage comme JAVA permettant la mobilité du code, accroit et généralise le besoin de sécurité et par là même la nécessité de la vérification. D'où la profusion actuelle de projets et d'outils tant industriels qu'universitaires autour de la vérification de code ou de machines virtuelles JAVA.

De nombreuses entreprises travaillant sur ces sujets nous ont fait part de leurs difficultés à recruter des ingénieurs ayant une formation adaptée. C'est pour répondre aux besoins exprimés par ces entreprises, que nous avons mis en place, en collaboration avec elles, un enseignement dans ce domaine.

Cette unité d'enseignement fait partie de cette formation car elle fournit les techniques de description et d'analyse utilisées dans les méthodes visant à accroitre la robustesse, la sureté et la performance des langages et des logiciels.
 

Cette unité d'enseignement constitue la deuxième partie de la formation (suite en NFP209)

Compétences visées :

Maitrise de la signification et du comportement des langages.
 

Capacité d'analyse et de raisonnement sur ces objets.

Culture de base sur les principales techniques et outils employés industriellement pour la validation de logiciels.
 

	Contenu de la formation

Socle théorique abordé:

Sémantique des langages de programmation, logique de hoare.

Techniques et outils abordés :

Verification de ByteCode Java, Verification d'assertion à la Hoare (Frama-C)

Conception par raffinement et méthode B
 

	Programmation

	Sur l'année (oct. à juin)		1er semestre (oct. à jan.)		2ème semestre (fev. à juin)

	Tarifs et inscription

Tarifs (hors droit de base, en savoir +) :

Modalité	Tarif inscription employeur (1)	Tarif inscription individuelle (2)
	700 €	160 €

(1) Pour vous aider à faire prendre en charge vos coûts de formation, contactez un conseiller du Cnam (En savoir +)

(2) Il s'agit d'un tarif officiel subventionné par le Conseil régional de Bretagne qui ne s’applique qu'aux adultes en démarche individuelle de formation.

Document non contractuel