The digital transition holds the promise of solutions to meet our societal, economic and environmental challenges. But it comes with its own challenges, in particular the mastery of the complexity of systems, resulting from numerous interactions and requiring multidisciplinary approaches. Without new engineering methods and efficient integrated and accessible tools, innovating in an ultra-competitive digital context will become increasingly difficult. The vision of the flagship program "Inca" I am leading at CEA is to put the "superpowers" of computing, both software and hardware, at the service of the engineering professions of complex systems. Individually and collectively "augmented", project teams will be able to invent and develop new systems with confidence, and take up the challenges of tomorrow. This principle is called the cognification of engineering methods and tools. The List is an international leader in certain technologies that are essential to the realization of Inca's vision. For example, in the fields of formal methods and digital trust, knowledge engineering and artificial intelligence, exploration and verification of software and hardware architectures, and distributed computing architectures.
In my talk, I will come back to the motivations for this research program, the vision we carry in that context, where we are and where we go in the near, mid and long terms to implement this vision. I will also relates of course of these ongoing activities to the Ecipse Papyrus modeling tool I am leading I am leading now for more than 15 years. In that context, the talk will be an opportunity for CEA List to demonstrate the various prototypes we started to implement since last year in collaboration with academic and industrial partners to meet all the goals defined to implement our vision about next generation of modeling tools:
- First a specialization of Papyrus for SNCF Réseau in order to implement a model-based workbench dedicated to design and formally validate Computer-Based Interlocking systems. Here, we will show the work done in collaboration with Eike Stepper to improve CDO and its integration inside Papyrus.
- Second, we will also present the improvement of Papyrus Toolsmith Capability we have achieved since last fall in collaboration with the EclipseSource company.
- Third, we will present the modernization of the Papyrus diagram editors realized via a porting to the Sirius technology in collaboration with ARTAL company.
- Fourth, we will also present a first prototype of Papyrus-SysML v2 realized in collaboration with the OBEO company and based on the Sirius web framework.
- Finally, we will present a modeling digital assistant intgrated inside Papyrus and enabling to foster the creativity of modeler while desingin a conceptual modeling thanks to some AI technologies.