AirTalk.org Aviation discussions newsgroups   Archives   FAQ   Search   Memberlist   Usergroups   Register   Profile   Log in to check your private messages   Log in  Info informatique A380          AirTalk.org Forum Index -> Aviation et pilotage (Français) View previous topic :: View next topic   Author Message miserere Guest Posted: Wed May 16, 2007 12:54 am    Post subject: Info informatique A380 http://www.diffusion.ens.fr/index.php?res=conf&idconf=982 Ecole normale supérieure Fiabilité des logiciels, de l'A380 à Microsoft David Monniaux (CNRS) [3 décembre 2005 à 13h30] Depuis 60 ans, l'informatique a pris une place croissante dans notre vie quotidienne. Initialement réservée aux grands projets militaires, commerciaux et industriels, elle s'est rapidement répandue, et est de nos jours présente un peu partout dans le monde développé. De nombreux systèmes critiques (commande de vol d'avions, régulateurs de vitesse d'automobiles, machines de radiothérapie, missiles...) sont commandés informatiquement. De grands systèmes d'échanges commerciaux informatisés sont déployés. Enfin, à des niveaux de criticité moindre, les ordinateurs personnels ont de multiples usages. Tout utilisateur un tant soit peu fréquent de l'informatique s'est rendu compte que la fiabilité des systèmes courants n'était pas assurée : " plantages ", systèmes indisponibles, etc. Pourquoi ne fait-on pas des systèmes plus fiables ? Que fait-on pour augmenter la fiabilité des systèmes ? Que font les scientifiques à ce sujet ? Nous tenterons de répondre à ces questions, en nous appuyant notamment sur l'expérience du projet Astrée, qui a notammé porté sur les commandes de vol informatisées des Airbus A340 et A380. Back to top pierre35 Guest Posted: Wed May 16, 2007 2:26 am    Post subject: Re: Info informatique A380 "miserere" <inunumdeum (AT) aol (DOT) fr> a écrit dans le message de news: 464a0fd7$0$27397$ba4acef3 (AT) news (DOT) orange.fr... Quote: http://www.diffusion.ens.fr/index.php?res=conf&idconf=982 Ecole normale supérieure Fiabilité des logiciels, de l'A380 à Microsoft [...] Pourquoi ne fait-on pas des systèmes plus fiables ? parce que $$$$$$.... -- Pierre Back to top PatP Guest Posted: Wed May 16, 2007 1:24 pm    Post subject: Re: Info informatique A380 monloui <monlouiantispam (AT) ifrance (DOT) com> wrote in news:jxyw7gcsq0cz$.4i2nyse7xpds$.dlg (AT) 40tude (DOT) net: Quote: JPaul a écrit : la "bureautique" n'a vraiment, mais alors vraiment rien à voir avec l'informatique industrielle. je suis pleinement OK avec toi. les emmerd.S au boulot n'étaient généralement dus qu'à la connectique et l'environnement (humidité,vibrations des sondes,capteurs,interferences electrique). @+ Louis Ca se discute. L 'informatique industrielle, c'est de l'informatique generale dont on n 'a garde que ce dont on a besoin, evidement moins on en mets, moins ca tombe en panne.Entre des processeurs dopes et des logiciels gonfles (en taille) , plus beaucoup de place pour la fiabilite. PatP Back to top PatP Guest Posted: Wed May 16, 2007 2:48 pm    Post subject: Re: Info informatique A380 jerome balti <baltibloke (AT) hotmail (DOT) com> wrote in news:mn.83de7d7508c8a4f5.42336 (AT) hotmail (DOT) com: Quote: il y a quand même un peu de malédiction, toute l'électronique est sensible aux particules cosmiques qui nous bombardent en permanence (des dizaines nous traversent à chaque seconde), Un peu leger la! En fait des milliards traversent notre cerveau par seconde( enfin a peu pres parceque ca depends de la taille du cerveau ). PatP Back to top monloui Guest Posted: Wed May 16, 2007 5:55 pm    Post subject: Re: Info informatique A380 JPaul a écrit : Quote: la "bureautique" n'a vraiment, mais alors vraiment rien à voir avec l'informatique industrielle. je suis pleinement OK avec toi. les emmerd.S au boulot n'étaient généralement dus qu'à la connectique et l'environnement (humidité,vibrations des sondes,capteurs,interferences electrique). @+ Louis Back to top Laurent Guest Posted: Wed May 16, 2007 6:47 pm    Post subject: Re: Info informatique A380 PatP wrote: Quote: Ca se discute. L 'informatique industrielle, c'est de l'informatique generale dont on n 'a garde que ce dont on a besoin, evidement moins on en mets, moins ca tombe en panne.Entre des processeurs dopes et des logiciels gonfles (en taille) , plus beaucoup de place pour la fiabilite. Oui, enfin ça c'est la nouvelle tendance en vue de réduire les coûts. Mais sinon, sur un système embarqué sérieux (car on parlais ici d'embarqué dans l'A380), on ne prends pas des alims grand public, on prends des composants de type automotive ou militaire, des systèmes d'exploitation dignes de ce nom etc... D'ailleurs, prend le calculateur d'injection de ta voiture et essaye de revenir au système grand public qui a pu donner ça ! Back to top jerome balti Guest Posted: Wed May 16, 2007 7:30 pm    Post subject: Re: Info informatique A380 Quote: Mais sinon, sur un système embarqué sérieux (car on parlais ici d'embarqué dans l'A380), on ne prends pas des alims grand public, on le message du debut parle de tout de la fusee au grand public je voulais dire que la fiabilité n'est pas une malédiction , que ça a un cout en general et que selon les applications ... il y a quand même un peu de malédiction, toute l'électronique est sensible aux particules cosmiques qui nous bombardent en permanence (des dizaines nous traversent à chaque seconde), c'est pire en haute altitude carles énergies sont plus élevées il peut toujours y avoir des collision au mauvais endroit, en plein coeur du microprocesseur par exemple , ou le materiel peut otujours lacher pour des causes internes d'où la redondance nécéssaire en pratique , je crois que les probleme viennent souvent de defaut de programmation cependant (bug ariane 5 sur codage de valeur, confusion pour une sonde martienne entre les miles nautiques et terrestres par deux groupes de programmeurs ... z ont qu a travailler en km) -- Vacances à Oléron ! http://www.26266.ikoula.org/oleron/ Back to top pierre35 Guest Posted: Thu May 17, 2007 3:29 am    Post subject: Re: Info informatique A380 "jerome balti" <baltibloke (AT) hotmail (DOT) com> a écrit dans le message de news: mn.83de7d7508c8a4f5.42336 (AT) hotmail (DOT) com... Quote: en pratique , je crois que les probleme viennent souvent de defaut de programmation cependant (bug ariane 5 sur codage de valeur, confusion pour une sonde martienne entre les miles nautiques et terrestres par deux groupes de programmeurs ... z ont qu a travailler en km) Et, toujours en charte, le F16 qui passe en vol dos au passage de l'équateur Cause : changement de signe de la latitude mal pris en compte dans le logiciel On ne peut éviter des bugs résiduels, mais la fiabilité dépend entre autres du niveau de validation et donc du prix que l'on veut y mettre (voir sélection de tests basés sur les risques) -- Pierre Back to top Sylvain Guest Posted: Thu May 17, 2007 4:34 am    Post subject: Re: Info informatique A380 pierre35 wrote: Quote: Et, toujours en charte, le F16 qui passe en vol dos au passage de l'équateur Cause : changement de signe de la latitude mal pris en compte dans le logiciel c'est pas un bug, c'est une feature; tu ne veux tout de meme pas que le pauvre pilote de f16 vole la tete en bas quand il est en dessous de la planete, non? comme ca, il reste dans le bon sense. Pas bete. :-) --Sylvain Back to top Eugene Guest Posted: Thu May 17, 2007 7:18 pm    Post subject: Re: Info informatique A380 Les systèmes avioniques, qui ont d'ailleurs fait leur preuve de fiabilité depuis bien longtemps sont issues de la haute technologie.Les tris de composants et les tests sont draconiens ce qui explique aussi le cout. De plus, chaque chaîne est au minimum doublée et le logiciel est différent sur les deux .On évite ainsi un bug . Concernant l'A380, les commandes de vols ne sont pas reliées au réseau (AFDX) et sont gérées par calculateurs électroniques comme on peut le voir sur A320, A330 et A340.Par contre, l'architecture est bien plus complexe avec des servos commandes autonomes en cas de panne calculateur ou hydraulique.Normal pour une machine de cette taille avec le nombre de passgers qu'il transportera. Back to top Joel Guest Posted: Fri May 18, 2007 3:40 am    Post subject: Re: Info informatique A380 Après mûre réflexion, pierre35 a écrit : Quote: Et, toujours en charte, le F16 qui passe en vol dos au passage de l'équateur Cause : changement de signe de la latitude mal pris en compte dans le logiciel Je demande à voir. Ca sent la légende urbaine à plein nez. Je ne vois pas le rapport entre positionnement géographique et attitude. Back to top Joel Guest Posted: Fri May 18, 2007 9:52 pm    Post subject: Re: Info informatique A380 Dominique Ottello a écrit : Quote: Je démens formellement ! (Le partage de mémoire) Ma foi je demanderais au BIT parceque ce que j'ai entendu, je l'ai entendu plusieur fois de moultes personnes comme un des classiques du début du 320. Back to top Nono Le Rouje/RBC Guest Posted: Sat May 19, 2007 3:11 am    Post subject: Re: Info informatique A380 Jean Vincent <lipeng0 (AT) free (DOT) fr> a écrit dans news:464d5212$0$20336$426a34cc (AT) news (DOT) free.fr: Quote: De même que les Jaguar qui, au début, n'aimaient pas survoler les émetteurs d'Allouis qui introduisaient des électrons superflus dans les commandes de vol. (en fait,le Jaguar, à ses débuts, n'aimait pas grand'chose). Il y avait de l'électrique et de l'électronique dans les commandes de vol du Jaguar ??? "L'Alpha Jet, c'est comme le Jaguar, c'est un avion de ferraille et d'hydraulique, c'est solide" dixit un ancien du jag. -- Nono Le Rouje/RBC ICQ: 52647517 MSN: nonolerouje at free.fr (regrouper/remplacer at par @) `All those moments will be lost in time like tears in rain. Time to die.' Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         AirTalk.org Forum Index -> Aviation et pilotage (Français) All times are GMT Page 1 of 1   Jump to: Select a forum Aviation----------------alt.aviationAviation safety EnhancementPlanes, gliders and flying in AustraliaAviation et pilotage (Français)rec.aviationAviation (Aerobatics)Hot air, gas balloons and airshipsHang-gliding, paragliding, foot-launched flightAircraft Design & BuildingInstrument Flight RulesAviation (Classifieds)Military AircraftNaval AviationAviation (Miscellaneous Topics)Owning AirplanesAviators (General Discussions)Aviation related productsAircraft RestorationHelicopters and rotary wing aircraftsFlight SimulationSailplanesAviation (Students)Light aircraftFlying related activities in the UK Airports----------------alt.airportsEdinburgh Airport Glasgow Airport Humberside Airport Luton Airport Aberdeen Airport Glasgow Prestwick Airport  You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum Powered by phpBB © 2001, 2006 phpBB Group SEO toolkit © 2004-2006 webmedic.