Comment la NASA code sans bug

Crée ton site facilement avec Hostinger en utilisant ce lien : 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 : • how NASA writes space-...
- Les 10 règles : www.researchgate.net/publicat...
- L'accident d'Ariane 5 : www.aria.developpement-durabl...
- Dijkstra : www.cs.utexas.edu/~EWD/transc...
- Théorème de Rice : fr.wikipedia.org/wiki/Th%C3%A....
💻ME SOUTENIR : / v2f ou fr.tipeee.com/v2f
🔴 ME REJOINDRE SUR TWITCH : / iv2fi
💬 LE DISCORD : / discord
⚙️ MON SET UP : www.amazon.fr/shop/v2f
Merci de me suivre !
📱 ME SUIVRE SUR LES RÉSEAUX :
► Ma chaîne secondaire : / @bestofv2fstreams
► TikTok : / iv2fi
► TikTok Gaming : / v2f_clips
► Twitter : / iv2fi
► Instagram : / iv2fi
► Facebook : / iv2fi
🛒 Code créateur sur l'Epic Games Store : V2F
A bientôt !

[@V2F]

Crée ton site facilement avec Hostinger en utilisant ce lien : 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) ! Vous attendez pas à un tel rythme, c'est exceptionnel haha J'ai dû rusher à fond ce mois-ci pour que 2 vidéos sortent et que les sponsos soient faites à temps, je sais pas si ça se voit d'ailleurs dans cette vidéo ? J'espère que ça vous plaira en tout cas !

[@ytb3737]

t’es montage + storytelling nan t vrmt fort

[@Flowox_1]

Ggg déjà une nouvelle vidéo

[@Flowox_1]

Stppp fais nous une vidéo tutoriel frR t’explique trop bien si t’a pas 1 000 000 de vue j’comprend pas

[@siro3904]

Merci BG

[@Brainphantom-hf9mm]

Cool la video

[@le_wiwi_]

Deux vidéo en une semaine ?? Incroyable

[@user-wk9uu3ow2j]

oe javous

[@paulpascual]

Bravo! Plutôt 😊

[@deathwolf_sidney6604]

Faut bien parler d hostinger 🤣🤣🤣

[@jesaispaseu499]

Bientôt les vacances faut qu'il sorte les vidéos avant que les gens arrêtent de regarder

[@luc--33]

Réel

[@user-yj5hi2qo3d]

V2F c’est sûrement la meilleure évolution d’une chaîne FR, de CoD à des vidéos absolument géniales sur le dev et l’IT

[@V2F]

Merci c' est gentil !

[@nomindisponible5420]

​@@V2F non il voulait dire que tu partais de loin 🤭

[@silver1410]

On peut dire qu'il est passé de CoD à CODE, non ? (pas taper svp)

[@user-yj5hi2qo3d]

@@nomindisponible5420pas du tout

[@fariobross878]

​@@silver1410 tappeerrrrrrrrrrrrrarghhh

[@dourour6737]

Bonjour, je fais de l'informatique théorique, et je voudrais rectifier quelque peu l'introduction de la vidéo: il est vrai que le théorème de Rice nous donne comme résultat qu'il n'existe aucun programme qui peut vérifier n'importe quel code et dire s'il est correct, mais c'est faux de dire qu'on ne peut pas prouver qu'un code en particulier est correct; en fait il existe même des assistants de preuve, comme coq, qui permettent ça, et même si c'est un travail très conséquent, certains programmes sont "certifiés" sans bug: on a prouvé qu'ils respectaient leur spécification

[@dartstone238]

J'etais venu dire ca. L'aéronautique/spatiqle contient pas mal de code prouvé, sur les éléments les plus critiques.

[@RaynaIdo]

La première fois que je vois 2 vidéos en 1 semaine, merci V2F.

[@V2F]

Les miracles existent

[@nightmare694]

@@V2F ta chaine est la pour le prouver 😉

[@ZodalMC]

ce mec est une masterclass, que ce soit qualité de narration ou de montage tout les éléments sont réunis pour former une vidéo intéressante et dynamique ! ma meilleure découverte 2023.

