Rechercher des projets européens

2 projets européens trouvés

Recherche sur 125080 projets européens

 TERMINÉ 

Combined Model-based Analysis and Testing of Embedded Systems (MBAT)

Date du début: 1 nov. 2011, Date de fin: 31 déc. 2014,

"One of the most important strategic sectors in which Europe is developing, integrating and delivering high-quality products is the transportation domain. Here, high-class safety-related products as e.g. airplanes, cars and trains have a huge market impact. More and more of the market value of these vehicles is gained by embedded systems inside these products, and the number and importance of thes ...
Voir le projet

 42

 TERMINÉ 
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

 10