4 European Projects Found
Searched on 125080 European Projects
FINISHED
Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS)
Start date: Jan 1, 2015, End date: Dec 31, 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 ...
Read Project
11
Partners Participants
FINISHED
Certified Code Generation of Model-Based Modelica Controllers (CertMod)
Start date: Feb 1, 2014, End date: Jul 31, 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 ...
Read Project
1
Partner Participant
FINISHED
Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR)
Start date: Mar 1, 2009, End date: Jun 30, 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 ...
Read Project
54
Partners Participants
FINISHED
INTERoperable Embedded Systems Toolchain for Enhanced rapid Design, prototyping and code generation (INTERESTED)
Start date: Jan 1, 2008, End date: Mar 31, 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 ...
Read Project
