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.

http://www.lbriand.info