[@V2F]

Ça fait plaisir merci beaucoup

[@ok_nice___]

FYI dans l'aeronautique / aerospatial, pour plus de sécurité les codes qui sont certifiés doivent être écrits dans (au moins) 2 languages différents par 2 personnes différentes avec des inversions dans la logique (A = B ou C dans un langage et A = C ou B dans l'autre par exemple). Redondance, double verification et si jamais y a un système qui plante l'autre fonctionne toujours et peut toujours prendre le relai. Super vidéo !

[@sketchychillandchill]

Pour avoir fait un système pour de l'aviation c'est l'enfer. Même au niveau matériel y a de la redondance par 3 avec un système à la majorité

[@creablefr3165]

Redondance oui, mais multiples langages, faut pas abuser non plus. Par contre, une forme de redondance intrinsèque à un même code: la TDD, qui implique une séparation entre tests et dev, par deux devs différents. Et quasi forcément en deux langages différents : celui du dev et celui du test. On résout pas mal de bug parce que soit le test est bogué, soit le dev est bogué. Mais plus rarement les deux de la même manière. Oh et donc pour tout ça, il faut que les fonctions à tester soient bien définies... Et ça elle sont définies par une spec. Pour faire un code pas bogué, il faut une spec pas bogué, et idéalement testée...

[@arthurcarcano7782]

Vidéo très bien réalisée. 😁 Une petite erreur cependant: il est possible de prouver qu'un programme donné ne contient pas de bug. C'est ce que l'on peut faire avec les méthodes dites "sound" (par opposition à celles "complete") comme l'interprétation abstraite, le model checking, ou la preuve automatique, qui sont utilisés pour les systèmes les plus critiques. Les pilotes automatiques des métros parisiens 1 et 14 ont été prouvés avec la méthode B par exemple. Les micrologiciels de carte à puce, les composants de certains airbus etc sont également prouvés. On peut également considérer que le typage fort prouve certaines propriétés (par exemple de sûreté mémoire en Rust), mais moins fortes que les méthodes précédentes. Ce que dit le théorème de Rice, c'est qu'on ne peut pas écrire un programme qui prouve la correction de n'importe quel programme qu'on lui donnerait en entrée. C'est en fait similaire au problème de l'arrêt: On peut facilement montrer qu'un programme qui n'a pas de boucle, de goto ou de récursion va terminer, on peut même écrire un programme qui vérifie cette propriété sur d'autres programmes (on vérifie qu'il n'y a pas de boucle/goto/récursion, et on renvoie "ok"), mais on ne peut pas écrire un programme qui puisse nous dire, quelque soit le programme qu'on lui donne en entrée, si il va terminer ou non.

[@fumseck]

Et pour la reference pour ceux que ça intéresse, voir le logiciel Astrée qui a prouvé les logiciels d’Airbus avec les principes de l’interprétation abstraite mentionnée !

[@florian_bs33]

j'étais justement en train de me dire "ah yaura pas de video de v2f il en a déjà fait une cette semaine... love u bro ❤❤

[@zboobafett5984]

Salut ta vidéo m'a fait à un cours d'info que j'ai eu pendant ma formation (où on parlait justement d'ariane 5). Un des outils que l'on utilise aussi pour éviter les bugs c'est les assistant de preuve comme Coq. Ce genre d'outil permet vraiment rigoureusement de connaître avec démonstration mathématique le comportement d'une fonction.

[@Adriensympathique]

Bossant dans les logiciels embarqués pour satellite, je valide ta vidéo. Très synthétique et claire !

[@V2F]

Ça fait plaisir merci 🙏

[@Caenem_]

Quelle entreprise si c'est pas indiscret ?

[@jlnoe7817]

Yoooo je suis un jeune étudiant en informatique et j'aimerais vraiment me diriger vers ce domaine que me conseille tu pour apprendre car je veux me lancer (quelle language de programmation ?/ Comment m'entraîner ? ) c'est un domaine qui me passionne depuis tout petit et j'aimerais vraiment bossé dans ce domaine ! Voilà j'attends ta réponse avec impatience !

