Rechercher des projets européens

4 projets européens trouvés

Recherche sur 125080 projets européens

 TERMINÉ 

Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS)

Date du début: 1 janv. 2015, Date de fin: 31 déc. 2018,

The proposed research effort provides methods for a faster and more efficient development process of safety- or operation-critical cyber-physical systems in (partially) unknown environments. Cyber-physical systems are very hard to control and verify because of the mix of discrete dynamics (originating from computing elements) and continuous dynamics (originating from physical elements). We present ...
Voir le projet

 11

 TERMINÉ 

Certified Code Generation of Model-Based Modelica Controllers (CertMod)

Date du début: 1 févr. 2014, Date de fin: 31 juil. 2016,

In the Clean Sky consortium, several members are working on modelling and simulation of aircraft systems with the multi-domain modelling language Modelica. The final goal is to not only utilize these models for design and evaluation, but also to directly use Modelica controller models for generation of certified code in embedded systems. On one hand this will improve the system design process, sin ...
Voir le projet

 1

 TERMINÉ 

Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR)

Date du début: 1 mars 2009, Date de fin: 30 juin 2012,

"The embedded safety-critical systems design and development industry is facing increasing complexity and variety of systems and devices, coupled with increasing regulatory constraints while costs, performances and time to market are constantly challenged.This has led to a profusion of enablers (new processes, methods and tools), which are neither integrated nor interoperable because they have bee ...
Voir le projet

 54

 TERMINÉ 
The INTERESTED project has been built to exactly match the goals defined within the Objective ICT-2007-3.3b "Suites of Interoperable design tools for rapid design and prototyping", namely creating a reference open interoperable embedded systems tool-chain, fulfilling the needs of the industry for designing and prototyping embedded systemsThis project regroups a consortium of leading edge European ...
Voir le projet

 12