UTRC-Ireland has a double role in SHERLOCK, both as managing piloting studies in its sister company OTIS – largest elevator manufacturer- and as a technology, provider mobilizing RTD teams in Ireland and Italy (UTRC-ALES) who has an active part in the development of HRI and formal methods for online safety assessment. Furthermore, UTRC-Ireland is leading WP1, driving the requirement and specification definition activities.”