The overall objectives of this project is to develop further the academic cooperation and interaction between the three participating universities, in order to build solid knowledge on the design and analysis of High-Assured Autonomous Systems. The project is financially suported by the Nordplus programme. The Nordplus Higher Education network Development of High-Assured Autonomous Systems is composed of three universities: Tallinn University of Technology (TUT), Technical University of Denmark (DTU) and Åbo Akademi University (AAU).