[@bobchristophe2242]

@@jlnoe7817T’es un jeune étudiant en informatique mais là se que tu demandes tu es déjà sensé le savoir

[@TheMagicBretzel]

Tas ?

[@amzogm8749]

Je trouve que Rust est vraiment efficace pour aider à suivre les bonnes pratiques de programmation. Bien sûr, le langage à lui seul ne peut pas tout faire, mais il facilite vraiment les choses. Super vidéo, continuez comme ça !

[@TheoB2818]

Bien d'accord ! Mais ce n'est pas un langage de débutant. Le mieux c'est de faire du C, ce planter pas mal de fois avec la gestion de la mémoire puis ce mettre au RUST.

[@D4rkJvck]

Moi j'ai pas fait de C...mais Rust est mon langage préféré...son system de gestion des erreurs est très interactif...et ça forge ta manière de coder je trouve...

[@sketchychillandchill]

​@@D4rkJvcket ça évite d'avoir des pointeurs dans tout les sens et de plus savoir ce qu'on a free

[@libellian]

@@TheoB2818 Arf,c'est compliquer de poser des assertions comme ca du genre il faut commencer le C avant le rust. Je suis d'accord que le rust n'est pas LE langage a conseiller a toutes les perssonnes qui veulent aprendre le code. Typiquement je trouve que le python est plus simple pour commencer. Je trouve aussi qu le python est plus pratique pour prototyper un projet en quelque jours. Mais pour les perssonnes qui on le temps, ou qui font un projet relativement long et complex, alors le rust est un exelent choix meme pour des debutant. Quand on reflechie au meilleurs langage pour debuter, en fait on se pose aussi la question des raisons qui pourrait nous pousser a abandoner. Effectivement la rigueure du rust pourrais decourager certaines perssonnes, mais quand on comnmence a avoir un gros projet qui ressemble un peu a une usine a gaz, la rigueure de rust nous protegera d'un ensemble de bug compliquer a enticiper ou a reproduire en comparaison a python. Et le fait d'avoir investie beaucoup de temps pour au final avoir un gros paquet de code inutilisable, ca peut carrement demotiver. Donc commen d'ab je dirait que la reponse n'est pas aussi simple et que ca depend des situations particuliere.

[@DalicsOS]

Rust n’a pas la maturité de C ou C++ 😅

[@frikkan4518]

Le montage de la vidéo est INCROYABLE ! C’est très très agréable à regarder (et à écouter)

[@Fl0x0]

*c’est Ariane 5*, *C’ETAIT ARIANE 5* mdrrrr banger cette phrase

[@user-wk9uu3ow2j]

grave

[@Shadow-pz2rj]

"Éviter les pointeurs" 🤨

[@darknight-xf5ls]

Mec je regarde la video pile quand j'ouvre le com la phrase que ta marqué s'affiche@@Shadow-pz2rj

[@Shadow-pz2rj]

@@darknight-xf5ls mdr

[@Lohn-spike]

Où il sort la phrase?

[@mayonnaiseetcookies]

C'était le sujet de mon grand oral, tu viens de tout résumer x) super vidéo !

[@miiforlong3020]

j'ai adoré ta vidéo, tu expliques très bien, c'est très clair et les pointes d'humour rendent le tout parfait, continue ainsi

[@gabzdev]

Maintenant, tous mes projets seront propres avec ses 10 règles de la NASA. Merci à toi pour cette vidéo instructive !

[@ariastudio54]

Encore une superbe vidéo, merci d'expliquer aussi clairement et de plus avec une superbe qualité

[@Rom1Snooze-d3l]

Toujours incroyable montage et donc très simple de comprendre ce que tu expliques 👍🏼

[@stanbig_officiel]

Je connaissais pas ta chaîne, continue très intéressant, continue comme ça. Entre temps j’embarque dans ton bateau

[@samuelneveu2790]

J'ai fais l'école 42 et on avait les mêmes règles et normes pour nos projets 🤯 Merci très bonne vidéo !

[@BaptisteRoche]

Ce sont des règles générales !

[@jeanphilippeardrone5135]

