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
Participants partenaires
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
Participant partenaire
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
Participants partenaires
TERMINÉ
INTERoperable Embedded Systems Toolchain for Enhanced rapid Design, prototyping and code generation (INTERESTED)
Date du début: 1 janv. 2008, Date de fin: 31 mars 2011,
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