Main contracts

• ACHAR "Active-inference of Complex models using Homing sequences And Registers
  LIG EMERGENCE project, 2023-2024
  Partners: University of Sheffield (UK), University of São Paulo (Brazil)
  Description: The goal of this project is to design methods and algorithms for inferring Extended Finite State Machines (EFSM).


• C-NA-EMERGENCE 6-BOARD-AI-HILI-2023, 2023
  Partners: LIG / M-PSI and ONERA DTIS/IRIT Toulouse
  Description: Development of a smart assistant to collaborative sketch models in computer science and software engineering using symbolic artificial intelligence and natural sketching on large multi-touch monitors.


• C-NA-EMERGENCE 1-xOWL-IDANI-2022, 2022
  Partners: LIMICS / INSERM
  Description: The project is about domain ontologies and health-care applications. Among its objectives, the xOWL project proposes to revisit, via Meeduse, the two kinds of embeddings of B within the OWL language: shallow embedding and deep embedding. In a shallow embedding, the ontology is directly translated into B without keeping trace of its semantics, and in a deep embedding, the ontology together with its underlying semantic domain are mapped to a formal B model. The contribution of Meeduse is the usage of B in order to rigorously define the transformation rules, prove their correctness and execute them as well to produce the expected formal models.


• ALBUS, IDEX-AAP-IRGA, 2021-2022
  Partners: LIG
  Description: The main goal of ALBUS is to infer the execution semantics of eXecutable DSLs. During the ALBUS project, we designed a a modelling assistant to assist domain experts in the definition of the execution semantics of DSLs. It includes an inference engine to incrementally infer the execution semantics of a DSL through micro-steps. It takes as input a small set of examples initially provided by the domain experts, then, it attempts to approximate the correction specification of the execution semantics. Once an approximate solution is found, the inference engine generates new examples and counter-examples that are subject to validation by the domain experts so as to improve the confidence into the inferred solution or to infer it.
  


• C-NA-EMERGENCE 3 Projet : iPEERS, 2021
  Partners: Pending collaborations with Queen's University, ETS, and the Luxembourg Institute of Science and Technology (LIST)
  Description: Development of a Models@Runtime lightweight architecture for micro-controllers and a semantic-aware code generator to generate code on target embedded systems


• C-NA-EMERGENCE 6 Projet : DomoSur, 2021
  Partners: APTIKAL / LIG
  Description: This project applies the strengths of Meeduse to smart-home scenarios. It studies two research directions: DSL refinements, and Models@Runtime.


• PHILAE "From Model-Based Testing to Cognitive Test Automation"
  ANR, 2018-2022
  Partners: Université Bourgogne Franche-Comté, Orange Labs Service, Smartesting, Simula Labs (Norway), University of the Sunshine Coast (Australia)
  Description: The goal of the project is to automate the production of models in a Model-Based Testing approach by exploiting traces of the system and building models using model inference.


• MODMED "MODel and verify MEDical Cyber-Physical Systems with execution Trace Properties"
  ANR, 2015-2019
  Partners: MinMaxMedical, Blue Ortho
  Description: This project designs a language and tools to produce traces of medical devices, and then specify and evaluate properties on these traces. LIG defined the ParTraP language to express these properties, and several tools to support this language.


• SCUSI, 2018-2019-2020, UGA
  Partners: University of Kobe (Japan)
  Description: The general objective of this project is to deepen the existing relations between Université de Grenoble-Alpes and Kobe University, in order to cross-fertilize and enrich the reflexion and the results for designing and validating Cyber-Physical Systems (CPS), that are able to automatically adapt themselves to their context.


• KYOUKAN, 2020-2021, UGA-Région
  Partners: Tsukuba University - Department of Computer Sciences
  Description: The goal of the Kyoukan project (Empathy in Japanese) is to explore ways to improve the ability of AI systems to understand and react to human feedback information. This project has three focuses. (1) Obtain Human feedback information from several sources; (2) Analyse these multi-modal data together; (3) Design AI systems that are reactive to this multi-modal human feedback data. Kyoukan project aims at increasing the collaboration among 5 research teams of these groups in both universities to achieve new ways to integrate human emotional data and Artificially intelligent systems.


• ACCESS2020, 2019-2020, IDEX RSC-INP
  Partners: Hexagone, Atelier Arts-Sciences
  Description: Extending the EXPERIMENTA european Biennale that links arts and sciences, for better outreach with students from Grenoble INP and UGA and research groups.


• C-NA-EMERGENCE 9-IDANI-2020, 2020
  Partners: SIGMA / LIG
  Description: Integration of UML, SecureUML and BPMN using B4MSecure and Meeduse