Je travaille dans le ferroviaire, et pour le code qui protège la vie des gens (genre le code qui vérifie que le train ne dépasse pas les limites de vitesses ou ne franchit pas de signal fermé) on applique aussi des règles hyper strictes similaires à celles que tu a décrites. Un point non abordé mais aussi hyper important c'est qu'on a un type déclaré par type de donnée transportée.Genre si tu met vitesse = hauteur + 1 bah ça marchera pas parce que la variable vitesse sera de type vitesse et la variable hauteur de type distance, même si les 2 sont des float sous-jacents. Et on réduit nos types au maximum aussi. Par ex pour une vitesse de train c'est pas au delà de 500km/h. Et c'est différent des checks de return parce que ces checks sont fait en permanence. Le language privilégié pour tout ça c'est le ADA.

[@JohSmith]

Je te suis depuis longtemps et ta chaîne a vraiment bien évolué.

[@crazygeekman4068]

Explications très qualitatives, très intéressant !

[@MrUnitWorld]

Ultra intéressant merci, des règles simples que je vais essayer d'appliquer dès maintenant.

[@BuscaXY]

Master class ! Vidéo vraiment agréable et montage juste waouh

[@ethant.2569]

en tant que jeune devloppeur, toujour un plaisir de regarder tes videos ;)

[@klamoux]

Celà fait plusieurs fois que ta vidéo m'est proposée dans mes suggestions. J'ai fini par cliquer dessus en attendant rien de fou, mais j'y ai découvert un sujet hyper intéressant avec une narration et un montage bien rythmé ! Merci, je crois que tu as gagné un abonné ;)

[@V2F]

Ça fait plaisir, merci et bienvenue !

[@klamoux]

@@V2F surtout que j'ai passé un BTS en programmation informatique ;) et finalement je me suis reconverti dans un métier manuel en atelier. L'informatique reste un loisir

[@Tom-eu2gq]

style de montage et d’explications super ! très bonne vidéo et concept

[@SpyroxasVOD]

Toujours des vidéos super propres ! Vraiment top ! Mix entre histoire, vulgarisation informatique et code 👌Hâte de revoir un projet fun aussi (même si j'imagine que c'est beaucoup plus long à faire) 😅

[@aramisjdd6387]

la vidéo à pris une nouvelle dimension cette semaine

[@Fisherio9741]

C'est de très loins la vidéo la mieux montée que j'ai pu voir de toute ma vie.

[@Jordan-my5gq]

T'as pas dû voir beaucoup de vidéos dans ta vie. Je peux te donner 2 KZbinurs et 1 KZbinuse avec des très bons montages si tu veux, mais ils n'ont rien à voir avec le dev.

[@Fisherio9741]

@@Jordan-my5gq non merci ! Et c'est balot pour un KZbinur comme moi 🤣😭

[@Jordan-my5gq]

@@Fisherio9741 Effectivement si t'es KZbinur c'est bizarre mdr. Bonne chance pour ta chaîne.

[@Fisherio9741]

@@Jordan-my5gq Après quand je compare à des montages de KZbinurs connus comme Squeezie ou Mr beast, je trouve que le montage de V2F est largement mieux

[@lucaspoussard8279]

Ce montage vraiment c'est un délice

[@smako8374]

ptn je suis tjr content de voir une de tes nouvelles videos , tu régale !

[@user-vw8ro3fj5l]

DEUX VIDEO EN 1 SEM !!!! C’EST INCROYABLE

[@yurrax256]

Les vidéos sont tellement bien monter c’est agréable à regarder, vraiment.

[@V2F]

Merci !

[@samuelsarfati9314]

Divertissant, instructif, montage hyper agréable, bravo

[@user-sk3ux9lq4q]

Trop cool une nouvelle vidéo. Si tu pouvais sortir des vidéos fréquemment ainsi se serait le paradis

[@angeatgr]

T'es un monstre, bravo pour la qualité de la vidéo.

[@martinpecheur-xh1qp]

