I would like to add a word of caution here.
No matter what we do to test and build ATC systems they will fail. This is a fact of life. To prove it here are 4 failures in the last 4 months in Europe alone
1) Failure of LACC to get out of Night Time Configuration
2) Failure of Maastricht Flight Data System
3) Total Power Outage at ScACC
4) Total Radar Failure at Maastricht
On the aircraft side its just as bad, radios fail, transponders give out bad mode C returns.
By all means let the computers do the work, but always,always be in a position where the controllers and the pilots can keep everyone safe if something breaks.