37
Contrôle commande des nacelles pointées à base de technologies standard Karim Halioui - Option CSI Promotion 2004 Prototypage dun segment sol

Contrôle commande des nacelles pointées à base de

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Contrôle commande des nacellespointées à base de technologies

standard

Karim Halioui - Option CSIPromotion 2004

Prototypage d’un segment sol

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

IntroductionContrôle - Commande des Nacelles Pointées

2/

Opérations :CNES

Conception :CNES

Nacelles Pointées: CNES

Labosscientifiques

L ’activité ballonContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

• Le « satellite du pauvre »• Faire voler des expériences

scientifiques• Aéronomie, astrophysique• vols multiples

• Système aérostatique :• Un ballon porteur,• Une chaîne de vol,• Une Nacelle

• plate-forme• charge utile : instrument

scientifique3/

L ’activité ballon

4/

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

• Système Contrôle / Commande

SegmentBord

SegmentSol

Télémesures

Télécommandes

Interface Bord - Sol

Géré de manière automatique Géré par des opérateurs

Cahier des chargesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

6/

• Evolution des solutions– flexibilité vis-à-vis des missions– adaptabilité au matériel– homogénéité des technos bord et sol

• Technologies visées– standards,– Linux, Ada95,– utilisation de logiciels libres :

• GtkAda, xmlAda, AdaSockets, ...

Cahier des chargesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

7/Tester ces nouvelles technologiesà travers une maquette de segment sol

• Segment sol - schéma fonctionnel

• Les fonctions à développer :• fonctions temps réel• fonctions de temps anticipé

Télémesure

AcquisitionTransformation en valeur physique

Surveillance

Affichage

Stockage

Décommutation

faciliter la configuration

Cahier des chargesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

8/

Les technologiesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies- OS- Langage- IHM- Client/serveur- Fichiers E/S- Génération de codeautomatique

• Réalisation

• Perspectives ...

• Conclusion

Système d ’exploitation

• Un environnement idéal pour le développement• Uniformisation Bord /Sol• Système d’exploitation fiable• Communauté du logiciel libre

Choix : Linux Mandrake

9/

Les technologiesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies- OS- Langage- IHM- Client/Serveur- Fichiers E/S- Génération de codeautomatique

• Réalisation

• Perspectives ...

• Conclusion

Langage de programmation

• Un langage normalisé,• Typage fort,• Facilité de maintenance,• Programmation orienté objet,• Programmation temps réel.

Choix : Ada95

10/

Les technologiesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies- OS- Langage- IHM- Client/Serveur- Fichiers E/S- Génération de codeautomatique

• Réalisation

• Perspectives ...

• Conclusion

Interface Homme Machine

• Une librairie graphique : GtkAda 2.2.0,• Un outil graphique de construction d ’IHM : Glade 2,

• Permet de garder l’esprit du langage Ada95.

Choix : GtkAda + Glade

11/

Les technologiesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies- OS- Langage- IHM- Client/Serveur- Fichiers E/S- Génération de codeautomatique

• Réalisation

• Perspectives ...

• Conclusion

Client/Serveur

• Utilisation simplifiée pour communiquer enréseau,

• Librairie pour implémenter les sockets en Ada :AdaSockets 1.8.

Choix : Les Sockets

12/

Les technologiesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies- OS- Langage- IHM- Client/Serveur- Fichiers E/S- Génération de codeautomatique

• Réalisation

• Perspectives ...

• Conclusion

Fichiers E/S

• Facilite l’analyse syntaxique d’un fichier dedonnées,• Librairie permettant la manipulation de fichiers auformat xml en Ada : XmlAda 1.0.

Choix : Format Xml

13/

Les technologiesContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies- OS- Langage- IHM- Client/Serveur- Fichiers E/S- Génération de codeautomatique

• Réalisation

• Perspectives ...

• Conclusion

Génération de code automatique

Principe :

Fichier xml

Descripteur externe

Fichier au formatdu langage

Code SourceL ’application

Utilisation :• Glade 2,• OASIS,• Editeur de plan de mesures. 14/

RéalisationContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

• Représentation de la télémesure

• Représentation des mesures

• Architecture segment sol

15/

• Reçue sous forme de trains d'octets emballées dans destrames « maison »

• Les octets utiles de la trame constituent un paquet• Un paquet rassemble des paramètres selon des critères :

- Fonctionnels,- Temporels,- Organisationnels.

• Structure d'un paquet TM :- Datation,- Identificateur,- Structure de données contenant les mesures.

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Représentation de la télémesureContrôle - Commande des Nacelles Pointées

16/

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Représentation de la télémesureContrôle - Commande des Nacelles Pointées

Declaration du type Paquet_TM :

type Paquet_Tm (Identifiant : Identifiant_Tm := Localisation)is record case Identifiant is when Localisation => La_Localisation : Donnees_Localisation; ... end record;

for Paquet_Tm use record Identifiant at L_Octet * 0 range 0 .. 7; La_Localisation at L_Octet * 1 range 0 .. 337; ... end record;

17/

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Représentation de la télémesureContrôle - Commande des Nacelles Pointées

Exemple d ’une structure de données d ’un paquet TM (paquetlocalisation) :

type Donnees_Localisation is record ... Latitude : Reel_Double; Longitude : Reel_Double; ... end record;for Donnees_Localisation use record ... Latitude at L_Octet * 0 range 89 .. 152; Longitude at L_Octet * 0 range 153 ..216;

... end record; 18/

• Une Mesure représente :- une grandeur physique mesurable (ex : tension),- une occurrence temporelle de sa valeur mesurée,- des propriétés statiques et dynamiques de la valeur

mesurée.✟ Représenté par des types étiquetés Ada

• Deux types de Mesures :- les mesures de bases,- les mesures dérivées.

