Partenaires projet

Grands groupes


Pour Thales, l'utilisation de solution informatiques COTS est un élément-clé de compétitivité par la réduction des coûts récurrents des produits intégrant ces solutions. Le niveau de banalisation (IP, composant, carte, calculateur, réseau, système d'exploitation, middleware, ...) dépend fortement du type de produit (équipement aéronautique, ferroviaire, télécommunications, ...) mais la tendance générale est la même.

Le maintien du savoir-faire de Thales, intégrateur de systèmes d'information critiques, implique une évolution globale de ses expertises et de ses processus de conception. Cette évolution doit s'appuyer sur des outils permettant de capitaliser dans des modèles la connaissance de ces solutions banalisées et leur mise en oeuvre dans le contexte de systèmes critiques.

Thales pilote ce projet, par l'intermédiaire de Thales Research & Technology, France. Deux entités opérationnelles participent directement au projet : Thales Avionics et Thales Communications.



AIRBUS est l'un des principaux avionneurs mondiaux et fait partie du groupe EADS, acteur industriel majeur dans les secteurs de l'aéronautique, de l'espace et de la défense. L'expertise d'AIRBUS dans les domaines techniques touchant à son secteur d'activité est largement reconnue. Cela est dû notamment à son engagement et aux efforts soutenus en matière de recherche et développement.

Fondé en 1963 avec le lancement du programme Concorde, le Département Electronique devient l' « Avionics & Simulation Center of Competence » d'Airbus en 2001.

Partie intégrante d'Airbus, nous développons et fabriquons de l'électronique et des logiciels temps-réel embarqués à haute criticité, dont nous assurons le support technique et commercial auprès de nos clients. Nous sommes également chargés de fournir l'expertise électronique et logiciel nécessaire à Airbus.



STMicroelectronics est un fournisseur mondial et indépendant de semi-conducteurs. Il est classé parmi les six premières compagnies de semi-conducteur du monde. STM a 15 principaux sites de production, 16 centres de Recherche et développement et 39 centres pour la conception et les applications, avec plus de 45,000 employés dans le monde. STM a choisi de concentrer ses ressources sur des domaines clefs dont celui des applications digitales grand public ou il a un succès considérable : classé premier pour les décodeurs MPEG2, couvrant près de 60% du marché des Set Top Boxes (STB). Sur son site de Grenoble, STM a joué ces dix dernières années un rôle de leader pour la conception et le développement des Set Top Boxes et des produits pour terminaux de téléphonie mobile .

Au sein de ST, le projet LAMBDA est porté par la division IP & Design basée à Grenoble, dont la mission est fournir à l’ensemble des divisions de ST des méthodes et des outils avancés permettant de bâtir un flot de conception et de vérification au niveau système, développer en avance de phase des plate formes virtuelles, ainsi que de fournir du support aussi bien applicatif que de mise en place de flots de conception numérique et mixtes avancés.



