De nombreux systèmes critiques de sûreté de fonctionnement, comme les systèmes de transport, intègrent des systèmes basés sur davantage de logiciels et sont, de plus, connectés et autonomes. De tels systèmes cyber-physiques (...)