Ellidiss Technologies
Description de l'entreprise
Domaines technologiques
- Edition d'outils de développement de logiciels.
- Environnements de développement des systèmes et logiciels basée sur les Modèles et orientée Composants.
- Transformation de modèles utilisant la technologie LMP: Logical Model Processing.
- Prise en compte des besoins méthodologiques industriels.
- Application aux systèmes temps-réel, embarqués et/ou critiques.
- Expertise sur le langage d'architecture AADL (Architecture Analysis and Design Language)
Prestations proposées
- Développement d'outils ou de chaînes d'outils de modélisation et de vérification de systèmes logiciels critiques.
- Services de personnalisation, support et formation pour les utilisateurs de l'environnement du produit Stood (outil de modélisation AADL).
- Participation à des activités de R&D collaboratives sur les domaines technologiques de l'entreprise.
Valeur ajoutée
- Editeur indépendant de solutions de développement sur étagère ou personnalisée.
- Longue expérience dans le support de projets industriels majeurs.
- Nombreuses interactions avec des équipes de recherche académiques.
- Membre du comité international de standardisation SAE AS-2C (AADL).
Offres publiées sur la place de marché
Outils de Modélisation et de Vérification pour AADLdans la thématique Génie logicielEllidiss offre une gamme d'outils logiciels en support au nouveau standard international SAE AS-5506 (AADL: Architecture Analysis and Design Language, www.aadl.info) qui a été associée à une méthodologie de développement éprouvée par l'industrie des logiciels critiques dans l'aéronautique, le spatial, la défense, etc. Au delà de ses produits disponibles sur étagère et des prestations associées (support, formation), Ellidiss intervient aussi pour l'intégration de ses outils dans des environnements de développement existants et l'élaboration de solutions spécifiques en modélisation ou exploitation de modèles. |
