Write a Blog >>
Mon 20 - Fri 24 September 2021
Thu 23 Sep 2021 10:40 - 11:50 at Stadium - Keynote: Lionel Briand Chair(s): Michael Vierhauser

The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs are typically expressed using signal-based temporal properties. Expressing and verifying the compliance of such requirements is challenging in practice. In this talk I will report on the solutions that were developed at the SnT Centre of the University of Luxembourg and draw lessons learned from our experience in the satellite industry.

Thu 23 Sep

Displayed time zone: Eastern Time (US & Canada) change

10:40 - 11:50
Keynote: Lionel BriandKeynotes at Stadium
Chair(s): Michael Vierhauser JKU Linz
Signal-based requirements for Cyber-Physical Systems: Specification and Run-time Verification
Lionel Briand University of Luxembourg; University of Ottawa