Resilience, and evolutivity and autonomy

To deal with change, critical computer-based systems of the future need to exhibit a high degree of evolvability and autonomy. To this end, we develop new theories and methods for describing, designing and analyzing dependable self-organizing and self-adapting systems.


Self-organizing fault-tolerant nanochips
On-line adaptation of fault tolerance software
Defenses for autonomously-adapting systems


Risk analysis for autonomously-adapting systems
Testing of autonomous system software