4 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties (CONTREX)
Date du début: 1 oct. 2013, Date de fin: 30 sept. 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 ...
Voir le projet
15
Participants partenaires
TERMINÉ
SMArt systems Co-design (SMAC)
Date du début: 1 oct. 2011, Date de fin: 31 mars 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 ...
Voir le projet
18
Participants partenaires
TERMINÉ
CO-design and Power Management in PLatform-based \nDesign Space EXploration (COMPLEX)
Date du début: 1 déc. 2009, Date de fin: 31 mars 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 ...
Voir le projet
15
Participants partenaires
TERMINÉ
A Correct-by-Construction Workbench for Design and Verification of Embedded Systems (COCONUT)
Date du début: 1 janv. 2008, Date de fin: 30 juin 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 ...
Voir le projet