• C-NA-2019-EMERGENCE 9 IDANI, 2019
  Partners: SIGMA / LIG
  Description: Formal modeling of BPMN


• SACADE: "Scénarios d’Attaque Contre Automates avec Distribution et Encapsulation"
  ANR/ASTRID, 2016-2019
  Partners: GIPSA-lab and Vérimag (two Grenoble laboratories)
  Description: The goal of the project is to propose a methodology to detect vulnerabilities and attacks against a SCADA system. It adopts a Model-Based Testing approach where a model of the target architecture is exploited. The project involves two teams of the LIG: Drakkar and VASCO.


• NeXTRegio, "ERTMS Régional: Méthodologie innovante pour la spécification de l'ERTMS Régional sous contrainte de sécurité"
  Institut de Recherche Technologique (IRT) Railenium, 2016-2019
  Partners: IRT Railenium
  Description: This project aims at performing a system level analysis of a railway signalling system. It is supported by the B4MSecure tool which makes a separation of concerns between a physical model where accidents may happen, and permissions which rule the behaviour of agents and prevent accidents.


• ARAMIS "Architecture Robuste pour les Automates et Matériels des Infrastructures Sensibles"
  PIA "Technologie coeur de filière: Sécurité numérique", 2014-2017
  Partners: ATOS Worldgrid, CEA Leti, Seclab, UGA (4 laboratories: LIG with 3 teams (Drakkar, MOAIS, VASCO), Institut Fourier, LJK, Verimag)
  Description: This project developed a industrial prototype providing a secure communication channel for insdustrial protocols such as SCADA, including filtering mechanisms.


• InS3PECT "Ingénierie Système de Services Sécurisés Pour ObjEts ConnecTés"
  CNRS PEPS, 2017
  Partners: Nice University, LabSTICC
  Description: Security for IoT.


• Safe PICS "Intelligent d’accord, mais aussi sûr et sécurisé"
  CNRS, 2015-2017
  Partners: Kobe University
  Description: Validation of smart systems, i.e. which learn from their environment.


• ARC 6, 2016, UGA
  Partners: 42 laboratories in the Auvergne-Rhône-Alpes region
  Description: Academic Research Community, ``Technologies de l'Information et de la Communication et Usages Informatiques Innovants''. This project correspond to the scientific responsibility for regional research networks in the fields of ICT. Budget was dedicated to support scientific animations organized by the network.
  


• SPACIOS
  EC FP7/STREP (Europe), 2010-2014
  Partners: U. di Verona (lead), U. di Genova, ETH Zürich, IeAT, T.U. München, SAP, Siemens
  Description: Methods and tools to detect vulnerabilities in deployable services over the Internet.


• Diamonds
  Eureka/ITEA2 (Europe), 2010-2013
  Partners: Fraunhofer FOKUS (lead). 22 partners in 6 countries.
  Description: Techniques and tools for security testing in industry.


• IO32
  FUI/Minalogic (France), 2010-2013
  Partners: AIM, EASii IC, STMicrolectronics, Trilogie
  Description: Instrumentation and tools for micro-controlers.


• CIFRE Thesis
  Contract with Vupen (France), 2010-2013
  Description: Smart fuzzing for x86 binary code.


• SELKIS
  ANR/ARPEGE, 2008-2012
  Partners: MEDECOM, SWID, CHU Brest, IFREMMONT, CEDRIC/CNAM, LACL (lead), Télécom Bretagne
  Description: Model-Driven Engineering approach for the analysis and design of Secure Information Systems, with focus on medical information systems.


• TASCCC
  ANR/ARPEGE, 2009-2012
  Partners: Gemalto, Trusted Labs, Smartesting, Serma Technologies, LIFC (lead), Supélec
  Description: Automated testing based on scenarios and Common Criteria.


• SIESTA
  ANR/RNTL, 2008-2011
  Partners: Airbus France, Astrium Space Transportation, Hispano-Suiza, Turbomeca, Esterel Technologies, CEA-LIST, LCIS, LIG (lead), LRI, ONERA
  Description: Automation for test of embedded systems in SCADE and SIMULINK.


• IPOTEST
  Université Joseph Fourier/pôle MSTIC, 2008-2009
  Partners: ADELE and VASCO teams of LIG
  Description: Test of home automation systems based on a service oriented architecture.


• Vulcain
  Université Joseph Fourier/pôle MSTIC, 2009-2010
  Partners: Verimag
  Description: Automated techniques for detection of security vulnerabilities in a “classical” environment.


• ARC6 and ISLE Rhône-Alpes region, 2009-2010
  Partners: 42 laboratories in the Rhône-Alpes region
  Description: These projects correspond to the scientific responsibility for regional research networks in the fields of ICT.