Coordinator
Esterel Technologies is the worldwide leader of model-based design and verification tools for critical embedded systems. |
Partners
Absint provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software. |
|
TTTech Computertechnik AG is the leading supplier of solutions in the field of time-triggered computer systems. The company's products improve the reliability of data communication systems in transportation and automation industries. |
|
Evidence Srl provide innovative software solutions for the design and the development of real-time embedded systems, with a special focus on multi-core hardware platforms. |
|
Symtavision Gmbh strives to become a synonym for quality and reliability in designing complex real-time systems. |
|
Unis spol 's major filed of activity consists of technological process control. |
|
Artisan Software Tools exploits its systems engineering expertise in model-based development tools to provide an integrated solution for developing and supporting complex mission-critical systems. |
|
Sysgo AG is specialized in design, implementation and configuration of device software for the embedded market. |
|
Airbus SAS is one of the world's leading aircraft manufacturers, and it consistently captures approximately half or more of all orders for airliners with more than 100 seats. |
|
Magnetti Marelli SpA is an international company committed to the design and production of hi-tech systems and components for the automotive sector. |
|
CEA LIST is a key software systems and technology research center working in three areas with vital societal and economic implications. |
|
Thales (represented by Thales Research & Technology), is a world leader in Mission-critical information systems for the Aerospace, Defence and Security markets. |
|
Siemens AG is a global powerhouse in electronics and electrical engineering, operating in the industry, energy and healthcare sectors. |














