Search for European Projects

4 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties (CONTREX)

Start date: Oct 1, 2013, End date: Sep 30, 2016,

Description CONTREX (Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties)Abstract – Up to now mission & safety critical services of Systems of Systems (SoS) have been running on dedicated and often custom designed Hardware/Software platforms. In the near future such systems will be accessib ...
Read Project

 15

 FINISHED 

SMArt systems Co-design (SMAC)

Start date: Oct 1, 2011, End date: Mar 31, 2015,

Smart systems consist of heterogeneous subsystems and components providing different functionalities; they are normally implemented as "Multi-Package on a Board". To fully exploit the potential of current nanoelectronics technologies, as well as to enable the integration of existing/new IPs and "More than Moore" devices, smart system miniaturization and "Multi-Chip in a Package" implementation are ...
Read Project

 18

 FINISHED 

CO-design and Power Management in PLatform-based \nDesign Space EXploration (COMPLEX)

Start date: Dec 1, 2009, End date: Mar 31, 2013,

The main objective of the COMPLEX project is to increase the competitiveness of the European semiconductor, system integrator and EDA industry by addressing the problem of platform-based design space exploration under consideration of power and performance constraints early in the design process. High performance usually causes high power consumption. A main challenge in today's embedded system de ...
Read Project

 15

 FINISHED 

A Correct-by-Construction Workbench for Design and Verification of Embedded Systems (COCONUT)

Start date: Jan 1, 2008, End date: Jun 30, 2010,

Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving predictable system properties.The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all r ...
Read Project

 10