Being already an active member of the SAE AADL standardization committee, Ellidiss decided to also join the OMG System Modelling Community working groups to contribute to the definition of a SysMLv2 domain library for AADL.
The goal is to help reducing the gap between system and software modelling activities and to make existing AADL early verification tools available for SysMLv2 users.
The company has thus initiated a set of short-term technical tasks aiming at incorporating proper SysMLv2 support within Ellidiss technologies and tools.

The first task consists in adding SysMLv2 to the list of modelling and coding languages that are handled by the LMP technology.
LMP, standing for Logic Model Processing, is a symbolic AI approach based on the Prolog language. It is used to develop model explorations, verifications and transformations.

The second task leads to the distribution of a new version of the commercial off-the-shelves AADL Inspector tool. 
It includes a preliminary version of the AADL to SysMLv2 and SysMLv2 to AADL transformations as well as the Prolog libraries enabling user defined SysMLv2 model processing.

[https://www.ellidiss.fr/public/attachment/wiki/WikiStart/Ellidiss.mp4]