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
Partners Participants
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
Partners Participants
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
Partners Participants
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
