Faites-vous confiance à votre thermostat ? - Archive ouverte HAL
Article Dans Une Revue Interstices Année : 2022

Faites-vous confiance à votre thermostat ?

Résumé

Certains systèmes logiciels qui interagissent avec le monde réel ne doivent échouer sous aucun prétexte, au risque de provoquer des catastrophes. Comment s’assurer que ces systèmes sont sûrs ? En particulier, quel degré de confiance accorder au processus de traduction de ces logiciels vers du code exécutable ?
Fichier non déposé

Dates et versions

hal-03750359 , version 1 (12-08-2022)

Licence

Identifiants

  • HAL Id : hal-03750359 , version 1

Citer

Lélio Brun. Faites-vous confiance à votre thermostat ?. Interstices, 2022. ⟨hal-03750359⟩
26 Consultations
0 Téléchargements

Partager

More