Innovating Works

EST

Desconocido
UnCoVerCPS: Unifying Control and Verification of Cyber Physical Systems ESTEREL TECHNOLOGIES SA participó en un H2020: H2020-ICT-2014 The proposed research effort provides methods for a faster and more efficient development process of safety- or operation-critical cyber-phy...
2014-12-01 - 2019-02-28 | Financiado
CESAR: Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems ESTEREL TECHNOLOGIES SA participó en un FP6: The embedded safety-critical systems design and development industry is facing increasing complexity and variety of systems and devices, cou...
2009-03-01 - 2012-06-30 | Financiado
INTERESTED: INTERoperable Embedded Systems Toolchain for Enhanced rapid Design prototyping and code generation ESTEREL TECHNOLOGIES SA tramitó un FP7: The INTERESTED project has been built to exactly match the goals defined within the Objective ICT-2007-3.3b "Suites of Interoperable design...
Financiado
CertMod: Certified Code Generation of Model Based Modelica Controllers ESTEREL TECHNOLOGIES SA tramitó un FP7: In the Clean Sky consortium, several members are working on modelling and simulation of aircraft systems with the multi-domain modelling lan...
Financiado
CESAR: Cost Efficient Methods and Processes for Safety Relevant Embedded Systems ESTEREL TECHNOLOGIES SA participó en un FP7: The embedded safety-critical systems design and development industry is facing increasing complexity and variety of systems and devices, cou...
Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.