Search for European Projects

"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 ...

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 ...