De nombreux déplacements

3DV WUqV ORLQ GH Oj GHX[ FKHUFKHXUV G¶XQ laboratoire de mathématiques appliquées à Grenoble (« L abo2 ª V¶DWWHOOHQW j XQH WkFKH VLPLODLUH TXRLTX¶j SUHPLqUH YXH ELHQ PRLQV ludique TXH OD SUpSDUDWLRQ G¶XQH FRXUVH GH YRLWXUHV URERWV  FUpHU XQ ODQJDJH GH programmation que des ingénieurs automaticiens pourraient utiliser dans le développement G¶DSSOLFDWLRQV FULWLTXHV &H ODQJDJH YRLW ELHQW{t le jour sous le nom de C ristal. Comme Rocher, Cristal est un langage synchrone ± et bénéficie donc de la meilleure fiabilité que SHUPHWO¶K\SRWKqVHV\QFKURQH'HPrPHOHVGHX[ODQJDJHVVRQW formelsF¶HVW-à-GLUHTX¶LOV reposent sur une sémantique mathématique, ce qui permet la génération automatique de code j SDUWLU G¶XQ PRGqOH IRUPHO TXL HVW correct par construction (ce qui supprime la nécessité de toute une série de tests). Rocher et Cristal ont cependant quelques différences, notamment en ce qui concerne les types de données auxquelles ils sont adaptés : des événements discrets, pour le premier, et des flots semi-continus de données, pour le second78. Les différences entre Rocher et Cristal se creusent au fur et à mesure que les langages circulent, suivant les déplacements des chercheurs impliqués dans leur développement. En 1986, une société (« E ntreprise1 ª HPEDXFKH GHX[ DQFLHQV GRFWRUDQWV GH O¶pTXLSH &ULVWDO qui utilisent des concepts de ce langage pour créer un outil avec lequel est développé un V\VWqPHGHVXUYHLOODQFHHWG¶DUUrWG¶XUJHQFHSRXUGHVFHQWUDOHVQXFOpDLUHV7URLVDQVSOXVWDUG un autre ancien doctorant GH O¶pTXLSH &ULVWDO HVW embauché par une spin-RII GH O¶,15,$ (« Spin-off1 »), pour réaliser une étude de marché sur le potentiel commercial G¶XQWHORXWLO Au courVGHVRQpWXGHLOFRQVWDWHTX¶XQFRQVWUXFWHXUG¶DYLRQV« E ntreprise2 ») a développé un outil similaire pour réaliser les commandes de vol par ordinateur G¶XQDYLRQ. /¶LGpHQDvW donc de créer un produit commercial sur la base de ces deux outils. Pour cela, un laboratoire commun à Labo2 et à Spin-off1 (« L abo3 »)HVWFUppHQ&¶HVWOjTXHVHWURXYHVLWXpHOD réalisation du « transfert » de la science vers le marché  O¶KLVWRLUH UDFRQWH TXH &ULVWDO HVW « transféré avec suFFqVjO¶LQGXVWULH » en 1993.

Un deuxième transfert suit  OH UpVXOWDW GH O¶LQWpJUDWLRQ GH FHV GHX[ RXWLOV QRPPp Surcod, revient chez Entreprise2 :

78 _{Je me focalise ici sur Rocher et &ULVWDOPDLVLOIDXWQRWHUTX¶XQWURLVLqPHODQJDJHV\QFKURQHDSSHOp0Hssage,}

« >/¶pTXLSH GH /DER@ montre que [Surcod], F¶HVW OD PrPH FKRVH SRXU OHV LQJpQLHXUV >G¶(QWUHSULVH@que [l¶RXWLO TX¶LOV XWLOLVDLHQW DXSDUDYDQW@ PDLV TXH F¶HVW EHDXFRXS SOXV VLPSOH TXH F¶HVW EHDXFRXS SOXV ULJRXUHX[ HWF (W FRPPH [Entreprise2] a un énorme problème ± F¶HVW TX¶LO IDXWcertifier OHV SURJUDPPHV G¶DYLRQLTXH, SDUWLU G¶XQH EDVH SOXV VLPSOH F¶HVW WRXMRXUV PLHX[ SDUFH TX¶LO \ D PRLQV GH FKRVHV j H[SOLTXHU « (W GRQF

O¶pTXLSH[de Spin-off1] UpXVVLW O¶H[SORLW SRXU WRXW GLUH >GH IDLUH HQ VRUWH@ TX¶Entreprise2 adopte [Surcod] « &¶HVW GHV FRPPDQGHV GH YRO FH Q¶HVW SDV WRXW j IDLW ULHQ 'DQV XQ

[avion] il y a pas de pilote, le pilote il a un joystick en plastique ; F¶HVWFHTX¶LO\DGHUULqUHOH

joystick en plastiqueSOXVGHVWDVG¶DXWUHVFKRVHV»

Surcod est commercialisé par Spin-RIIMXVTX¶DXUDFKDWHQGHFHWWHVRFLpWpSDU une entreprise suédoise de télécommunications (« E ntreprise3 ªTXLO¶LQWqJUHGDQVVDOLJQH de produits, pour le revendre, deux ans plus tard, lorsque la crise des télécommunications la frappe de plein fouet. Avant de revenir sur cette vente ± qui est le moment où les histoires des deux langages synchrones et de Rocher Technologies se croiseront de manière définitive - faisons un bref retour un peu plus au sud et quelques années auparavant.

A Sophia-Antipolis, Rocher poursuit son développement. Un premier compilateur (Rocher V2QDvWGHODFROODERUDWLRQHQWUHO¶pTXLSHGHUHFKHUFKHHWune autre société qui opère dans le secteur aéronautique (« E ntreprise4 ») et qui, comme le raconte Michel, a la vertu de « >SRVHU@ GHV SUREOqPHV G¶XQ RUGUH GH JUDQGHXU SOXV GXU TXH FHX[ TXe [l¶pTXLSH GH recherche se pose] spontanément ». Entreprise4 « implémente » le langage Rocher dans de plusieurs projets (par exemple, pour la spécification de la logique de contrôle du train G¶DWWHUULVVDJHG¶XQDYLRQTXLDOLPHQWHQWGHQRXYHOOHVTXHVWLRQVHW guident ainsi la suite des développements :

³These large-scale programs, provided in [Rocher]¶V HDUO\ GD\V were instrumental in identifying new issues for further research, to which the engineers [of Entreprise4] often brought their own preliminary solutions. Here [is a story that illustrates] the pioneering role of this company on [Rocher] «. Some of the examples [that Entreprise4 gave] did exhibit legitimate combinational loops when parts were assembled. Compiling the full program therefore required constructive causality analysis. This was strong motivation for tackling the causality issue seriously from the start; it was not a purely theoretical question easily sidestepped. «.´

Une nouvelle génération de compilateurs (Rocher V3) ± « énormément plus efficace que la précédente » - voit le jour à la fin des années 1980. 6XLYDQW O¶LQWpUrW FURLVVDQW GH TXHOTXHV FOLHQWV SLORWHV XQH WHQWDWLYH G¶« industrialisation » est menée en 1988 en collaboration avec E ntreprise4, un autre grand groupe opérant dans le secteur de la défense (« E ntreprise5 ») HW XQHVRFLpWpG¶LQJpQLHULH« E ntreprise6 »), qui sera remplacée par une autre spin-RIIGHO¶,15,$ (« Spin-off2 »). Quel est son résultat ?

« UQHHVSqFHG¶échecSDUFHTXHOHSURGXLWQ¶pWDLWSDVHQFRUHDVVH]PDWXre. »

$ORUV TXH OH FRQVRUWLXP V¶DWWHOOH j O¶LQGXVWULDOLVDWLRQ GH 5RFKHU 9 O¶pTXLSH GH recherche menée par Michel poursuivit ses travaux, en mettant Rocher « au contact de gens différents »  GHV FKHUFKHXUV G¶XQH DXWUH VRFLpWp (« Entreprise7 »). Si ces nouveaux partenaires sont « différents »F¶HVWSDUFHTX¶LOVIRQWGX« hardware » - car « le hardware et le software ça ne se cause pas du tout ». De là résulte, en 1992, Rocher V4 :

« [Rocher] 9F¶pWDLWOHQWHWoDIDLVDLWGHVFRGHVREMHWVTXLSRXvaient exSORVHU«HQWDLOOH

[Rocher] 9F¶pWDLWUDSLGHPDLVoDIaisait exactement la même chose. [Rocher] 9F¶pWDLW

encore plus rapide et ça faisait des codes géniaux et petits. »

Ce nouvel arrivé finit par décourager Spin-off2, qui se trouve aux prises avec O¶LQGXVWULDOLVDWLRQ GX ODQJDJH 5RFKHU PDLV GDQV VD YHUVLRQ  (OOH « passe le bébé » à une autre spin-RII GH O¶,15,$ « Spin-off3 »). Alors que Spin-RII V¶DIIDLUH j VRQ WRXU j OD commercialisation de Rocher, Michel et son équipe continuent à travailler avec leurs nouveaux partenaires du monde du « hardware » :

« Pendant ce temps-OjPRLMHFRQWLQXHjGpYHORSSHUPDWHFKQRUHFKHUFKH«DYHFG¶DXWUHV

boîtes tout à fait différentes. [Entreprise7] étant morte, MHWUDYDLOOHDYHF«[ Entreprise8]. Et on a des résultats extrêmement intéressants avec un labo de recherche [G¶Entreprise8] « 2QDPpOLRUHpQRUPpPHQWWRXWoDHWRQIDEULTXHXQODQJDJHTXLV¶DSSHOOH[Rocher] V7 «, capable de faire et du logiciel et du matériel. »

&¶HVWFHWWHQRXYHOOHHWVHSWLqPHYHUVLRQGXODQJDJH5RFKHUTXLSDVVHUDO¶pSUHXYHGH O¶LQGXVWULDOLVDWLRQ $YDQW GH YRLU FRPPHQW UpVXPRQV OHV SDUFRXUV GHV GHX[ ODQJDJHV V\QFKURQHVTXHM¶DLVXLYLVLFL/HODQJDJH&ULVWDOVHYRLWFRPELQHU± au fil des déplacements G¶DQFLHQVPHPEUHVGHO¶équipe de recherche qui lui a donné naissance - à deux outils que des utilisateurs ont « bricolé » pour leur usage interne. Il est « transféré avec succès à

O¶LQGXVWULe » dès le début des années 1990 : commercialisé par Spin-off1 et utilisé par un client cRPPH (QWUHSULVH 4XDQW j 5RFKHU DX OLHX GH VH FRQWHQWHU GH O¶LQWpUrW TXH OXL témoignent ses premiers utilisateurs (notamment Entreprise4 et Entreprise5), ce langage continue à circuler, en traversant les frontières sectorielles, et à se transformer, au gré des rencontres : Rocher V3, qui semblait prêt à être « industrialisé », devient V4 (avec Entreprise7), puis V7 (avec Entreprise8). Son transfert est tenté dès la fin des années 1980, mais semble être un échec : les sociétés en charge de son « industrialisation » - Spin-off2, puis Spin-off3 - se « passent le bébé » /H WUDQVIHUW QH VH UpDOLVHUD SOHLQHPHQW TX¶HQ  avec la création de la société Rocher Technologies par son dirigeant actuel, Yann.