Ellidiss Technologies

Ellidiss provides technology and tools for the modelling and model processing activities of software intensive systems. We have been involved for more than 20 years in the long term support of software development environments for major industrial projects such as the Eurofighter and Airbus aircrafts. During the last 12 years, the company has invested heavily in architecture description languages, and especially in the Architecture Analysis and Design Language (AADL). AADL is a SAE international standard that allows for the design of large scale critical systems and the implementation of correct by construction models and early verification solutions.

Ellidiss’ offer comes on three axes: 1. Commercial Off-The Shelf tools:
 Stood for the architectural design activities
 AADL Inspector for model verification, real-time analysis, simulation and connection with 3D virtual reality. 2. Model processing technology:
 GMP: Graphic Model Processing for the development of domain specific graphical editors
 LMP: Logic Model Processing for model queries, model constraints and model transformations 3. Custom tool development:
 TASTE developed under contract for the European Space Agency
 PMM Builder:

PMM is a new model-based systems engineering (MBSE) method. Two main characteristics are at the origin of its compound name: (1) the formulation of requirements based on the concept of property – Property-Based Requirements (PBRs) –, and (2) the adoption of a MBSE approach. PMM is a top-down approach that authorizes the re-use of pre-existing blocks at any hierarchical level of a system’s architecture. Another feature of PMM is that it complies with current industrial development standards, specifically ARP4754A and EIA632. Finally, the third pillar of PMM is simulation, which is the primary technique for validating specification models and verifying design models.

company web site: http://www.ellidiss.fr