4 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
VARiability In safety critical Embedded Systems (VARIES)
Date du début: 1 mai 2012, Date de fin: 30 avr. 2015,
...or managing variability in ES. The VARIES CoIE will support the European ES industry on the 3 aforementioned objectives.APPROVED BY ARTEMIS_JU On 23rd April 2015(partial transfer of rights from #14 ATEGO UK to #24 PTC).Part B description is for ATEGO UK + PTC together"
Voir le projet
29
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É
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