Signal-based requirements for Cyber-Physical Systems: Specification and Run-time Verification
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 SepDisplayed time zone: Eastern Time (US & Canada) change
10:40 - 11:50
|Signal-based requirements for Cyber-Physical Systems: Specification and Run-time Verification|
Lionel Briand University of Luxembourg; University of Ottawa