Rechercher des projets européens

2 projets européens trouvés

Recherche sur 125080 projets européens


Correctness by Construction (CORCON)

Date du début: 1 janv. 2014, Date de fin: 31 déc. 2017,

"As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!Correct by construction programming offers a revolutionary approach to program verification where programs can contain not just computations as is normal, but also ...
Voir le projet



Sensitivity Analysis for Deterministic Controller Design (SADCO)

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

Optimisation-based design of control systems is concerned with determination of control strategies for complex, dynamical systems, to optimise some measures of best performance. It has the potential for applications to a wide range of fields, including aerospace, chemical processing, transportation systems and resource economics.The multi-partner initial training network SADCO aims at: Training yo ...
Voir le projet