Key points are not available for this paper at this time.
Cette démonstration présente un cadre pour construire une infrastructure cyber-résiliente pour les Systèmes Cyber-Physiques (CPS) grâce à l'utilisation de contrats paramétriques hiérarchiques de type assume-garantie. Un modèle de formation de ligne de tri Fischertechnik avec détection de couleur est utilisé pour mettre en valeur notre cadre.
Ng et al. (Thu,) ont étudié cette question.