Since its establishment in 1974, Aalborg University (AAU) has pursued a problem-based learning (PBL), also by extensive collaboration with the surrounding society. The department of Computer Science at AAU has a long-standing and internationally recognized body of research into both foundational and logical theories as well as algorithms and tools for verification, validation and methodologies for real-time and embedded systems. Using the verification tool UPPAAL, numerous software problems in a variety of domains have been tackled over the past decades. One of the key research areas is the 'safe and secure society', which recognizes the need for trust that systems work as intended in an increasingly automated world. More recently, the department has been involved in several water-infrastructure related research project, like Distributed Online Monitoring of the Urban Water Cycle (DONUT) , Controlling Water in an Urban Environment (CLAIRE), and Verifiable and Safe AI for Autonomous Systems, in collaboration with other academic (civil engineering) and industrial partners in the field of (urban) water management.
As a higher education and research organization, the contribution to the project mainly focuses on work packages 1 and 2. In work package 1, From Knowledge to Practical Approach, AAU contributes by sharing the vast knowledge and experience in obtaining verifiable software for embedded and cyber-physical systems. Together with the other partners, AAU researchers will identify gaps and barriers that arise when implementing academic solutions in practice, resulting in a roadmap for the future. In work package 2, From Pilot Testing to Real-World Application, AAU contributes by collaborating with industrial partners to work on an actual real-world case, hence bridging between theory and practice. Subsequently, results and lessons-learned from this case will be distributed to the other partners within the project, but also to members of the wider community of observers.