Projects

International initiatives

International initiative GEMOC

The GEMOC initiative (cf. http://www.gemoc.org) is an open and international initiative launched in 2013 that coordinate research partners worldwide to develop breakthrough software language engineering (SLE) approaches that support global software engineering through the use of multiple domain-specific languages. GEMOC members aim to provide effective SLE solutions to problems associated with the design and implementation of collaborative, interoperable and composable modeling languages.
The GEMOC initiative aims to provide a framework that facilitates collaborative work on the challenges of using of multiple domain-specific languages in software development projects. The framework consists of mechanisms for coordinating the work of members, and for disseminating research results and other
related information on GEMOC activities. The framework also provides the required infrastructure for sharing artifacts produced by members, including publications, case studies, and tools.
The governance of the GEMOC initiative is ensured by the Advisory Board. The role of the Advisory Board is to coordinate the GEMOC work and to ensure proper dissemination of work products and information about GEMOC events (e.g., meetings, workshops).
Benoit Combemale is the co-founder and currently acts as principal coordinator of the GEMOC initiative. Benoit Combemale and Jean-Marc Jézéquel are part of the Advisory Board, and 9 DIVERSE members are part of the GEMOC initiative.

Inria International Chair

Prof. Robert B. France (Colorado State University, USA, http://www.cs.colostate.edu/~france/) was granted by an Inria international chair for the period 2013-2017. Prof. France collaborate intensively with many members of DIVERSE on various joint work, e.g., the Familiar project and the GEMOC initiative. The Inria International Chair allows Prof. France to visit once a year the team along the period.

CNRS PICS MBSAR

  • Program: CNRS PICS
  • Title: Model-Based Security Analysis at Runtime (MBSAR)
  • Inria principal investigator: Benoit Combemale
  • International Partner (Institution – Laboratory – Researcher): Colorado State University (USA) – Software Assurance Lab – Robert B. France
  • Duration: Jan 2013 – Dec 2015
  • See also: http://gemoc.org/mbsar/
  • MBSAR develop model-based techniques for runtime analysis and enforcement of security policies in adaptive software systems.

Visits of International Scientists

  • Prof. Jörg Kienzle from McGill University (Canada) has been in the DIVERSE team during his Sabbatical from September 2015 to December 2015.
  • Prof. Betty H.C. Cheng from Michigan State University (USA) visited the DIVERSE team in December 2015.
  • Dr. Franck Fleurey from Sintef visited the DIVERSE team two weeks the team in July and November 2015
  • Prof. Barrett Bryant visited the TRISKELL team in April 2012

Informal International Partners

  • Université de Montréal (Canada)
  • Université du Québec à Montréal, UQAM, Montréal (Canada)
  • McGill University (Canada)
  • University of Alabama (USA)
  • TU Wien (Austria)
  • Michigan State University (MSU)
  • Aachen University (Germany)
  • Federal University of Parana (Brazil)

European initiatives

FP7 FET STREP DIVERSIFY

  • Coordinator: Inria (DIVERSE)
  • Partners: SINTEF, Université de Rennes 1, Trinity College Dublin, Inria (DiverSE, SPIRALS)
  • Dates: 2013-2016
  • Abstract: DIVERSIFY explores diversity as the foundation for a novel software design principle and increased adaptive capacities in CASs. Higher levels of diversity in the system provide a pool of software solutions that can eventually be used to adapt to unforeseen situations at design time. The scientific development of DIVERSIFY is based on a strong analogy with ecological systems, biodiversity, and evolutionary ecology. DIVERSIFY brings together researchers from the domains of software-intensive distributed systems and ecology in order to translate ecological concepts and processes into software design principles.

FP7 STREP HEADS

  • Coordinator: SINTEF
  • Other partners: Inria, Software AG, ATC, Tellu, eZmonitoring
  • Dates: 2013-2016
  • Abstract: The idea of the HEADS project is to leverage model-driven software engineering and generative programming techniques to provide a new integrated software engineering approach which allow advanced exploitation the full range of diversity and specificity of the future computing continuum. The goal is to empower the software and services industry to better take advantage of the opportunities of the future computing continuum and to effectively provide new innovative services that are seamlessly integrated to the physical world making them more pervasive, more robust, more reactive and closer (physically, socially, emotionally, etc.) to their users. We denote such services HD-services. HD-services (Heterogeneous and Distributed services) characterize the class of services or applications within the Future Internet whose logic and value emerges from a set of communicating software components distributed on a heterogeneous computing continuum from clouds to mobile devices, sensors and/or smart-objects.

FP7 NoE NESSoS

  • Coordinator: CNR – Consiglio Nazionale delle Ricerche (Italy)
  • Others partners: ATOS (Spain), ETH (Switzerland), Katholieke Universiteit Leuven (Belgium), Ludwig-Maximilians-Universitaet Muenchen (Germany), IMDEA (Spain), Inria (France), University of Duisburg-Essen (Germany), University of Malaga (Spain), University of Trento (Italy), SIEMENS (Germany), SINTEF (Norway)
  • Dates: 2010-2014
  • Abstract: The Network of Excellence on Engineering Secure Future Internet Software Services and Systems (NESSoS) aims at constituting and integrating a long lasting research community on engineering secure software-based services and systems. In light of the unique security requirements the Future Internet will expose, new results will be achieved by means of an integrated research, as to improve the necessary assurance level and to address risk and cost during the software development cycle in order to prioritize and manage investments. NESSoS will also impact training and education activities in Europe to grow a new generation of skilled researchers and practitioners in the area. NESSoS will collaborate with industrial stakeholders to improve the industry best practices and support a rapid growth of software-based service systems in the Future Internet. Three Inria EPIs are involved in NeSSoS: ARLES, CASSIS and Triskell. Triskell leads the research workpackage on design and architecture for secured future internet applications.

FP7 Marie-Curie Relate

  • Coordinator: Karlsruhe Institute of Technology
  • Other partners: Université de Rennes, IRISA (France); King’s College (UK); South East European Research Center, SEERC (Greece); Charles University (Czech Republic); CAS Software (Germany); Singular Logic (Greece)
  • Dates: 2011-2015
  • Abstract: The RELATE Initial Training Network aims to establish a network of international academic and industrial partners for a joint research training effort in the area of engineering and provisioning service-based cloud applications. The training is intended to not only shape high-level academic researchers, but also educate next generation experts and innovators in the European software industry. Through an integrative and multidisciplinary research approach, RELATE aims to promote the advancement of the state of the art in the related areas of model-driven engineering and formal methods, service-based mash-ups and application integration, security, performance, and trust in service-based cloud applications, and quality management and business model innovation.

ICT COST Action MPM4CPS (IC1404)

  • Chair of the Action: Prof Hans Vangheluwe (BE)
  • Dates: 2014-2018
  • Abstract: Truly complex, designed systems, known as Cyber Physical Systems (CPS), are emerging that integrate physical, software, and network aspects. To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. Multi-paradigm Modelling (MPM) proposes to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). Modelling languages’ engineering, including model transformation, and the study of their semantics, are used to realize MPM. MPM is seen as an effective answer to the challenges of designing CPS. This COST Action promotes the sharing of foundations, techniques and tools, and provide educational resources, to both academia and industry. This is achieved by bringing together and disseminating knowledge and experiments on CPS problems and MPM solutions. Benoit Combemale is a member of the management committee.

ITEA MERGE

  • Coordinator: Thales Research and Technology
  • Other partners: Thales Global Services, Thales Communications and Security, OBEO, ALL4TEC, Onera, Inria, Université Paris VI, Codenomicon, STUK – Radiation and Nuclear Safety Authority, POHTOnSense Oy, University of Oulu, University of Jyvaskyla, Space Applications Services NV, Melexis, E2S, Katholieke Universiteit Leuven
  • Dates: 2012-2015
  • Abstract: MERgE stands for “Multi-Concerns Interactions System Engineering”. Within the “Engineering support” theme of ITEA2 roadmap, the purpose of this project is to develop and demonstrate innovative concepts and design tools addressing in combination the “Safety” and “Security” concerns, targeting the elaboration of effective architectural solutions. MERgE will provide tools and solutions for combining safety and security concerns in systems development in a holistic way. It will provide academically solid and practice proven solutions and models for system developers and system owners to tackle the challenges of designing seamless optimal cost effective safe and secure solutions conformant to the model driven engineering paradigm. This will be done by tightly integrating the following paradigms: requirement engineering, safety, security and risk management in an over-all design process which is supported by adequate tools and methods. MERgE aims to bring a system engineering solution for Combined Safe & Secure system design. The main technical innovation of the project is the application of state of the art design tools tailorisation capabilities and “multi concern engineering” core technologies to the issue of interactions of “Safety” and “Security” concerns as well as other concerns like “Performance” or “Timing” in the design process.

Collaborations with Major European Organizations

  • SINTEF, ICT (Norway): Model-driven systems development for the construction of distributed, heterogeneous applications. We collaborate since 2008 and are currently in two FP7 projects together.
  • Université du Luxembourg, (Luxembourg): Models@runtime for dynamic adaptation and multi-objective elasticity in cloud management; model-driven development.
  • Open University (UK): models@runtime for the Internet of Things

National initiatives

ANR Gemoc

  • Coordinator: Inria (DIVERSE)
  • Other partners: ENSTA Bretagne, Inria, IRIT, I3S, Obeo, Thales
  • Dates: 2012-2016
  • Abstract: GEMOC focuses on a generic framework for heterogeneous software model execution and dynamic analysis. This work has the ambition to propose an innovative environment for the design of complex software-intensive systems by providing: a formal framework that integrates state-of-the-art in model-driven engineering (MDE) to build domain-specific modeling languages (DSMLs), and models of computation (MoC) to reason over the composition of heterogeneous concerns; an open-source design and modeling environment associated to a well-defined method for the definition of DSMLs, MoCs and rigorous composition of all concerns for execution and analysis purposes. This requires addressing two major scientific issues: the design and verification of a formal framework to combine several different DSMLs relying on distinct MoCs; the design and validation of a methodology for DSMLs and MoC development. GEMOC aims at participating in the development of next generation MDE environments through a rigorous, tool-supported process for the definition of executable DSMLs and the simulation of heterogeneous models.

ANR INFRA-JVM

  • Coordinator: Université Paris 6
  • Other partners: Université Bordeaux 1, Université Rennes 1 (DIVERSE), Ecole des Mines de Nantes
  • Dates: 2012-2015
  • Abstract: INFRA-JVM is an ANR project whose goal is to design and provide a new Java Virtual Machine dedicated to pervasive environments. This project focuses on designing a Java Virtual Machine for embedded computing platform offering dynamic reconfiguration capabilities. In this context, DIVERSE addresses the problem of efficiently identifying faulty software components running simultaneously in a virtual machine without isolation. Current solutions that perform permanent and extensive monitoring to detect anomalies induce very high overhead on the system, and can, by themselves, make the system unstable. Our main objective is to investigate an optimistic adaptive monitoring system using models@runtime to determine the faulty components of an application.

ANR SOPRANO

  • Coordinator: CEA
  • CEA, University of Paris-Sud, Inria Rennes, OcamlPro, Adacore
  • Dates: 2014-2017
  • Abstract: Today most major verification approaches rely on automatic external solvers. However these solvers do not fill the current and future needs for verification: lack of satisfying model generation, lack of reasoning on difficult theories (e.g. floating-point arithmetic), lack of extensibility for specific or new needs. The SOPRANO project aims at solving these problems and prepare the next generation of verification-oriented solvers by gathering experts from academia and industry. We will design a new framework for the cooperation of solvers, focused on model generation and borrowing principles from SMT (current standard) and CP (well-known in optimisation). These ideas will be implemented in an open-source platform, with regular evaluations from the industrial partners.

BGLE CONNEXION

  • Coordinator: EDF
  • Other partners: Atos WorldGrid, Rolls-Royce Civil Nuclear, Corys TESS, Esterel Technologies, All4Tec, Predict, CEA, Inria, CNRS / CRAN, ENS Cachan, LIG, Telecom ParisTech
  • Dates: 2012-2016
  • Abstract: The cluster CONNEXION (digital command CONntrol for Nuclear EXport and renovatION) aims to propose and validate an innovative architecture platforms suitable control systems for nuclear power plants in France and abroad. In this project the Triskell team investigates methods and tools to (i) automatically analyze and compare regulatory requirements evolutions and geographical differences; (ii) automatically generate test cases for critical interactive systems.

BGLE CLARITY

  • Coordinator: Obéo
  • Other partners: AIRBUS, Airbus Defence and Space, All4tec, ALTRAN Technologies, AREVA, Artal, C.E.S.A.M.E.S., Eclipse Foundation Europe, Inria Sophia Antipolis Méditerranée, PRFC, Scilab Enterprises, Thales Global Services, Thales Alenia Space, Thales Research & Technology, Thales Systèmes Aéroportés, Université de Rennes 1
  • Dates: 2014-2017
  • Abstract: The CLARITY project aims to establish an international dimension ecosystem around Melody/Capella modeling workbench for systems engineering (MBSE) and engineering architectures (system, software, hardware).

BGLE Occiware

  • Coordinator: Open Wide
  • Open Wide, ActiveEon SA, CSRT – Cloud Systèmes Réseaux et Télécoms, Institut Mines-Télécom/Télécom SudParis, Inria, Linagora, Obeo, OW2 Consortium, Pôle Numérique, Université Joseph Fourier
  • Dates: 2014-2017
  • Abstract: The Occiware project aims to establish a formal and equipped framework for the management of all cloud resource based on the OCCI standard.

DGA MOTIV

  • Coordinator: InPixal
  • Other partners: Bertin, DGA, Inria
  • Dates: 2012-2014
  • Abstract: This project investigates innovative software test generation and management solutions to handle the very high degrees of variability in video processing algorithmic chains. The objective is to provide systematic criteria to qualify the testing activity when developing video processing software and to tailor these criteria to the variability dimensions that emerge in the context of visible images.

DGA FPML

  • Coordinator: DGA
  • Partners: DGA MI, Inria
  • Dates: 2014-2016
  • Abstract: in the context of this project, DGA-MI and the Inria team DiverSE explore the existing approaches to ease the development of formal specifications of domain-Specific Languages (DSLs) dedicated to paquet filtering, while guaranteeing expressiveness, precision and safety. In the long term, this work is part of the trend to provide to DGA-MI and its partners a tooling to design and develop formal DSLs which ease the use while ensuring a high level of reasoning.

Bilateral Contracts and Grants with Industry

April

This work is performed in collaboration with APRIL Technologies. This company develops all the IT solutions for APRIL group (http://groupe.april.fr/simple-curieux) and their clients in the insurance business. They have a very large information system that they specialize for all the divisions of the group. A critical need for them is to ensure that changes in their applications (new features, bug repair, etc.) do not degrade functional correctness and performance. Software testing techniques and tools have greatly improved over the last decade and it is now possible for software developers to write test cases that are automatically executed. Consequently, each time the program evolves, it is rebuild and re-tested automatically, which supports the detection of errors early in the process and prevents the propagation of the bug into the production code. However, the test cases are manually written and are thus usually weak when it comes at finding bugs that are deep in the code or in nested loops for example. The main challenge of this work is automatically generate new test cases that increase the effectiveness of regression testing. In this project we aim at automatically generating new test cases from the ones that have been manually produced by the developers, in order to add value in the continuous integration process and improve the quality of software that goes in production. The process of automatically producing new test cases from existing ones is called test amplification. We can experiment our recent results about test transformations on APRIL Technologies’s set of test cases very early in the project. This project supports one postdoc in the DiverSE team and is funded by Inria’s transfer and industrial partnership department.

Partnership with Thales

Dates: 2011-2014
This partnership with Thales Research and Technology explores variability management both in modeling and metamodeling (i.e., design and implementation of software languages). At the model level, this collaboration is a direct follow-up of the MOVIDA and the MUTATION projects, in which we explore the challenges related to software product line and multi-view engineering for the different development phases of systems of systems construction. At the metamodeling level, we investigate how the notions of variability modeling and management can serve the rigorous definition of families of modeling languages, which address the different interpretations of UML needed to model the different viewpoints in the systems engineering. The project enrolls 4 faculty members and 2 PhD students from the Triskell team. This year, we keep working on the CVL usage in the Thales context.

Cifre Grants

  • Kereval (2010-2013). In this project we investigate the selection and reuse of test cases for software product lines in the automotive domain. In this context, Benoit Baudry acts as Ph.D advisor for Aymeric Hervieu. Arnaud Gotlieb from the Celtique EPI acts as a co-advisor for the PhD, as well as Olivier Philippot from Kereval.

  • EDF (2010-2013). In this project aims at investigating the application of metamodeling and model-driven engineering for modeling and analyzing requirement documents of control-command systems. The purpose of this modeling activity is to improve the global understanding of dependencies between requirements and their context and to use this knowledge for impact analysis in case of evolution. In this context, Benoit Baudry acts as Ph.D advisor for Nicolas Sannier.

  • Sodifrance (2010-2013). In this project we investigate the support (capitalization, definition, execution, and adaptation) of software processes in the context of model driven development (MDD). In this context, Jean-Marc Jézéquel acts as Ph.D advisor for Emmanuelle Rouillé, also supervised by Benoit Combemale and Olivier Barais.

  • All4Tec (2011-2014). In this project with the All4Tec company we investigate the support of variability modelling for model-based test generation with Matelo (a tool developed by All4Tec). In this context, Benoit Baudry acts as Ph.D advisor for Hamza Samih.

  • Zenexity (2011-2014). In this project with the Zenexity company we investigate the new architecture model for efficient web development on top of the play framework (a web framework developed by Zenexity). In this context, Jean-Marc Jézéquel and Olivier Barais act as Ph.D advisor for Julien Richard Foy.

  • Orange (2014-2017). In this project with the Orange company we investigate the support of trust in web communication using software reconfiguration techniques. In this context, Olivier Barais acts as Ph.D advisor for Kevin Corre with Gerson Sunye.

  • Orange (2016-2019). In this other project with the Orange company we investigate the security of user interfaces. In this context, Olivier Barais acts as Ph.D advisor for Kevin Corre with Arnaud Blouin.

Industrial Transfer

  • Name: DAUM
  • Dates: 2011-2013
  • Abstract: The DAUM platform aimed at integrating a large range of technologies, ranging from wireless low cost sensors to clouds made of rugged field miniservers. Our application use case is a tactical decision system designed in cooperation with a department of 3,500 firefighters. This platform is being used as a real life testbed for our results on dynamic, continuous design of distributed pervasive systems.
    By combining models@ runtime techniques and component-based techniques, we have shown how we can apply model driven engineering to design large-scale, distributed, heterogeneous and adaptive systems. Until october 2013 the DAUM platform was funded by an Inria Technology Development activity.