Modélisation du comportement non déterministe dans des systèmes complexes
Des avions de reconnaissance à moyenne altitude (MAR, Medium Altitude Reconnaissance) sont utilisés pour des activités militaires et civiles de surveillance. Mais la collecte d'images MAR constitue un véritable défi d'un point de vue technique par rapport aux satellites géostationnaires dans la mesure où l'avion est en mouvement par rapport à sa cible. Pourtant, ces images MAR offrent une résolution très largement supérieure. Des scientifiques du laboratoire aérospatial national (NLR, National Aerospace Laboratory) des Pays-Bas ont pris part à une étude de cas MAR dans le cadre d'un projet Information Society Technologies. Leur objectif était de découvrir s'il est possible d'appliquer de nouveaux outils logiciels développés en langage UML par des universités partenaires dans le cadre du projet OMEGA pour améliorer les performances de la MAR. On retrouve, au coeur de l'expérience, le bus de données avionique de MAR, qui est responsable de la surveillance des données critiques provenant de plusieurs systèmes différents. La situation est compliquée par le fait que les données sont fournies à des intervalles à la fois réguliers et irréguliers (asynchrones). La capacité de l'outil UML Verification Environment (UVE) à modéliser le non-déterminisme inhérent a permis au NLR de déterminer si la perte de données avait des conséquences négatives sur la sécurité et d'autres facteurs. Ce faisant, l'outil IF/IFx a permis de créer un modèle précis des composants temporisés du système, qui a été validé par les entrées utilisateur. L'étude de cas a ainsi démontré l'utilité des outils de vérification système temporisés et non temporisés développés lors du projet OMEGA. Les recherches futures programmées par le NLR et ses partenaires OMEGA se pencheront sur les conséquences des nouveaux outils sur le cycle de développement général des logiciels dans le cadre de la MAR et d'autres domaines d'étude de cas.