Je ne suis pas développer mais passionné d'astronomie. J'ai trouvé cet épisode passionnant. Je me suis souvent demandé en effet comment les gars faisaient pour optimiser leurs codes afin d'éviter tout bug menant à une cata type Arianne 5. Merci pour cet éclairage détaillé même si j'ai pas tout compris. Le montage est génial et plein d'humour ce qui ne gâche rien.👍

[@V2F]

Merci ça fait plaisir !

[@MrK0bayashi]

Merci pour cette vidéo !!! Ultra instructif.

[@sadokidahound]

Bonjour, C'est la première fois que je regarde ta vidéo et je trouve le montage énergétique et drôle.

[@V2F]

Merci 🙏

[@funnycats9436]

Les pointeurs mon pire cauchemar💀

[@F4LZ0N]

Surtout quand ils te couraient après la nuit quand t’avais 8 ans ! Quel enfer ! // char* rire

[@BaptisteRoche]

Y'a rien de compliqué pourtant ^^

[@user-sk3ux9lq4q]

J'aime beaucoup plus les vidéos oú tu créé des projets. C'est plus cool. Néanmoins, tu es le meilleur

[@V2F]

On va sûrement y retourner oui 👍 par contre c’est beaucoup plus long à faire

[@Shadow-pz2rj]

J'suis d'accord, j'ai bien ces vidéos Storytelling, mais s'il peut y avoir des vidéos sur des projets de temps en temps ce serait vraiment cool

[@orizz300iq]

Deux vidéos en une seule semaine ? Mais quel gigachad ce V2F

[@CEDZEE]

Encore un banger!! Il y a que des masterclass dans ton historique ouuuu?

[@paulcosinus752]

MASTERCLASSE comme toujours 🔥

[@V2F]

Merci 🙏

[@sarahbenzai5358]

Je suis bluffée par la qualité de tes videos! tu as une nouvelle abonnée 😄

[@aboulayecamara1954]

Tes vidéos sont trop cool 🤩. J'aime bien les animations ça rend tes explications plus intéressante. Bref force à toi epour que tu continues à nous offrir du beau contenu et merci❤

[@V2F]

Oh merci beaucoup !

[@user-ef8vz3ku8p]

Tes vidéos sont très passionnantes

[@remibouyer7407]

10 règles ? On ne peut pas le prouver ? Ça me parle

[@brahimsliti156]

Montage, contenu, excellents.

[@owner-6234]

toujours des conceptes incoyable !

[@PRISMA16.]

Je connais rien en codage mais en regardants ta vidéo sa me donne envie :o

[@olivier801]

Super vidéo, avec beaucoup de valeur, merci !

[@yann4174]

2 video en une semaine 👍👍nice .... toujour aussi qualit maintenant je prepar mon CV pour la NASA, il accepte les freelance🙃

[@rusticagenerica]

Vidéo super bien montée. Bravo.

[@V2F]

Merci

[@civismesecret2795]

Je tombe sur cette vidéo par hasard via les recommandations, la qualité du montage est exceptionnelle. +1 abo

[@V2F]

Bienvenue 🙏

[@mike_datpseudo]

masterclass la vidéo, merci

[@rainboww_ui2755]

La musique a 4:21 c'est : Progression par Birraj (j'ai galéré à trouvé) ps: La vidéo est vraiment bien et le montage trop bien fait, gg.

[@Aebid94]

Ton montage est excellent !

[@timouuuuute]

incroyable vidéo comme d'habitude🤩

[@Fl0x0]

Bonne vidéo !!

[@gabgames3659]

Quelqu'un connait le nom de la musique de piano en arrière plan au début de la vidéo ?

[@LeHalazoone]

Excellent travail !

[@campro7563]

Le titre attire beaucoup plus, tu mérite plus de vues bonne chance à l’avenir

[@AlizeeDuFailleux]

Je m’appelle Ariane et j’apprends que j’ai plein de clone fusée😂

[@nebhoteproville]

Vous en avez 6 :p la première fusée de la 6e génération est lancée ce soir d'ailleurs :D

[@D00MER_]

🔥🔥🔥 productif En plus c’est passionnant et relativement accessible, en fin de term NSI on connaît la plupart des thèmes et tout.(Dijkstra, récursivité et stack overflow, bits, goto et longjump…)

