le maillon faible

La conception a =E9t=E9 r=E9alis=E9e avec la m=E9thode B et traduit automatiquement en Ada. Le programme du KVB comporte 2 r=E9pliques qui s'executent sur un seul calculateur ( m=EAme si FIDARE en permet l'utilisation de plusieurs), mais ces r=E9pliques sont produites par 2 traducteur distincts ( les traducteurs produisent directement de l'Ada =E0 partir du B0) Chaque r=E9plique travaille sur son propre jeu d'entr=E9es et de variables et elle produit _une partie seulement_ de la sortie globale. Apr=E8s, chaque sorties partielles sont assembl=E9e pour former la sortie globale.

Je ne connais pas le d=E9tail des d=E9tection des erreurs. Dans le ferro, les PSC ( Processeur S=E9curitaire Cod=E9) sont aussi utilis=E9s pour d=E9tecter les erreurs de compilations et les pannes mat=E9rielles.

--

-Stan

On Jul 13, 9:51 am, Stan

Hum, j'ai du mal =E0 suivre car je ne connais pas le d=E9tail des proc=E9dures et m=E9thodes que tu cites. Ce qui est sans doute normal, vu l'enjeu et la complexit=E9. (A l'=E9poque, rien que les sp=E9cifications des proc=E9dures de test d'=E9quipement avionique d=E9finis par l'A=E9rospatiale =E9taient tr=E9s, t= r=E9s coton)

Un commentaire m'intrigue :

Si l'on joint des ensembles partiels de provenance distinctes, comment s'assurer de l'absence de conflit, et etre certain de la coh=E9rence de la sortie globale ?

Comme je l'ai indiqu=E9, je ne connais pas le d=E9tail du m=E9canisme de v=E9rification. Tout ce que je pourrais en dire ne serait que sp=E9culations :-)

--

-Stan