Ressource pédagogique : Faites-vous confiance à votre thermostat ?
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 e...
Mots-clés :
cours / présentation, démonstration - Date de création : 22-06-2022
Présentation de: Faites-vous confiance à votre thermostat ?
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : pas libre de droits, gratuit
Ce document est diffusé; sous licence Creative Commons : Paternité; - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Ce document est diffusé; sous licence Creative Commons : Paternité; - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Description de la ressource pédagogique
Description (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 ?
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (005.14)
Thème(s)
Informations pédagogiques
Informations techniques sur cette ressource pédagogique
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Valérie François
Editeur(s)
-
Inria / Interstices
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Lélio Brun
ISAE-SUPAERO
ÉDITION
Inria / Interstices
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7569 -
Identifiant
unit-ori-wf-1-7569 -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
22-05-2015
