baguette a écrit:
desconegut a écrit:
Pour ce qui concerne l'algo de validation des lectures des sondes "pitot", si 2 des 3 envoyent des donnees identiques coherentes avec le domaine de vol, la lecture est consideree acceptable (pour le PA), et dans tous les cas de lecture incoherante, ne fut-ce que d'une sonde durant plus de x secondes (demandez pas combien), une alarme est declenchee.
Finalement, ce logiciel tourne depuis plus de 15 ans sans problemes verifies, et contrairement au mauvais vin, le "soft" ne tourne pas au vinaigre avec le temps.
Tout ce que vous me décrivez est la validation "d'écriture", autrement dit de transcription, qui ne sera jamais validée à 100% ni par des ingénieurs, ni par un programme de vérification (Théorème de Gödel)
Pour ce qui est d'affirmer que ce programme tourne depuis 15 ans sans problèmes, je suis un peu effrayé :
1) Que l'on puisse encore utiliser un programme écrit il y a 15 ans avec du matériel actuel
2) Que l'on puisse oublier la kyrielle "d'incidents" anémométriques recensés depuis plus d'un an sans en tenir compte.
Bref, pour l'AF477, du point de vue matos, tout a bien fonctionné.
Simplement ... il n'est pas arrivé à bon port.
Dans ma grande naiveté, j'imaginais qu'une sonde pitot était un simple capteur (qui ne prend par conséquent aucune décision) et que les données de ce capteur devaient être analysées (là où se prend la décision).
Apparemment la bonne décision à été prise puisque le programme fonctionne bien depuis 15 ans ...... mais l'avion n'est pas arrivé !
Veuillez excuser les errements d'un simple logicien !$
Bonne soirée
J'ai volontairement omis de citer l'analyse statique du code, mais soyez-en certain, le theoreme de Goedel est pris en compte.
Les sonde "pitot", en ce qui me concerne, sont des capteurs analogiques. Je n'ai aucune idee du mechanisme des interfaces les reliant aux adirus (ni de leur fiabilite).
Quant aux logiciels de 15 ans, demandez un peu a votre banquier l'age des siens! Soyez assure que le materiel actuel (ou d'il y a 5 ans, pour ce qui nous concerne) est un tout a fait semblable et compatible avec celui d'il y a 15 ans (les adirus ne sont pas des pc munis de "fenetres xp, vista ou similaire", qui ont besoin de davantage ce capacite de processeur avec le temps).
Effectvement, le vol n'est pas arrive a bon port, mais je trouve plutot leger d'incriminer le logiciel a ce stade.