From high-integrity embedded systems to resiliant autonomous cyber-physical systems

Authors :: Cancila, Daniela
Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
Université Paris Saclay
Frédéric Mallet, Université Cote d’Azur, Deputy Director of Laboratoire I3S (UMR CNRS 7271), INRIA Sophia Antipolis Méditerranée INRIA Sophia Antipolis Méditerranée
Cancila, Daniela
Source :: Computer Science [cs]. Université Paris Saclay, 2022
Publication Year :: 2022
Publisher :: HAL CCSD, 2022.

Subjects :: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]
Systèmes cyber-physiques autonomes
Contract-Based Approach
[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE]
fiabilité
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
[INFO] Computer Science [cs]
[INFO.INFO-ES] Computer Science [cs]/Embedded Systems
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
systèmes embarqués
Formation aux CPS
[INFO]Computer Science [cs]
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Autonomous Cyber-Physical Systems
Safety
CPS Education
Embedded Systems
approche par contrat

Tools