Je me souviens de l'INRETS

Je viens de recevoir un message me disant "Tu as le bonjour de Philippe Bon". Puis un autre me donnant l'adresse de courriel. Je ne savais pas que l'INRETS était maintenant dans une université. Et comme pour aller de Bordeaux à Clermont, pardon, à Lyon ! il faut passer par Paris, normal que cette université soit à Paris. Ben dame ! comme on dit à Nantes, Ben couillon ! comme on dit à Poitiers, Boudu con comme on dit à Toulouse.

Evident ! on traite de transports !  

Ah oui, bien sûr! l'INRETS 

Pengfei Sun, Philippe Bon, Simon Collart-Dutilleul. A Joint Development of Coloured Petri Nets and
the B Method in Critical Systems. Journal of Universal Computer Science, 2015, 21 (12), pp.1654-
1683.hal-01266935 

 https://fr.wikipedia.org/wiki/Institut_national_de_recherche_sur_les_transports_et_leur_s%C3%A9curit%C3%A9

"L’Institut national de recherche sur les transports et leur sécurité (INRETS), créé par le décret no 85-984 du [1], était un établissement public à caractère scientifique et technologique placé sous la double tutelle du ministère de l’Écologie, du Développement et de l’Aménagement durables et du ministère chargé de la recherche. Il est issu de la fusion de l'Institut de recherche des transports (IRT)[2],[3] et de l’Organisme national de sécurité routière (ONSER). Au , l'INRETS et le Laboratoire central des ponts et chaussées ont fusionné pour donner naissance à l'Institut français des sciences et technologies des transports, de l'aménagement et des réseaux (IFSTTAR), ce dernier ayant intégré l'Université Gustave-Eiffel au . 

Le projet ETAS concernant l’évaluation des systèmes de transport automatisés et de leur sécurité, en particulier dans le domaine ferroviaire et des métros." 

Lecteurs nombreux et assidus de ce blog (merci au service de com du blog !) vous y avez déjà lu :

"J'ai conservé les échanges sur le B Forum piloté par l'INRETS forum B de 2004 à 2008. Voici les noms des participants dont j'ai conservé les messages :  Michael Leuschel (HH Univ. Dusseldorf, Samuel Colin (Loria), Simão Melo de Sousa (Universidade da Beira Interior), Guy Vidal-Naquet (Supelec), Georges Mariano (INRETS), Marc Guyomard (Enssatt, Lannion), Steve Dunne (Univ. Teesside), Dominique Cansell (Loria), Daniel Zingaro (McMaster Univ.), Ken Robinson (UNSW Australia), Ib Holm Sorensen (BB-Core), Elisabeth Ball (Cse Sotton), Jeremy L. Jacob (Univ. York), Yann Zimmermann (Keesda), " 

Dans ma mémoire à "long terme" j'ai même "20, Rue Elisée Reclus, BP 317, F-59666 Villeneuve d’ASCQ"

et des noms comme : El Miloudi El Koursi, Jean-Louis Boulanger, Georges Mariano

Jean‐louis Boulanger, Ammar Aljer, Georges Mariano. Formal Methods Applied to Complex Systems. Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series), 1, Wiley, 2014 

 Jean--Louis Boulanger, Ammar Aljer, Georges Mariano. Formalization of digital circuits using the B method. CompRail VIII, Eighth International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems, 2002.  

Comments

Post a Comment

Popular posts from this blog

Ce que je dois à Jean-Raymond Abrial

Image
 Quand ai-je découvert Jean-Raymond Abrial ?  Peut-être bien que c'est quand j'ai fait acheter les actes de la conférence de Cargèse et que j'ai lu son article Data Semantics . Ou est-ce lors de la lecture des publications de la DER-IMA d'EDF (située à Clamart) ? Ce qui est sûr c'est que j'ai découvert Z dans le Meyer Baudoin, Méthodes de Programmation chez Eyrolles, puis dans le Delobel Adiba, Bases de données chez Dunod. Quand j'ai débuté en "informatique de gestion" (en I.U.T "Informatique") je trouvais que ce que je lisais était bien peu "scientifique". "Information" "donnée" "rubrique" etc.  Pour "donnée" j'ai appris les théorèmes de Jean-Louis Rigal qui était prof à l'Université Dauphine. Facile : Th1, "Une donnée n'est pas donnée" car c'est le résultat d'une abstraction, Th 2. "Une donnée n'est pas donnée" car une fois donnée, ce n'est...
Read more

Jean-Raymond Abrial (1938, 2025)

Image
  Jean-Raymond Abrial (1938, 2025) Jean-Raymond Abrial est décédé les 26 mai 2025 la vieille de la conférence qui a eu lieu dans le cadre des Journées Scientifiques de l'université de Nantes et qui traitait de ses travaux et de leur mise en oeuvre dans différentes domaines.J.-R Abrial est né en 1938 à Versailles. Après des études au Prytanée militaire de la Flèche, il fera l'Ecole Polytechnique. En 1960 il sera ingénieur du génie maritime. Il sera boursier du gouvernement français à Stanford University puis au Centre de Programmation de la Marine où il travaillera sur une version du langage LTR (Langage Temps Réel). C'est là que Gérard Le Lann, qui a fait partie de l'équipe ayant conçu Internet, l'a connu. J.-R Abrial est pour lui "l'un des plus grands informaticiens français ! Peu enclin à épouser les « modes » qui agitent plus ou moins régulièrement les communautés scientifiques. Liberté de penser, de créer, et liberté d'essaimer !".A Grenoble, d...
Read more

On B, Jean-Raymond Abrial

 Cet article date du temps où Jean-Raymond Abrial habitait rue des plantes à Paris. Digilog était deveni Steria, mais pas encore Clearsy. Donc d'avant 2001. On B Jean-Raymond Abrial Consultant, 26, rue des Plantes, 75014, Paris. abrial@steria.fr In  the B-Book [Abr96], an introduction entitled “What is B ?” presents it in a few pages. There is no point in reproducing this introduction here. There is, however, clearly a need to have in this book a sort of informal presentation of B complementing that of the B-Book for those readers who are not familiar with this approach. This is the purpose of this short text, where the emphasis will be put on the question of the development process with B. At the end of the text, I will also cover some more general problems concerning B (tool, education, research, future). B is o “Debugger”. The aim of B is very practical. Its ambition is to provide to industr...
Read more