7 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems (CONCERTO)
Date du début: 1 mai 2013, Date de fin: 30 avr. 2016,
Emerging embedded systems platforms harnessing new heterogeneous, multicore architectures to enable the next generation of powerful mission-critical applications are demanding across-the-board advances in all areas of design and development to fulfil their promise. The integration of component-based design with model-driven development creates a potent combination especially capable of mastering t ...
Voir le projet
16
Participants partenaires
TERMINÉ
Open Platform for EvolutioNary Certification Of Safety-critical Systems (OPENCOSS)
Date du début: 1 oct. 2011, Date de fin: 31 mars 2015,
Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical embedded systems. European innovation and productivity in this market is curtailed by the lack of affordable (re)certification approaches. Major problems arise when evolutions to a system entail reconstruction of the entire body of certification arguments and evidence. F ...
Voir le projet
21
Participants partenaires
TERMINÉ
Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development (TOUCHMORE)
Date du début: 1 sept. 2011, Date de fin: 31 mai 2014,
...ion strategy coupled with high level modeling, these contribution will give the European research on embedded software a leading position.The project results will be commercially exploited by the SME ATEGO as a specialised software tool vendor and by the company AKHELA that is an IT services and Embedded Systems provider to large scale companies in areas such as automotive, avionics and consumer e ...
Voir le projet
8
Participants partenaires
TERMINÉ
More Integrated Systems Safety Assessment (MISSA)
Date du début: 1 avr. 2008, Date de fin: 30 juin 2011,
"The increase of aerospace systems complexity has meant that by using existing methods for systems development, industry has reached a barrier to innovation and a risk to the competitiveness of products. This is characterised by an increasing time to market for new technologies, increasing costs to demonstrate proof of safety, a greater demand for skilled resources and a limitation on design itera ...
Voir le projet
13
Participants partenaires
TERMINÉ
Trusted Embedded Computing (TECOM)
Date du début: 1 janv. 2008, Date de fin: 31 mars 2011,
Trusted Computing (TC) has become meanwhile an established technology for verification and implementation of integrity and security at personal computers. Similar requirements are also needed for embedded computing platforms which have alike trust and security problems due to the increasing complexity and therefore instability of Os and applications as well as connection to the Internet with its s ...
Voir le projet
11
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
12
Participants partenaires
TERMINÉ
SysML bAsed modeling, architecTUre exploRation, simulation and syNthesis for complex embedded systems (SATURN)
Date du début: 1 janv. 2008, Date de fin: 31 déc. 2010,
SATURN's goal is to bridge the current gap between modelling and verification/synthesis in UML based designs of Embedded Systems that are equally composed of HW and SW. To do this, the UML profile for MARTE is evaluated for its complementary application with SysML, and significantly improved adding formal semantics of different Models of Computation for integrated modelling and verification enviro ...
Voir le projet