LocoTrain

Here is the LocoTrain version of the page cached http://eig.unige.ch/lii/Maquette_C.htm the April 12 2015 23:06:59.
La version « Cache » proposée par LocoTrain correspond au texte de la page lorsque le robot de LocoTrain l'a consultée.
En aucun cas LocoTrain est affilié au contenu textuel ci - dessous.

maquette_c technologie ada technologie ada doc ada marte os maquette_c a.i.d.e. _______________ technologie java rt-java _______________ systèmes réactifs cours syr communications travaux pratiques travaux écrits robots lego® concours cui-lii exemples esterel - c robots khepera robots alice gameboyadvance® odet documentation _______________ temps réel cours ptr cours ptra communications travaux pratiques ptr travaux pratiques ptra travaux écrits exercices simulateurs simulateur maquette simulateur gare documentation _______________ laboratoire lii présentation projets et dipl. hes diplômes syr diplômes ptr diplômes pgp projets et activités ra&d postformation _______________ documentation publications manuels divers chapitres choisis documentation syr documentation ada _______________ divers nouvelles brèves offres d'emploi, etc. remerciements communications divers _______________ filière informatique présentation résumé informatique systèmes numériques traitement du signal _______________ infos utiles grand dictionnaire discover the world contrôle de maquettes de trains miniatures l'objectif est de contrôler le comportement de plusieurs trains en évitant toute collision ou déraillement. une fois testées sur simulateur, les applications peuvent être exécutées sur des maquettes réelles. ce qui nécessite alors l'usage de compilateurs croisés (p. ex. objectada, gnat, etc.). il est à relever que le comportement du simulateur de maquettes de trains miniatures est pratiquement identique à celui des maquettes réelles, y compris en ce qui concerne les rebonds des capteurs (désactivables). toute maquette est composée de trois sortes d’objets:un ou plusieurs trains, des aiguillages et des contacts, tous identifiables par un numéro distinct. un paquetage train_handler met à disposition du programmeur des constantes, des types et des procédures permettant la gestion des trains, des aiguillages, des contacts ainsi que de la maquette elle- même. parmi les procédures exportées du paquetage train_handler, nous distinguons: demander_loco; init_maquette; mettre_maquette_hors_service; mettre_maquette_en_service; diriger_aiguillage; attendre_contact; arreter_loco; mettre_vitesse_progressive; mettre_fonction_loco; inverser_sens_loco; mettre_vitesse_loco. de manière schématique, chaque train est contrôlé par une tâche et la gestion des ressources critiques (aiguillages, voies communes, etc.) est assurée par des objets protégés. les contacts sont des entités passives, actionnés uniquement lors du passage d’un train. la procédure attendre_contact (no_contact: in no_contact_type) est particulière, car elle permet de bloquer toute tâche appelante jusqu’à ce qu’un train passe sur le contact spécifié en argument. elle joue un rôle fondamental dans la conduite des trains car elle constitue l’unique moyen de connaître la position d’un train. en général le numéro et la vitesse de chaque train sont fournis par l'utilisateur, suite à l’exécution de la procédure demander_loco. tout train est alors placé entre deux contacts et dirigé (sens de la marche) vers le premier contact spécifié. liens sur les documentations disponibles. si la spécification du paquetage (interface) train_handler est unique, trois mises en œuvre distinctes (corps) sont actuellement disponibles. simulateur (native). objectada ets version 7.2.2 (croisée). gnat avec marte os comme exécutif tr (croisée). marte os version 1.0 with marte_os; with train_handler; use train_handler; procedure train is ... task type locomotive ( parcours: access parcours_type); task body locomotive is ... end locomotive; begin init_maquette; declare train1 : locomotive(parcours_1'access); train2 : locomotive(parcours_2'access); train3 : locomotive(parcours_3'access); train4 : locomotive(parcours_4'access); begin null; end; mettre_maquette_hors_service; end train; le contrôle du déplacement des trains sur une maquette constitue un paradigme, à l'instar de la gestion des ressources d'un système d'expoitation. du point de vue de l'enseignement de la programmation concurrente, il permet de mettre en œuvre des contrôleurs basés sur les sémaphores, les objets protégés ou les rendez-vous, couplés avec le mécanisme de remise en queue ada 95. marte os: an ada kernel for real- time embedded applications. mario aldea rivas and michael gonzález harbour. international conference on reliable software technologies, ada-europe-2001. leuven, belgium, lncs, may 2001. p. breguet, l. zaffalon. railway scale model simulator, in proceedings of the ada-europe international conference on reliable software technologies. santander, spain, june 1999, lectures notes in computer science, no 1622, p. 170-180. informations auprès de zaffalon@eig.unige.ch ou 0041 (0)22 338 0 552. sommaire__________ bienvenue plan du site nouvelles brèves publications manuels simulateurs projets et activités cours ptr cours syr td's, tp's & te's laboratoire lii laboratoire ltr remerciements filière informatique __________ sommaire informations zaffalon@eig.unige.ch 0041 (0)22 338 0 552 techn@logie ______________aide