Project parners

Major corporations


For Thales, the use of COTS components is a key competitivity element as it reduces the recurrent costs of products that integrates these solution. The kind of COTS solution that is used (IP, component, board, computer, network, operating system, middleware, ...) depends on the kind of product (aerospace, railway, communication equipments, ...) but the general trend is the same.

To preserve Thales know-how as critical information systems integrator, it requires a general evolution of the company's expertise and engineering processes. This evolution shall rely on tools that allow one to capture in models the knowledge related to these COTS solutions and their use in the context of critical systems.

Thales is coordinating this project, through Thales Research & Technology, France. Two operational entities are directly involved in this project :Thales Avionics and 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 is an independent worldwide broad-range semiconductor supplier and it is ranked in the top six semiconductor companies in the world. ST has 15 main production sites, 16 Advanced R&D centers and 39 design and application centers, with over 45,000 employees over the world. ST has chosen key application areas in which to focus the resources of the company, one of this is digital consumer applications where ST has had considerable success, ranked first for MPEG2 decoder devices, achieving around 60% market share for digital satellite Set Top Box (STB) devices. At its Grenoble centre, STMicroelectronics has played a leading role in the design and development of Set Top Box and devices for mobile phone terminals for the last ten years.

Within ST, the LAMBDA project is supported by the IP&Design division, based in Grenoble. Its mission is to provide tools and methods providing System Level design and verification flow, to develop early available virtual platforms, as well as support in applicative areas, and advanced flows setup



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.

SME



Esterel EDA Technologies is the supplier of Esterel Studio™, the leading solution for ESL synthesis, and a major provider of ESL expertise to several top semiconductor companies.
Esterel Studio, the design and verification suite for control-intensive hardware IP, delivers the full benefits of ESL synthesis by generating consistent hardware and software implementations from a single Esterel Studio IP executable specification. Esterel Studio includes an editor, a simulator, VHDL, Verilog, C, C++ and SystemC code generators, and a formal verification engine for assertions.

Esterel Studio is the tool of choice for specification and design of IP blocks such as: DMAs, power management controllers, communication protocols, cache controllers, I/O subsystems, processor core peripherals, bus interfaces. Esterel Studio complies with the IP-XACT 1.2 standard of The SPIRIT Consortium™ and OSCI 2.0 SystemC specification. IEEE currently standardizes the Esterel language under project number P1778.

Our services team provides solutions tailored for your specific technical and business needs in IP Design and Verification as well as ESL Consulting, using state-of-the-art, proven approaches.
Esterel EDA Technologies, a subsidiary of Esterel Technologies SA, is a privately held company with headquarters in Elancourt, France and R&D facility and sales office in Villeneuve-Loubet, France.

In Lambda Esterel EDA Technologies will contribute to the following subjects:

  • TLM modeling with Esterel and C++/SystemC generation
  • UML/SysML usage for micro-architecture and behavior description. Generation path to Esterel Studio.
  • Enhancing the standards: UML for SoC, SPIRIT, etc.


CoFluent Design develops and sells Electronic Design Automation (EDA) software. Its CoFluent Studio Electronic System Level (ESL) modeling and simulation toolset allows architecture exploration and performance prediction of complex HW/SW electronic systems: multiprocessor/multicore/multitask. CoFluent Studio is used to determine the optimal architecture and HW/SW partitioning of an embedded system or a system-on-chip (SoC). Based on an abstract Transaction-Level Modeling (TLM) and a very short simulation cycle, it allows system architects to find the best functionality/performance/load/cost tradeoff before HW/SW developments start, so investments can be secured.

CoFluent Studio is based on a methodology defining a 'Y' design flow, separating the functional from the executive views on a system, and merging them through a mapping operation: allocating functions to execution resources and routing data on inter-processor links.

CoFluent Studio uses simple and intuitive graphical notations close to SysML and UML/MARTE to describe application and platform models, and to automatically generate TLM SystemC code leveraging a library of generic models of system components (task, message queue, processor, bus, memory, RTOS, etc.). Numerous graphical observation tools are available to study functional and non-functional (load, power consumption, memory footprint, cost) properties of the system. CoFluent Design has worldwide customers in the telecoms, wireless networks and digital multimedia devices, leaders in the mobile terminal, communication infrastructure equipment and semiconductor domains.



Obeo is a software editor and IT consulting company specialized in model-driven engineering. Obeo's offerings enable the industrialization of software applications' development (through modeling and code generation) and of their evolutions (application intelligence, technology migration, re-engineering).