Kontron is one of the world’s largest manufacturers of embedded computer technology and has a diversified customer base in a wide range of markets including communications, defense/aerospace, energy industrial control, infotainment, point of information/sale, medical and transportation. With its global corporate headquarters located in Europe and regional headquarters in North America and Asia, Kontron has established a strong presence worldwide. When it comes to embedded computing, you can focus on your core capabilities and rely on Kontron as your global OEM partner for a successful long-term business relationship. We offer you an extensive portfolio of products and services based on internationally accepted industry standards for hardware, software and connectivity. Solutions ranging from off-the-shelf to custom-engineered embedded computer modules, boards and blades to modular computer systems and application ready platforms, each designed to meet your current and future needs. *We are working worldwide to provide you with one of the widest range of products based on cutting-edge embedded computer technology. With engineering, manufacturing, integration, project management, technical services and sales teams in Europe, Americas, and Asia Pacific, we are close to you - wherever you are. Our superior value-added services and excellent technical support allows you to significantly reduce your time-to-market and gain a clear competitive edge. More than 890 highly qualified engineers in R&D, technical support and project management work with our experienced sales teams and sales partners to devise a solution that meets your individual application’s demands, based on standard products, custom-tailored or full custom-engineered OEM-solutions. We assist you in developing your embedded application, moving it from proprietary technology to solutions based on open standard platforms. Kontron has established dedicated global business units to provide application-ready OEM platforms for specific markets: such as Medical, Industrial Control, Communications, Transportation Defense/Aerospace and Infotainment. Kontron products are the preferred choice for any application that requires long-life, high performance and cost-effective products to be installed in demanding and mission-critical environments. Kontron has advanced testing and manufacturing facilities that are ISO 9001 certified to ensure consistency and the highest level of quality in products and services on a global basis. Kontron is a Premier member of the Intel® Embedded and Communications Alliance (ECA). The company is a recent three-time VDC Platinum vendor for Embedded Computer Boards. Kontron is listed on the German TecDAX stock exchange under the symbol "KBC". For more information, please visit: www.kontron.com.

PME



Esterel EDA Technologies est l'éditeur du logiciel Esterel Studio™ pour la synthèse ESL et un fournisseur de services ESL auprès de plusieurs sociétés leader des semi-conducteurs.
Esterel Studio, la solution de design et de vérification pour les blocs d’IP à dominante contrôle, offre tous les bénéfices de la synthèse ESL en générant automatiquement des implémentations hardware et software cohérentes à partir d'une unique spécification exécutable d'IP en Esterel Studio. Esterel Studio comporte un éditeur, un simulateur, des générateurs de code VHDL, Verilog, C, C++ et SystemC, ainsi qu’un moteur de vérification formelle pour les assertions.

Esterel Studio est l’outil idéal pour la spécification et le design de blocs d’IP comme les DMAs, les contrôleurs de gestion de puissance, les protocoles de communication, les contrôleurs de cache, les sous-systèmes I/O, les périphériques de processeurs et les interfaces de bus.
Esterel Studio supporte le standard IP-XACT 1.2 de The SPIRIT Consortium™ et OSCI 2.0 SystemC. La standardisation du langage Esterel est actuellement en cours auprès de l’IEEE sous le numéro de projet P1778.

Notre équipe de services fournit des solutions adaptées aux besoins spécifiques de nos clients dans les domaines de la conception et vérification d'IP et de l’ESL Consulting.

Esterel EDA Technologies, une filiale de Esterel Technologies SA, est une société privée dont le siège social est à Elancourt, France et le centre de R&D et commercial à Villeneuve-Loubet, France.

Dans le projet Lambda, Esterel EDA Technologies contribue aux sujets suivants:

  • Modélisation niveau transactionnel (TLM) en Esterel et génération de C++/SystemC
  • Utilisation de UML/SysML pour la micro-architecture et la description comportementale. Génération vers Esterel Studio.
  • Amélioration des standards: UML pour SoC, SPIRIT, etc.



CoFluent Design est éditeur de logiciel EDA (Electronic Design Automation), et plus précisément d’outils de modélisation et simulation au niveau système dits ESL (Electronic System Level). Son atelier logiciel CoFluent Studio permet l’exploration des architectures et l’analyse des performances de systèmes électroniques mixtes matériel/logiciel complexes: multiprocesseur/multi-cœur/multitâche. CoFluent Studio est utilisé afin de déterminer l’architecture et partitionnement HW/SW optimaux d’un système embarqué (embedded system) ou système sur une puce (System-on-Chip - SoC). Basé sur un niveau de modélisation abstrait (transaction-level modeling - TLM) et un cycle de simulation et d’analyse très court, il permet de déterminer rapidement le meilleur compromis fonctionnalités/performances/ressources/coût pour un système avant de démarrer les développements du logiciel et du matériel, afin de les sécuriser.