• Un plan de mesures statique– paquetage Ada généré par un compilateur de mesures

• Des instances de l’objet Mesure :– créées par extraction depuis les paquets TM (code manuel)– traitées par des fonctions “génériques” (liaison dynamique)– fournies à l’affichage (pages dynamiques)

Représentation de la mesure

paquet mesure base 1

mesure base 2

Mesure base 3

Mesure dérivée

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

19/

Représentation de la mesureContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Objet mesure :

type mesure is record Nom : Identificateur_de_mesure; Valeur : Une_valeur_de_mesure; Datation : Time; Etat : Etat_de_surveillance; end record;

type Une_Valeur_De_Mesure is accessValeur_De_Mesure'Class;

type Valeur_De_Mesure is abstract taggednull record;

20/

• Editeur de Plan de Mesures• Editeur de Pages d'Affichage• Un serveur de données• Des clients de visualisation

Architecture segment sol

Tempsanticipé

Temps réel

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

21/

Temps Anticipé Temps Réel

Editeur de plans de Mesures

Editeur de Pages Visualiseur de Mesures

Plan de Mesures

Pages

TM (objets mesures)

Architecture segment solContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Première approche de l ’architecture :

- Acquisition- Décommutation- Transformation envaleur physique

22/

• Fonction de configuration d'applications• Création / Modification d'un Plan de Mesures• Renseignements des Mesures par :

- un identificateur,- un type de mesure,- une unité,- un format d'affichage,- une loi et une autorisation de surveillance,- une borne inférieure et une borne supérieure,- une période d'échantillonnage.

• Sauvegarde de ce descripteur externe au format xml• Compilation du descripteur de mesures externe• Génére un descripteur de mesures interne (paquetage ada)

Architecture segment sol

L ’éditeur de plans de mesures

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

23/

Editeur de Plande M esures

Compilateur dePlan de M esures

Descripteur de m esures(descripteur externe)

.xml

Descripteur de mesures(descripteur interne)

.ads

Architecture segment solContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

24/

Architecture segment sol

L’éditeur de plans de mesures

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Démo : /Exec/editeur_de_plan_de_mesures

25/

• Fonction opérationnelle temps anticipé• Utilise le descripteur de mesures interne• Création / Modification de pages technologiques• Une page est constituée d'afficheurs se voyant affectés

une mesure• 4 types d'afficheurs :

– afficheurs numériques,– afficheurs symboliques,– afficheurs courbes,– afficheurs jauges.

• Sauvegarde des pages créées dans un descripteur de pageau format xml.

L ’éditeur de pages d ’affichage

Architecture segment solContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

26/

L ’éditeur de pages d ’affichage

Architecture segment solContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Démo : /Exec/editeur_de_pages_d_affichage

27/

Serveur de données Visualiseur de mesures

Télémesure

Acquisition Transformation en valeur physique

Surveillance

AffichageStockage

Décommutation

Fonctions temps réel du segment sol

Architecture segment sol

Réseau Local

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

28/

• Application temps réel,• Réceptionne la télémesure provenant de la nacelle,• Gère un service d'abonnement de clients,• Redistribue la télémesure aux clients connectés selon

les services demandés,• Réceptionne la télécommande d'un unique client,

( pour l’instant : est susceptible d’évoluer)

• Transmet cette télécommande à la nacelle.

Architecture segment sol

Le serveur de données

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

29/

Architecture segment sol

Le serveur de données

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Démo : /Exec/serveur

30/

• Application temps réel• Affiche des pages technologiques en chargeant les

descripteurs XML des pages• Reçoit des paquets TM du serveur• Décommute ces paquets et affiche les mesures dans les

afficheurs appropriés• Peut contrôler la télécommande si aucun autre client la

contrôle déjà.

Contrôle - Commande des Nacelles PointéesArchitecture segment sol

Le visualiseur de mesures : le client

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

31/

Architecture segment sol

Le visualiseur de mesures

Contrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan

• Perspectives ...

• Conclusion

Démo : /Exec/visualiseur_de_mesures

32/

Un Paquet TM

TraitementTM

Compilateur deMesures

Une Mesure

Editeur de Plans deMesures

. xml

Editeur de Pages Visualiseur de Mesures

. xml

. adsLiaison SérieLiaisonTCP/IP

Pagesd’Affichage

Tâche

Logiciel Graphique

Programme Interne ouProgramme Non Graphique

fichier

Architecture globale du segment sol

Avec ou sansserveur de données

Descripteur externe Descripteur interne

Descripteur externe

Architecture segment solContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol,- Bilan.

• Perspectives ...

• Conclusion

Application OS Linux

LangageAda95

IHMGtkAda

Client/ServeurAdaSockets

Fichiers E/SXmlAda

Editeur deplans demesures

X X X X (E/S)

Editeur depages X X X X (E/S)

Serveur X X X X

Visualiseurde mesures X X X X X (E)

Bilan Technologique :

34/

Architecture segment solContrôle - Commande des Nacelles Pointées

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation- Représentation de latélémesure,- Représentation de lamesure,- Architecture segmentsol.- Bilan.

• Perspectives ...

• Conclusion

Bilan du projet :

• Technologies testées : OK,• Intégration maquette segment sol – maquette segment bord : OK,• Quelques problèmes en cas de charges hors normes,

35/

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

Perspectives ...Contrôle - Commande des Nacelles Pointées

• Utilisation des nouvelles technologies,

• Développement opérationnel, tests, validation,

• Utilisation de ces «nouveaux» segments bord etsol lors de vols réels.

36/

• Introduction

• L’activité ballon

• Cahier des charges

• Les technologies

• Réalisation

• Perspectives ...

• Conclusion

ConclusionContrôle - Commande des Nacelles Pointées

37/