Annuaire des membres - Systems Design and Development Tools

Membres

La vision d’AdaCore est la création d’une solution 100% libre pour la certification de logiciels critiques dans l’aéronautique, le spatial et le transport

AdaCore est un éditeur français indépendant de logiciel libre. AdaCore est le principal éditeur de solutions de développement pour les différentes versions du langage Ada, un langage de programmation spécifiquement conçu pour les projets logiciels de grande dimension et de longue durée dans lesquels la fiabilité, l’efficacité et la sécurité sont critiques. GNAT Pro, le produit phare d’AdaCore, comprend un ensemble complet d’outils de développement (compilateur, debugger, IDE, diverses bibliothèques, outils de vérification de mémoire, de couverture, de test, kit de certification DO-178B, …). AdaCore propose également des outils de preuve formelle (SPARK, en partenariat avec Altran), d’analyse statique (CodePeer) et de génération de code depuis Simulink/Stateflow (QGen). Une des caractéristiques d'AdaCore est son support technique de très haut niveau, inclus dans toutes les souscriptions, ce qui garantit des réponses rapides et adaptées aux besoins de ses clients. AdaCore sert une clientèle qui inclut la plupart des grands noms de l’industrie aéronautique, spatiale, de la défense, du contrôle aérien, du transport ferroviaire.
PME
75 PARIS

Air Liquide est leader mondial des gaz pour l'industrie, la santé et l'environnement, présent dans 80 pays avec 43600 collaborateurs. Oxygène, azote, hydrogène, gaz rares sont au cœur du métier d'Air Liquide, depuis sa création en 1902. A partir de ces molécules, Air Liquide réinvente sans cesse son métier pour anticiper les défis de ses marchés présents et futurs. Le Groupe innove au service du progrès, tout en s'attachant à allier croissance dynamique et régularité de ses performances. Technologies innovantes pour limiter les émissions polluantes, réduire la consommation énergétique de l'industrie, valoriser les ressources naturelles, ou développer les énergies de demain, comme l'hydrogène, les biocarburants ou l'énergie photovoltaïque... Oxygène pour les hôpitaux, soins à domicile, contribution à la lutte contre les maladies nocosomiales... Air Liquide combine ses nombreux produits à différentes technologies pour développer des applications et services à forte valeur ajoutée, pour ses clients et la société. Partenaire dans la durée, le Groupe s'appuie sur l'engagement de ses collaborateurs, la confiance de ses clients et le soutien de ses actionnaires, pour élaborer une vision long terme de sa stratégie de croissance compétitive. La diversité de se équipes, de ses métiers , de ses marchés et de ses géographies assure la solidité et la pérénnité de son développement, et renforce sa capacité à conquérir en permanence de nouveaux territoires pour repousser ses propres limites et construire son futur.

Grandes Entreprises
78 LES-LOGES-EN-JOSAS
Grandes Entreprises
31 BLAGNAC Cedex
75 PARIS
Systems Design and Development Tools
21 HAMBURG
Systems Design and Development Tools
21 HAMBURG
Systems Design and Development Tools
BRISTOL
Systems Design and Development Tools

ALNEOS est une société d'expertise en ingénierie et en informatique scientifique intervenant dans le domaine de la mécanique des structures.

Nos experts vous accompagnent sur des problématiques à forte plus-value technique, où leurs fortes compétences en mécanique, informatique et mathématiques appliquées permettent de trouver des solutions innovantes, déployables et productives.

PME
92 SCEAUX
Systems Design and Development Tools
Grandes Entreprises
93 Saint-Ouen
78 POISSY
Systems Design and Development Tools
78 POISSY

Altair aide à l'innovation et la prise de décision grâce à la technologie qui optimise l'analyse, la gestion et la visualisation d'informations et de l'ingénierie d'affaires.

Grandes Entreprises
92 ANTONY CEDEX
Systems Design and Development Tools
ETI
92 ANTONY
PME
78 MONTIGNY-LE-BRETONNEUX
Systems Design and Development Tools