CoFluent Studio s’appuie sur une méthodologie définissant un flot en "Y" séparant la vue fonctionnelle de la vue exécutive d’un système, et les rassemblant ensuite par une opération de "mapping" : allocation des fonctions aux ressources d’exécution et routage des messages fonctionnels sur les nœuds de communication inter-processeur. CoFluent Studio utilise des notations graphiques simples et intuitives proches des concepts SysML et UML/MARTE pour décrire les modèles d’application et de plateforme et générer automatiquement du code SystemC TLM s'appuyant sur une librairie de modèles génériques (tâche, file de messages, processeur, bus, mémoire, RTOS, etc.). De nombreux outils graphiques d'observation sont disponibles afin d'étudier les propriétés fonctionnelles et non-fonctionnelles (taux de charge, consommation d'énergie, empreinte mémoire, coût) du modèle.

CoFluent Design est aujourd’hui présente mondialement sur les marchés des télécommunications et réseaux sans-fil et les appareils électroniques multimédia auprès des fabricants leaders dans leur domaine de terminaux mobiles, équipements d’infrastructure de télécommunications et semi-conducteurs.



Obeo est un éditeur de logiciels et une société de conseil spécialisée dans l'Ingéniérie des modèles. Les offres Obeo permettent d'industrialiser le développement d'applications informatiques, modélisation et génération de code, et leurs évolutions : cartographie, migration, refonte. Acteur identifié sur la scène internationale dans le domaine du MDA, la société Obeo est à notamment à l'origine du générateur de code Open Source Acceleo (www.acceleo.org).

Obeo est par ailleurs très actif dans la communauté du Logiciel Libre. Notamment, Obeo est un acteur majeur de l'écosystème Eclipse et siége au board de la fondation en tant que “strategic member”. La qualité et la pertinence des produits et services proposés par la société Obeo sont aujourd'hui unanimement reconnus notamment auprès des grands industriels de l'informatique embarquée et de l'informatique de gestion et des grands intégrateurs.



AONIX est un éditeur logiciel qui fournit des solutions pour le développement de systèmes temps réel embarqués et des systèmes critiques. Les produits AONIX comprennent des environnements de développement et d’exécution Ada et Java et des outils de modélisation.

Les solutions AONIX sont déployées dans les domaines de l’Aéronautique, la Défense, le Spatial, les Transports, les Télécoms, les Infrastructures réseaux, la Télématique, l’Automobile et le Contrôle de processus.



ARION est une société spécialisée dans le domaine des architectures distribuées temps réel.

Le « middleware » de communication temps réel développé par ARION permet à ses clients de déployer simplement des applications distribuées performantes et compatibles avec les standards du marché :
  • Abstraction complète de la communication
  • Les applications logicielles accèdent aux données ou aux I/O grâce à de simples fonctions Read/Write où qu’elles se trouvent sur le réseau
    • Communication optimisée
    • Transmission déterministe des données
    • Optimisation de la bande passante (85M utiles sur un réseau 100M Ethernet)
    • Heure système distribuée précise à la microseconde
  • Compatibilité avec les bus terrain (Ethernet, CAN, 1553…) et les Systèmes d’Exploitation du marché
La gamme de produits proposée par ARION permet de couvrir différents cas de mise en œuvre :
  • Cartes électroniques et module d’acquisition d’E/S pour les applications au sol
  • Composants FPGA et bloc « IP » (« Intellectual Property ») pour les applications embarquées
Les produits ARION ont été sélectionnés par des groupes industriels du secteur aéronautique pour des applications de test et de simulation. Ils sont également en cours d’évaluation pour des applications embarquées dans les domaines spatial, naval, militaire.