An internationally renowned actor of the MDA world, Obeo is notably at the origin of the Acceleo open source code generator (http://www.acceleo.org/). Obeo is also very active in the free software community. In particular, Obeo is a major actor of the Eclipse ecosystem and seats at the Eclipse Foundation board as a strategic member. The quality and relevance of the products and services offered by Obeo are unanimously recognized, including by major actors in the embedded systems and business software markets, and by large integrators.



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 is a technological company dedicated to real time embedded networked architecture.

ARION’s innovative, patented, « communication middleware » enables its customers to implement simple data transmission while guaranteeing their performances and interfacing with standards:
  • Communication abstraction
    • Software applications access data and/or I/O wherever located in the distributed system through basic “Read/Write” commands
  • Communication optimization
    • Deterministic data transmission
    • Bandwidth optimization (up to 85M for user’s data on a 100Mbits standard Ethernet network)
    • Network based fine synchronization (micro-second) capability
  • Operating System and field bus neutrality (Ethernet, CAN, 1553…)
ARION’s product line has been developed to offer its customers a wide range of implementation scheme:
  • Electronic cards (PCI, PMC…) and Industrial rack for I/O acquisition module for ground based applications
  • Components (FPGA…) and IP (Intellectual Property block) for on board applications
ARION products have already been selected by several key players in the aeronautics field for ground-based testing and simulation equipments. Also the space, defense and naval industries have recently placed Arion products under final evaluation for several on-board embedded projects.


PrismTech is an acknowledged leader in advanced software integration and infrastructure solutions. The company develops, markets, and supports a wide range of high-performance, standards-compliant, and cost-effective middleware products which are further differentiated by unique technical capabilities and advanced productivity tools.
PrismTech's products, "Power Netcentricity" by enabling the event-driven communications, end-to-end qualities-of-service, and software optimization required to best exploit available resources, to better synchronize events, and to support system agility.
PrismTech's product's differentiators are most highly valued in markets that require business-critical and mission-critical systems. These systems are pervasive in a number of vertical markets, such as Telecom, Mil/Aero, Finance, Utilities, Transportation, and Civil Administration.
Through its French Subsidiary (PrismTech France), PrismTech is an active partner in the Lambda System@tic project in charge of defining an infrastructure execution model compliant with Real-time CORBA technologies and Java PERC Platforms. Prismtech brings also its domain expertise in middlewares and modelling to assure effective integration of the RTOrb Java™ and the realtime modelling tools that will be developed in the scope of the project for embedded and mission critical systems.
PrismTech was founded in 1992 and is a privately-held group with US operations based in Boston, MA and Saddle Brook, NJ, and European operations in the UK, Germany, The Netherlands and France



Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long- lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers for further information.

Ada and GNAT Pro continue to see growing use in high-integrity and safety- certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European.

Academics



CEA, Commissariat à l'Energie Atomique, is a main actor in the domain of research, development and innovation. Relying on a fundamental research of excellence, CEA intervenes in three main fields: energy, information and health technologies as well as defense and safety. Within CEA, the LIST, Laboratory of Integration of Systems and Technologies, is a technological research institute in the field of software intensive systems, especially in the domain of embedded systems and open-source solutions. With the strong project-centered culture of its 450 researchers, engineers and technicians, the LIST is able to perform research work in partnership with the major industrial players in the nuclear, automotive, aeronautical, defense and medical fields and thus investigate and develop innovative solutions corresponding to their requirements. The LIST, which is actively engaged in research work extending from conceptual design of systems to pre-industrial prototypes, contributes to the transfer of technology.




Supélec has a very special position among the leading engineering institutes. It is the reference in its field - electric energy and information sciences. Internationally, with classes of 440 engineers graduating each year, Supelec is on a par with the best departments of electrical and computer engineering of the top American or European universities. Supélec has a threefold mission : degree courses, research & development, continuing education. The organization of the Institute enables the teams focusing in specific fields within the three sectors of activity to work together in close synergy. Highly sophisticated equipment is made avalaible to them.

An essential feature of research at Supélec, whether fundamental or applied, is that it is based on the actual needs encountered in industry. It is carried out in close cooperation with industrial partners, in particular through research contracts, by the departments of education and research and by the research laboratories associated with Supélec.

In Lambda, Supélec will contribute to the integration of SyncCharts in UML.


INRIA, the French national institute for research in computer science and control, operating under the dual authority of the Ministry of Research and the Ministry of Industry, is dedicated to fundamental and applied research in information and communication science and technology (ICST). The Institute also plays a major role in technology transfer by fostering training through research, diffusion of scientific and technical information, development, as well as providing expert advice and participating in international programs.

By playing a leading role in the scientific community in the field and being in close contact with industry, INRIA is a major participant in the development of ICST in France. Throughout its eight research centres in Rocquencourt, Rennes, Sophia Antipolis, Grenoble, Nancy, Bordeaux, Lille and Saclay, INRIA has a workforce of 3 800, 2 800 of whom are scientists from INRIA and INRIA's partner organizations such as CNRS (the French National Center for Scientific Research), universities and leading engineering schools. They work in 150 joint research project-teams. Many INRIA researchers are also professors and approximately 1 000 doctoral students work on theses as part of INRIA research project-teams.

INRIA develops many partnerships with industry and fosters technology transfer and company foundation in the field of ICST - some ninety companies have been founded with the support of INRIA-Transfert, a subsidiary of INRIA, specialized in guiding, evaluating, qualifying, and financing innovative high-tech IT start-up companies. INRIA is involved in standardization committees such as the IETF, ISO and the W3C of which INRIA was the European host from 1995 to 2002.

INRIA maintains important international relations and exchanges. In Europe, INRIA is a member of ERCIM which brings together research institutes from 19 European countries. INRIA is a partner in about 120 FP6 actions and 40 FP7 actions, mainly in the ICST field. INRIA also collaborates with numerous scientific and academic institutions abroad (joint laboratories such as LIAMA, associated research teams, training and internship programs).

INRIA has an annual budget of 186 million Euros, 20% of which comes from its own research contracts and development products

For more information: http://www.inria.fr

The AtlanMod team (for "Atlantic Modeling"), located in Nantes, is a research team common to INRIA and EMN. It is the result of a long term specialization on the subject of MDE (Model Driven Engineering) in the area of Nantes since 1990. Completely specializing on advanced model engineering, the research team is well known for its toolbox (AMMA for AtlanMod Model Management Architecture), including in particular the widely used ATL transformation language (AtlanMod Transformation Language). Since these tools have been made available on the Eclipse.org platform, there are an important number of organizations, academic or industrial, that are currently using these tools.