| | 1 | 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. |
| | 2 | 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. |
| | 3 | The company has thus initiated a set of short-term technical tasks aiming at incorporating proper SysMLv2 support within Ellidiss technologies and tools. |
| | 4 | |
| | 5 | The first task consists in adding SysMLv2 to the list of modelling and coding languages that are handled by the LMP technology. |
| | 6 | 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. |
| | 7 | |
| | 8 | The second task leads to the distribution of a new version of the commercial off-the-shelves AADL Inspector tool. |
| | 9 | 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. |