[@antozk2813]

Ayant été en licence d'info je m'attendais à ce que tu parles du langage Ocaml, justement utilisé pour des situations nécessitant un code très sûr

[@shikyu732]

Let’s go on va en prépa cette année 🥲

[@shadowofthejaguar7068]

tester c'est douter, merci du conseil. Je vais balancer en prod vendredi soir

[@meldyluova3340]

de rien pour le don. ça m'a fait plaisir 🥰

[@Polars011]

c'était vraiment très intéressant

[@Craig22110]

Ça ne parais rien comme ça mais ça rend la tâche beaucoup plus complexe, la simplicité est toujours plus complexe et je dit chapeau aux dev capable de le faire quasi naturellement !

[@samy_mrz]

aie les oreilles, les sfx et les musiques sont super fort

[@Stormyzer]

Salut merci pour la vidéo. C'est quoi les musiques utilisés dans la vidéo ?

[@benfort3904]

Très bonne vidéo ! 👍

[@user-yp2ii5gl1p]

Nice, vraiment Nice.... c'est tres utile pour nous la! Merci.

[@TheMogn]

J'aime vrmt bcp le montage

[@user-qz8gv5mt1t]

Elle sont super c'est petite vidéo continue comme ça 👍

[@V2F]

Merci 🙏

[@FouseQuentin]

Mais c'est bon ça ! Merci beaucoup 😙

[@animezone1784]

donc en gros pour la regle3 on doit eviter le plus l'allocation dynamique?

[@extazik6776]

Franchement V2F est l'exemple parfait de ce qu'on peut devenir une fois qu'on arréte league of legend X-D

[@popovitchyannick3806]

Super vidéo très intéressante ! Mais je pensais que tu parlerai des "méthodes formelles", des méthodes mathématiques qui permettent de prouver l'absence de bug justement. Utilisé en france pour les TGV et les avions, comme avec le logiciel "Scade" ou le langage "Ada". Je taf moi même avec ces méthodes. Elles ont été imaginés par Alan Turing lui même, mais il avait mas le temps de bosser dessus. Elles sont largement utilisées pour vérifier qu'un circuit imprimé est bon avant d'en produire des centaines, ou pour démontrer qu'un algo de cryptage ne peux pas livrer ses secrets.

[@ferreolduboiscoli]

J'adore ! Superbe vidéo !

[@V2F]

Content de l’apprendre

[@DeMoNELectro]

les vidéos sont bien monté dire que j'était là parmis les tout premiers abonnées tellement fière

[@0pium_33]

le montage est toujours aussi fou

[@WeazelNew]

salut V2F j'adore t'es video j'ai une question comment tu as fait l'effet 'CRT tv ' au debut de ta video j'adore je vois ca partout

[@baptisteauduge8123]

Excellent ! Réussir à faire le lien avec de l'informatique théorique tel que le théorème de Rice, on voit pas ça tout les jours !

[@silvanwave]

Incroyable la narration

[@lantfeuscool]

video trop bien comme toujours

[@Adelyas192]

C cool v2f tu publie de plus en plus de master class

[@XimaPC]

stp continue tes vidéos

[@imputii4084]

Super vidéo 💪🔥

[@boboyourslime8718]

Super video je vais changer ma maniere de coder

[@leroiarouf1142]

Masterpiece ta vidéos

[@xzylak3350]

Super vidéo ! Est ce que je pourrais avoir le nom de la musique de fond 6:31 svp

[@gablurg6901]

T'as expliqué en 1 phrase ce que j'ai pas compris en 2 ans de SIN : pourquoi coder correctement au lieu de ce qui est enseigné, merci 😭😂 À partir d'aujourd'hui finit le paragraphe décla de variable de 100 lignes 😤

[@carlibouros]

Supers conseils pour des développeurs qui auraient démarré l'informatique en 1987 !!!

[@Louloulepoux35]

Privilégier les variables alloué sur le tas (heap) et éviter le plus possible les pointeurs, y a une incohérence là ?