SCOPOS Volume 19, 2005, pp 1-24

Réseaux de Pétri

  • show all 0 hide

Purchase on Springer.com

$29.95 / €24.95 / £19.95*

* Final gross prices may vary according to local VAT.

Get Access

Abstrait

Les engins spatiaux comportent plusieurs ordinateurs spécialisés qui doivent coopérer entre eux. De plus, dans chacun de ces ordinateurs plusieurs programmes sont effectués et doivent s’échanger des données. Le bon déroulement de la mission d’un engin spatial dépend donc (entre autres) de la coopération harmonieuse entre ces programmes et ces ordinateurs. Plusieurs cas ont démontré cela de manière spectaculaire:

  • l’arrêt d’une mission de la navette spatiale quelques minutes avant son décollage, car les ordinateurs au sol ne pouvaient pas se mettre d’accord sur l’instant exact de la mise à feu ;

  • —une panne (réparée à distance) du robot PATHFINDER due a un inter-blocage entre un programme météorologique et un programme de contrôle du système.