Méthode B, tests et composants
------------------------------


Le sujet de ce stage se situe dans le domaine de la certification d'un
processus de développement par composants. Le contexte de la
certification visée est celui de l'industrie aéronautique où la
certification des applications logicielles est soumise au respect de
campagnes de tests strictement règlementées (normes DO 178 B/C). Le
but de l’étude est de définir des méthodes de composition de
composants déjà certifiés afin d’obtenir un composé sachant hériter
des tests déjà acquis ; ce qui allègera la campagne de tests pour le
composé. Le moyen pour obtenir cela est de s’appuyer sur la méthode B
de développement par raffinements à partir d’une spécification des
attendus fonctionnels de l’application. Les tests étant un élément de
spécification, on cherchera à intégrer à la méthode par raffinement la
composition des tests en parallèle à la composition des composants.

L’étude proposée dans ce stage s’inscrit dans la continuation d’un
travail réalisé (stage M2-STL/2010) intitulé "Etude du modèle B-event
dans le cadre du développement d’un système de composants certifiés"

Enfin, ce stage s’inscrit dans la thématique du projet ANR CERCLES2
impliquant les sociétés SAGEM/SAFRAN, CLEARSY, les laboratoires LIP6
et PPS (voir http://www.algo-prog.info/cercles/web/)


Eléments bibliographiques:

The Grand Challenge of Trusted Components, in ICSE '03: Proceedings of
25th International Conference on Software Engineering, Portland,
Oregon, May 2003, IEEE Computer Society Press, 2003, pages 660-667.

J.-R. Abrial, «The B Book: assigning programs to meanings», 
Cambridge University Press ISBN 0521−496195, 1996.

J.-R. Abrial and L. Mussat, «Introducing Dynamic Constraints in B»,
in B'98: Recent Advances in the Development and Use of the B Method, 
LNCS vol. 1393, pp. 83-128, 1998.

DO 178B/C http://en.wikipedia.org/wiki/DO-178C