On November 6th, 2020  at 1.00 pm, Claudio Menghi, University of Luxembourg, will hold an online seminar on “Verification and Validation: from Theory to Practice and Back Again” .

Engineers need automated verification. The verification and validation activities (V&V) are still (mostly) based on repetitive manual tasks that need to be automated. Regardless of the specific domain, e.g., aerospace, robotic, or medical, building reliable software systems requires engineers to spend an exorbitant amount of time in V&V. During the last decades, the research community has developed automated verification techniques to help engineers with V&V. However, by collaborating with industrial partners, e.g., an aerospace company (LuxSpace in Luxembourg), one tool vendor for the aerospace and defense sectors (QRA Corp in Canada), and two robotic companies (Bosch in Germany and PAL robotics in Spain), I observed that many challenges still need to be addressed for making these techniques applicable in practice. These challenges are cross-cutting and inter-disciplinary, involve many research areas, and they often need to be addressed from both a theoretical and a practical standpoint.

In this talk, the speaker will report his research contributions in the context of V&V. Specifically, the speaker will present V&V techniques that support (i) engineers in the development of Cyber-Physical Systems (CPS); (ii) the development and design of software for robotic applications; and (iii) the analysis of timed-automata and incomplete and partially specified models. The speaker will examine his research, report his results, and reflect on the importance of combining theory and practice. Finally, prof. Menghi will discuss future research directions.

Virtual room: https://politecnicomilano.webex.com
Meeting number: 121 168 8880
Password: AgaiPHxg233
1be001095d944f879522b64452544801

By phone:
+44-20-7660-8149 United Kingdom Toll
Access Code: 121 168 8880