PrismTech France est issu du rachat en 2005 de Top Graph’X, éditeur de logiciels fondé en 1993 et spécialisé dès sa création dans les middlewares appliqués aux systèmes d’informations critiques dans les secteurs des transports et de la défense. Aujourd’hui, PrismTech France a plus que doublé son CA en 2006. Son activité se partage entre :

  • La création et le développement de solutions middlewares innovantes : produits CORBA haute performance C++, Java et ADA et depuis début 2007, module de sécurisation DDS. Ces produits sont commercialisés directement par PrismTech France en Europe du Sud et au niveau mondial via sa compagnie mère PrismTech Inc.
  • La prestation de services : PrismTech France est le principal acteur en France sur les technologies DDS et CORBA sous diverses formes de l’accompagnement de nos produits, au conseil en architectures et optimisation d’infrastructures pour systèmes d’informations critiques.

Dans le cadre du projet Lambda, PrismTech est chargé de définir conjointement avec les partenaires un modèle d’exécution approprié pour une infrastructure d’exécution CORBA temps-réel (RTOrb Java™) mise en œuvre sur la plateforme Java PERC. Prismtech apportera aussi son expertise pour l’intégration de middleware CORBA temps réel dans une chaine d’outillage de Modélisation pour des applications critiques et embarquées.
Les clients de PrismTech France sont principalement Alcatel-Lucent (toutes les divisions) , Thales (nombreuses divisions), DSNA, Eurocontrol, DGA, ainsi que Selex, Indra, Terma et ESA...



AdaCore est le principal éditeur de solutions de développement pour Ada, un langage de programmation particulièrement adapté aux projets logiciels de grande dimension et de durée de vie importante, pour lesquels la fiabilité, l'efficacité et la sécurité sont des éléments critiques. AdaCore est aussi partie prenante depuis plus de 10 ans au monde du logiciel libre. Deux versions de GNAT, le produit phare d'AdaCore, sont disponibles. GNAT Pro est une version à destination des utilisateurs industriels qui comprend non seulement le logiciel et de toutes ses sources, mais aussi un service de support technique de haute qualité. GNAT GPL Edition est un produit à destination de tous les développeurs de logiciel libre. Il est accessible sur le site http://libre.adacore.com. Les deux versions sont depuis leur création des logiciels libres.

