La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Modélisation et simulation comportementale en phases de définition et de conception pour la validation de systèmes de drone en vue de leur certification.

Présentations similaires


Présentation au sujet: "Modélisation et simulation comportementale en phases de définition et de conception pour la validation de systèmes de drone en vue de leur certification."— Transcription de la présentation:

1 Modélisation et simulation comportementale en phases de définition et de conception pour la validation de systèmes de drone en vue de leur certification. Michel BARAT (ONERA/DTIM/MCT) ONERA 27 avenue de la Division Leclerc 92 Chatillon France tel. (33) Mme Artzner,Mr G. Grenier Aérospatiale Matra

2 Utilisation des techniques et outils de validation dans le cycle de développement des logiciels ? Tendance : réduire les coûts et la complexité en introduisant des procédures de validation dès les phases amont en sélectionnant un enchaînement de techniques complémentaires Cahier des charges Spec fonctionnelle Spec SCADE des procédures Codes unitaires Codes intégrés Validation des besoins Validation des architectures Validation des procédures Validation des codes unitaires Validation des codes intégrés Simulation/ Model-checking Simulation/ Model-checking Analyse statique /Tests Génération de code

3 Mission de drone HALE Endurance : h, Endurance sur zone : +15h, 2500Km Altitude : ft

4 Échanges entre le Système drone et les autres systèmes Station PiloteStation Exploitation CdC ou CLA MTO Aéronef VHF/UHF Ligne TC/TM Ligne Imagerie (video+ Trafic Contrôle) VHF/UHF (Radio+ Comm Auto)

5 SAHARA SAHARA Simulateur d'Architectures Hétérogènes d'Agents et de Ressources Actives. LADA LAngage de Description d'Architectures Comprendre le fonctionnement d un système par les interactions entre ses composantes Deux simulateurs: fonctionnel : simule les interactions entre les composants du système. logico-matériel: même chose qu en fonctionnel + prise en compte du temps dû à la charge de ressource: calcul, mémoire et canal Conception itérative : modélisation, simulation, exploitation des résultats.

6 Caractéristiques de SAHARA Systèmes : contraintes temporelles, fonctionnant en parallèle, réactifs à l'environnement, communicant entre eux, asynchrones, indéterministes. SAHARA <> SDRT Esterel Statechar SESWorkbench, Bones … Modèle : asynchrone déterministe indéterministe stochastique Modèles comparables Automates d'états Réseau de Pétri Modèle SAHARA :

7 Les fonctions le type de la fonction (standard, CSA, interuptible, Anytime) les entrées et les sorties le contexte la transformation piste menace message mise à jour Analyse tactique Description de niveau fonctionnel Les données échangées: ( nom_donnée ((attribut valeur)...(attribut valeur)))

8 Modélisation des comportements Ils transcrivent les données d entrées en données sorties. Ces productions peuvent être déterministes ou non déterministes. (def_fonction identifier_produit (entrees produit produits_stockes produits_connus) (sorties produits_stockes produit_rejete nouveau_produit) (transformation (declencheur produit (20 oubli (produit) (produit_rejete)) (70 mise_a_jour (produit produits_stockes produits_connus) ((produits_stockes ((modifieur modifier)))) (10 creation (produits produits_connus) (( nouveau_produit ((name $produit.name)))))) sélecteur fréquence nom du comportement sorties entrées

9 Description de niveau matériel La description de niveau matériel consiste : à décrire les ressources : cpu, mémoire et canal capacité, délai latence type de ressources : répartition uniforme, à priorité pour les cpu et ram, répartition uniforme, à priorité, préemptif, à diffusion pour les canaux à projeter l architecture de niveau fonctionnel sur l architecture matériel Résultats de simulation les interactions entre composantes système, des mesures sur les charges des ressources: charge instantanée, maximum, moyenne, délai d attente, délai de transit

10 Architecture de principe retenu pour la modélisation

11

12 Représentation graphique de larchitecture du drone

13 Fonctionnement nominal de la liaison directe

14 Reconfiguration de la liaison image L architecture du drone comporte deux liaisons sol/air: une liaison télémesures/télécommandes TC/TM(0.8Mb/s) et une liaison imagerie (10Mb/s). En cas de perte de la liaison imagerie, les images vidéo transitent par la liaison TC/TM mais il est nécessaire de valider par simulation les paramètres d image : taille d image en pixels, codage pixel, facteur de compression et période d acquisition. Taux charge fonction du tempsDélai transit en fonction du temps

15 Délai de transit des télémesures Pour le modèle hale5, la liaison direct est sans priorité,les TM étant en concurrence avec les images de délais de transit est de 100ms. Pour le modèle hale5-1 avec priorité et les TM sont prioritaires sur les images et le délais de transit reste constant à 10ms. Résultats de 2 simulations correspondant à la reconfiguration des communications en cas de perte de la liaison image. Inversement pour les images, le délais de transit est de 110ms dans le cas de hale5 (pas de priorité) et de 120ms dans le cas de hale5-1(avec priorité aux TM)

16 Mise en pratique d une démarche pour la SdF Principes généraux Niveaux de gravité : Catastrophique, Critique, Majeur, Mineur Modes de contrôles : Gestion PA, Autonome, Procédurale, Assisté sol Modes de replis sécuritaires : système :Poursuite, Report mission, Go/No Go, Mise en sécurité, Assisté porteur : Assisté sol, Poursuite du plan vol, Reconfiguration autres systèmes : Mise en attente, Obtention de moyens externes

17 Démarche d évaluation cas MALE/HALE Hypothèses sur les moyens de liaison : liaison satellite SSA/Porteur : de 100Kb/s à 64Kb/s liaisons HDCP et HDLP : 2Mb/s liaison LDHP : Kb/s liaison Secours : 10Kb/s à 1Kb/s Scénarios d évaluation Phase de vol: Image traficVidéoRadioTM/état mission Male nominale x - x x mission Hale nominale x - - x décollage/atterrissage nominale x x x x mission Male dégradée x - - x mission Hale dégradée x Résultats d évaluation Liaison descendante(640Kb/s)Délai spécifiéDélai simulé X_porteur1s40ms Etat_porteur1s40ms Image trafic (800Kb)2s1250ms

18 Dimensionnement du mode dégradé Cas de la liaison de secours 1kb/s mission MALE dégradé Mode nominaleMode dégradé Image trafic24 kb/s 30avions /s200o/5s 2avions /5s TM_porteur X_porteur800 b/100ms 1X/100ms 800b/2s 1X /2s Etat_porteur8kb/s 100param/s 1,2Kb/2s (40 param/2s) Liaisons radio2.4 kb/s téléphone

19 Apports de la modélisation et de la simulation détermination des délais d acheminement, calcul de la charge instantanée, du délai d attente en cas de concurrence à la ressource, prise en compte de délai de latence des relais (satellite, chemin de comm), évaluation du niveau de criticité de conflits d accès aux comm., détermination des tailles, périodicités, facteurs de compression, niveaux de priorités des flux de données, en adéquation avec la capacité des ressources En phase de conception, la démarche permet d appréhender le comportement du système dans ses différents modes de fonctionnement.


Télécharger ppt "Modélisation et simulation comportementale en phases de définition et de conception pour la validation de systèmes de drone en vue de leur certification."

Présentations similaires


Annonces Google