Section: Dissemination

Promoting Scientific Activities

Member of the Organizing Committees

• H. Garavel is a member of the model board (http://mcc.lip6.fr/models.php) of MCC (Model Checking Contest). In 2018, he helped preparing new models (especially those in the NUPN format) and verified, using the CÆSAR.BDD tool of CADP, the forms describing all benchmark models submitted by the contest participants; this revealed a number of inconsistencies. The results of MCC'2018 have been published online [51].

• Together with Peter Höfner (Data61, CSIRO, Sydney, Australia), H. Garavel set up a model repository (hosted on the Gforge of Inria) to collect and archive formal models of real systems; this infrastructure is used by the series of MARS workshops (http://www.mars-workshop.org/). This repository currently contains 21 models, one of which (a Transport Layer Security protocol) was deposited in 2018 by CONVECS.

• G. Salaün is member of the steering committee of the ACM SAC-SVT (Symposium of Applied Computing – Software Verification and Testing Track) conference series since 2018.

• G. Salaün is member of the steering committee of the SEFM (International Conference on Software Engineering and Formal Methods) conference series since 2014.

• G. Salaün is member of the steering committee of the FOCLASA (International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems) workshop series since 2011.

Scientific Events Selection

Chair of Conference Program Committees

• G. Salaün was co-chair of ACM SAC-SOAP'2018 (33rd ACM Symposium of Applied Computing – Service-Oriented Architectures and Programming Track), Pau, France, April 9–13, 2018.

• G. Salaün was workshops co-chair at STAF'2018 (Software Technologies: Applications and Foundations), Toulouse, France, June 25-29, 2018.

• W. Serwe was co-chair of MARS'2018 (3rd Workshop on Models for Formal Analysis of Real Systems) affiliated with ETAPS'2018 (European Joint Conferences on Theory and Practice of Software), Thessaloniki, Greece, April 20, 2018.

Member of the Conference Program Committees

• H. Garavel was program committee member of FVPS'2018 (International Workshop on Formal Verification of Physical Systems), Hagenberg, Austria, August 17, 2018.

• F. Lang was program committee member of SPIN'2018 (25th International SPIN Symposium on Model Checking of Software), Málaga, Spain, June 20–22, 2018.

• R. Mateescu was program committee member of ICTSS'2018 (30th IFIP International Conference on Testing Software and Systems), Cádiz, Spain, October 1–3, 2018.

• R. Mateescu was program committee member of FMICS'2018 (23rd International Conference on Formal Methods for Industrial Critical Systems), Maynooth, Ireland, September 3–4, 2018.

• G. Salaün was program committee member of CAL'2018 (11ème Conférence francophone sur les Architectures Logicielles), Grenoble, France, June 14–15, 2018.

• G. Salaün was program committee member of COMPSAC'2018 (IEEE International Conference on Computers, Software, and Applications), Tokyo, Japan, July 23–27, 2018.

• G. Salaün was program committee member of DATAMOD'2018 (7th International Symposium “From Data to Models and Back”), Toulouse, France, June 25–26, 2018.

• G. Salaün was program committee member of FACS'2018 (15th International Conference on Formal Aspects of Component Software), Pohang, Korea, October 10–12, 2018.

• G. Salaün was program committee member of FOCLASA'2018 (16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems), Toulouse, France, June 26, 2018.

• G. Salaün was program committee member of HPCS-4PAD'2018 (5th International Symposium on Formal Approaches to Parallel and Distributed Systems), Orléans, France, July 16–20, 2018.

• G. Salaün was program committee member of SEFM'2018 (16th International Conference on Software Engineering and Formal Methods), Toulouse, France, June 27–29, 2018.

• G. Salaün was program committee member of SAC-SVT'2018 (33rd ACM Symposium on Applied Computing - Software Verification and Testing Track), Pau, France, April 9–13, 2018.

Reviewer

• G. Barbon was a reviewer for COMPSAC'2018, DATAMOD'2018, and SEFM'2018.

• F. Lang was a reviewer for FoSSaCS'2018 (21st International Conference on Foundations of Software Science and Computation Structures).

• A. Muroor Nadumane was a reviewer for COMPSAC'2018, FACS'2018, FOCLASA'2018, SAC-SVT'2018, and SEFM'2018.

• U. Ozeer was a reviewer for COMPSAC'2018.

• R. Mateescu and W. Serwe were reviewers for the Festschrift in honor of Bernhard Steffen.

Journal

Member of the Editorial Boards

• H. Garavel is an editorial board member of STTT (Springer International Journal on Software Tools for Technology Transfer).

Reviewer - Reviewing Activities

• F. Lang was a reviewer for FAoC (Formal Aspects of Computing) and ToCL (ACM Transactions on Computational Logic).

• R. Mateescu was a reviewer for STTT, ToCL, and TOR (IEEE Transactions on Reliability).

• A. Muroor Nadumane was a reviewer for STTT.

• G. Salaün was a reviewer for FAoC, JCC (Journal of Computer and Communications), JLAMP (Journal of Logical and Algebraic Methods in Programming), SCP (Science of Computer Programming), TSE (IEEE Transactions on Software Engineering), TSI (Technique et Science Informatiques).

Software Dissemination and Internet Visibility

The CONVECS project-team distributes several software tools, among which the CADP toolbox.

In 2018, the main facts are the following:

• We prepared and distributed twelve successive versions (2018-a to 2018-l) of CADP.

• We were requested to grant CADP licenses for 381 different computers in the world.

The CONVECS Web site (http://convecs.inria.fr) was updated with scientific contents, announcements, publications, etc.

By the end of December 2018, the CADP forum (http://cadp.inria.fr/forum.html), opened in 2007 for discussions regarding the CADP toolbox, had over 426 registered users and over 1847 messages had been exchanged.

Also, for the 2018 edition of the Model Checking Contest, 4 families of models generated using CADP (totalling 101 Nested-Unit Petri Nets) were provided.

We contributed to Wikipedia as follows:

• We created a new page about the Message Authenticator Algorithm (https://en.wikipedia.org/wiki/Message_Authenticator_Algorithm)

• We added the three last paragraphs of the section about constructing integer numbers (https://en.wikipedia.org/wiki/Integer#Construction)

Other research teams took advantage of the software components provided by CADP (e.g., the BCG and OPEN/CAESAR environments) to build their own research software. We can mention the following developments:

• The RichTest Tool for Message-Passing Concurrent Programs  [33]

• The REFINER Tool for Verifying Behavioural Model-to-Model Transformations  [63]

• The ALVIS Tool for Modelling and Verification of Real-Time Systems  [60]

• The COSTO Tool for Component-Based Software  [30]

• The IDCM Tool for Analyzing UML Architectures  [52]

• The OCARINA Tool and its Extension AADL2LNT for Analysing AADL Descriptions  [58]

• The aZiZa Tool for Heterogeneous Behavioural Models  [31]

• The Papyrus-RT Tool for Model-driven Engineering with UML-RT  [62]

• Formal Analysis of Distributed Reactive Applications  [35], [34]

Other teams also used the CADP toolbox for various case studies:

• Formal Modelling and Verification of an Automatic Train Supervision System  [56], [57]

• Verification of Highly-Optimized Concurrent Data Structures  [61]

• Detection of Data Breaches in Banking Transaction Processes  [54]

• Verification of Visibility-Based Properties on Multiple Moving Robots  [59]

• Experimental Analysis of Compositional State Space Generation Strategies  [64]

• Product-Line for Families of Program Translators  [32]

Invited Talks

• H. Garavel participated in the workshop “Safety of Future Systems: Science meets Industry” organized by the Lorentz Center (Leiden, The Netherlands) on April 9–13, 2018. He gave a lecture entitled “Concurrency Theory Meets IoT”.

• H. Garavel gave an invited talk entitled “Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition” at WRLA'2018 (12th International Workshop on Rewriting Logic and its Applications), Thessaloniki, Greece, April 14–15, 2018.

• L. Marsso gave a talk and presented a poster entitled “Automated Test Generation for GALS Systems” on March 8, 2018 at the 2nd year PhD LIG Day.

• L. Marsso gave a talk entitled “Generation with CADP of Relevant Scenarios for Testing Autonomous Cars” at the seminar of the group TransForm (Méthodes formelles pour les systèmes de transport) held in Villeneuve d'Ascq on November 22, 2018.

• L. Marsso gave a talk entitled “Automated Test Generation for GALS Systems” at the Scientific day of ARC 6 held in Lyon on November 29, 2018.

• R. Mateescu participated to the Kobe-Grenoble workshop organized by UGA in Grenoble on February 26–27, 2018. He gave a talk entitled “Rigorous Design of PLC Networks using Formal Methods” on February 26.

• A. Muroor Nadumane gave a talk entitled “Building Reliable IoT Application and Beyond” at the Inria-Nokia Bell Labs meeting held in Paris on November 27, 2018.

• U. Ozeer gave a talk and presented a poster entitled “Autonomous Resilience of Distributed IoT Applications in a Fog Environment” on March 8, 2018 at the 2nd year PhD LIG Day.

• U. Ozeer gave a talk entitled “Autonomous Resilience of Distributed IoT Applications in a Fog Environment” at the seminar on IoT research projects held at Orange Labs, Meylan, on March 29–30, 2018.

• U. Ozeer presented a poster entitled “Autonomous Resilience of Distributed IoT Applications in a Fog Environment” at the LIG seminar “Regards sur le futur de l'informatique” held in Grenoble on April 6, 2018.

• U. Ozeer gave a talk entitled “Resilience of Distributed IoT Applications in a Dynamic Fog Environment” at the IO Labs seminar held in Paris on October 30–31, 2018.

• G. Salaün gave a keynote talk entitled “Safe Composition of Software Services” at DATAMOD'2018, Toulouse, France, on June 26, 2018.

Research Administration

• H. Garavel was appointed to the Executive Commission in charge of International Relations at COMUE Université Grenoble Alpes.

• F. Lang is chair of the “Commission du développement technologique”, which is in charge of selecting R&D projects for Inria Grenoble – Rhône-Alpes.

• R. Mateescu is the scientific correspondent of the European and International Partnerships for Inria Grenoble – Rhône-Alpes.

• R. Mateescu is a member of the Comité d'orientation scientifique for Inria Grenoble – Rhône-Alpes.

• R. Mateescu is a member of the “Bureau” of the LIG laboratory.

• G. Salaün is a member of the Scientific Committee of the PCS (Pervasive Computing Systems) action of the PERSYVAL Labex.

• W. Serwe is (together with Laurent Lefèvre from the AVALON Inria project-team) correspondent in charge of the 2017 Inria activity reports at Inria Grenoble – Rhône-Alpes.

• W. Serwe is a member of the “Comité de Centre” at Inria Grenoble – Rhone-Alpes.

• W. Serwe is “chargé de mission” for the scientific axis Formal Methods, Models, and Languages of the LIG laboratory.