Se connecter S'inscrire

Code avec V2F V2F

Épisode 15

Comment la NASA code sans bug

8:2930 juin 2024

👍 Liker sur YouTube Soutenir sur Tipeee Soutenir sur Patreon

Comment était cet épisode ?

Ma note

Tags

Description de l'épisode

Crée ton site facilement avec Hostinger en utilisant ce lien : https://www.hostg.xyz/SHFdS et ajoute le code coupon V2F pour une réduction supplémentaire de 10% (sur un abonnement de 12 mois ou plus) !

Aujourd'hui, on va se demander comment il est possible de produire un code sans bug quand ce dernier doit être utilisé dans des conditions critiques et qu'une seule faille pourrait coûter la vie d'un Homme.

Resources :
- Ma vidéo s'inspire de celle de LowLevelLearning, je trouvais le sujet top et ça m'a donné envie de le traiter : https://www.youtube.com/watch?v=GWYhtksrmhE
- Les 10 règles : https://www.researchgate.net/publication/220477862_The_Power_of_10_Rules_for_Developing_Safety-Critical_Code
- L'accident d'Ariane 5 : https://www.aria.developpement-durable.gouv.fr/accident/31032/
- Dijkstra : https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD268.html
- Théorème de Rice : https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Rice#:~:text=En%20informatique%20th%C3%A9orique%2C%20plus%20pr%C3%A9cis%C3%A9ment,du%20probl%C3%A8me%20de%20l'arr%C3%AAt.

💻ME SOUTENIR : https://www.patreon.com/V2F ou https://fr.tipeee.com/v2f
🔴 ME REJOINDRE SUR TWITCH : https://www.twitch.tv/iv2fi
💬 LE DISCORD : https://discord.com/invite/APz8EYVqng
⚙️ MON SET UP : https://www.amazon.fr/shop/v2f

Merci de me suivre !

📱 ME SUIVRE SUR LES RÉSEAUX :

► Ma chaîne secondaire : https://www.youtube.com/channel/UC8Bh6qGPQgXuvGIlDmlabfg
► TikTok : https://www.tiktok.com/@iv2fi
► TikTok Gaming : https://www.tiktok.com/@v2f_clips
► Twitter : https://twitter.com/IV2FI
► Instagram : https://instagram.com/IV2FI
► Facebook : https://facebook.com/IV2FI

🛒 Code créateur sur l'Epic Games Store : V2F

A bientôt !

Épisode précédent

L'informatique quantique, c'est simple, en fait.

Épisode suivant

vas-y, viens, on recode Windows de zéro