2 European Projects Found
Searched on 125080 European Projects
FINISHED
Combined Model-based Analysis and Testing of Embedded Systems (MBAT)
Start date: Nov 1, 2011, End date: Dec 31, 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 ...
Read Project
42
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
