Abstract FR:

Le prototypage des systemes d'information se limite frequemment a certaines phases du cycle de developpement, le plus souvent a la definition des besoins, et parfois a la conception. Le prototypage se situe generalement soit au niveau des modeles executables, soit au niveau du code cible ; de ce fait les prototypes sont homogenes. Les approches incrementales ameliorent les problemes precites, mais une etape d'implementation manuelle compromet la coherence formelle du modele du systeme. Dans les approches transformationnelles, la coherence est preservee au detriment de l'etape de conception qui, quoique creative et informelle, permet cependant l'optimisation du prototype. La generation du code cible a partir des modeles semi-formels resout le probleme des performances, au prix d'une perte de formalisation. Je propose une approche federatrice basee sur le prthf (prototypage reparti totalement heterogene et formel) selon un cycle de developpement continu. Notre methodologie electrique et multi-formalismes se base sur un processus d'analyse et prototypage qui permet de generer l'image code cible des modeles de specification/conception. Un formalisme central du type reseaux de petri aide a valider formellement le modele semi-formel formalise, et de le transformer ensuite en code cible. Nous gerons convenablement l'environnement de facon a garantir une validation modulaire et homogene du systeme, depuis sa specification a son implementation. Grace a notre outil, il est possible d'executer un prthf, et de completer ainsi la verification formelle par la validation comportementale. Notre contribution renforce les convergences technique et operationnelle. Non seulement le prthf permanent du systeme implique l'integration precoce et continue, mais il renforce aussi la validation precoce et continue. D'autre part, le prthf augmente la participation de l'utilisateur final, et minimise ainsi l'effet tunnel. Par ailleurs, le prthf favorise la gestion du risque, ainsi que le developpement parallele et reparti