| 5 | | |
| | 5 | Ellidiss Technologies offre des services de support à la mise en oeuvre des technologies de modélisation et de vérification des systèmes critiques à forte concentration de logiciels, et des processus méthodologiques applicables à ces projets. Ellidiss Technologies est un partenaire privilégié de l'éditeur de logiciels Ellidiss Software. Les activités de Ellidiss Technologies se répartissent de la manière suivante: |
| | 6 | * Support technique aux projets utilisant le produit de conception de logiciels Stood distribué par Ellidiss Software, comme l'atelier de développement Airbus des logiciels embarqués dans l'A380. |
| | 7 | * Actions de formation à l'utilisation ou à l'administration du produit Stood. |
| | 8 | * Interventions d'assistance au démarrage, aux revues et à la validation des projets utilisant le produit Stood, la méthode HOOD ou le langage d'architecture AADL, et pour des travaux de rétro-conception de code Ada ou C. |
| | 9 | * Prestations de paramètrage de l'outil Stood, et adaptation ou réalisation de nouveau plugins (générateurs de code, vérificateurs de règles), permettant d'optimiser l'utilisation de l'outil dans le cadre du processus de développement des projets. |
| | 10 | * Travaux d'expertise dans le domaine du génie logiciel et de l'architectures des ateliers de développement. |
| | 11 | * Participation à des projets innovants de Recherche et Développement dans le cadre desquels Ellidiss Technologies apporte ses diverses compétences en technologie d'outillage logiciel (prototypage) et contribue à renforcer les liens entre organismes de recherche et industriels. |
| | 12 | * Contribution active à des comités de standardisation, comme le nouveau langage de description d'architectures AADL (Architecture Analysis and Design Language) ou de promotion de standard existants, comme la méthode HOOD (Hierarchical Object Oriented Design). |
| | 13 | [[BR]] |