La clientèle d'Adacore comprend plusieurs centaines d'entreprises du monde entier (voir http://www.adacore.com/home/company/customers pour plus de renseignements), dans des domaines aussi variés que l'avionique civile ou militaire, le contrôle aérien, le transport ferroviaire, les services financiers ou le secteur de l'équipement médical. Le point commun entre tous ces clients est qu'ils ne peuvent pas commettre d'erreur avec leur logiciel. AdaCore les aide à répondre à cette contrainte.

Fondée en 1994, Adacore dispose d'un siège à Paris et d'un siège à New-York ainsi que de représentations réparties en Europe, en Amérique du Nord et en Asie.

Academiques



Le CEA, Commissariat à l'Energie Atomique, est un acteur majeur en matière de recherche, de développement et d’innovation. Le CEA intervient dans trois grands domaines : l’énergie, les technologies pour l’information et la santé, la défense et la sécurité en s’appuyant sur une recherche fondamentale d’excellence. Au sein du CEA, le LIST, Laboratoire d' Intégration des Systèmes et des Technologies, est un institut de recherche technologique sur les systèmes à logiciel prépondérant, notamment dans le domaine des systèmes embarqués et de l’Open-Source. Fort de la culture projet de ses 450 chercheurs, ingénieurs et techniciens, le LIST mène ses recherches en partenariat avec les grands acteurs industriels du nucléaire, de l'automobile, de l'aéronautique, de la défense et du médical pour étudier et développer des solutions innovantes adaptées à leurs besoins. Le LIST, dans une dynamique de recherche qui va du concept de système jusqu'au démonstrateur préindustriel, contribue au transfert de technologies.




Grande école d'ingénieurs française, Supélec est la référence dans les domaines des sciences de l'information, de l'’énergie et des systèmes et diplôme chaque année 440 nouveaux ingénieurs.

Elle poursuit une double mission de formation et de recherche. Supélec mène dans ses équipes propres des recherches sur : la modélisation, l'optimisation et la commande des systèmes physiques (commande robuste de systèmes hybrides, de systèmes incertains) ; l’exploitation d’observations en vue d’en extraire des informations quantitatives (mesures indirectes, évaluation non destructive) ; la modélisation de microsystèmes multi-technologiques ; la conception en environnement incertain ; la conception de techniques de transmission permettant d’améliorer les débits et les performances des réseaux de radiocommunication et de réduire leur complexité ; la représentation et le traitement de l'information (web sémantique) ; la modélisation comportementale de systèmes hétérogènes.

Dans le cadre du projet Lambda, l'équipe « Systèmes et information hétérogènes » du département informatique contribue à l'intégration du formalisme SyncCharts dans UML.


L'INRIA, institut national de recherche en informatique et en automatique, placé sous la double tutelle des ministères de la recherche et de l'industrie, a pour vocation d'entreprendre des recherches fondamentales et appliquées dans les domaines des sciences et technologies de l'information et de la communication (STIC). L'institut assure également un fort transfert de technologie en accordant une grande attention à la formation par la recherche, à la diffusion de l'information scientifique et technique, au développement, à l'expertise et à la participation à des programmes internationaux.

Jouant un rôle fédérateur au sein de la communauté scientifique de son domaine et au contact des acteurs industriels, l'INRIA est un acteur majeur dans le développement des STIC en France. L'INRIA accueille 3 800 personnes réparties dans ses 8 centres de recherche situés à Rocquencourt, Rennes, Sophia Antipolis, Grenoble, Nancy, Bordeaux, Lille et Saclay. 2 800 d'entre elles sont des scientifiques de l'INRIA et d'organismes partenaires (CNRS, universités, grandes écoles) qui travaillent dans plus de 150 équipes-projets de recherche communes. Un grand nombre de chercheurs de l'INRIA sont également enseignants, et leurs étudiants (environ 1 000) préparent leur thèse dans le cadre des équipes-projets de recherche de l'INRIA.

L'INRIA développe de nombreux partenariats avec le monde industriel et favorise le transfert technologique et la création d'entreprises dans le domaine des STIC. Plus de 90 entreprises ont été créées grâce au soutien de sa filiale INRIA-Transfert, spécialisée dans l'accompagnement, l'évaluation, la qualification et le financement des jeunes entreprises innovantes de haute technologie informatique. L'INRIA est actif au sein d'instances de normalisation comme l'IETF, l'ISO ou le W3C dont il a été le pilote européen de 1995 à 2002.

Enfin, l'institut entretient d'importantes relations internationales : en Europe, l'INRIA est membre du consortium ERCIM, qui regroupe des instituts de recherche de 19 pays européens. L'INRIA participe à environ 120 actions dans le cadre du 6e PCRD et 40 actions dans le cadre du 7e PCRD, essentiellement dans le domaine des STIC. À l'international, l'institut collabore avec de nombreuses institutions scientifiques et universitaires (laboratoires de recherche conjoints tels que LIAMA, équipes de recherche associées, programmes de formation et de stages, etc.).

Le budget de l'INRIA s'élève à 186 millions d'euros, dont 20 % proviennent de ses propres contrats de recherche et produits de valorisation. Pour en savoir plus: http://www.inria.fr

L'équipe AtlanMod (pour "Atlantic Modeling"), située à Nantes, est une équipe de recherche commune à l'INRIA et à l'EMN. Elle est le résultat d'une spécialisation en IDM (Ingénierie Dirigée par les Modèles) sur la place Nantaise depuis 1990. Spécialisé en ingénierie des modèles, l'équipe de recherche est entre autre reconnu pour sa plate-forme (AMMA pour AtlanMod Model Management Architecture), qui inclue en particulier le langage de transformation de modèle ATL, largement utilisé. Depuis que ses outils sont accessible à partir de la plate-forme Eclipse.org, il y a de nombreuses organisations, industrielles ou académiques, qui les utilise.