Réseaux temps-réel embarqués
Evaluation des performances temps réel de réseaux embarqués avioniques
... de réseaux basée sur une modélisation en file d’attente et ...CLES: Réseaux embarqués, Avionique, Temps réel, AFDX, Simulation, Evaluation de ...
125
Analyse et dimensionnement de réseaux hétérogènes embarqués
... Architectures réseaux hétérogènes, Réseaux temps-réel embarqués, Passerelles, CAN, Ethernet, WiFi, Capteurs, Encapsulation Abstract The management of communications in avionics or ...
142
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées
... Dans ce chapitre nous avons montré qu’il était possible d’établir une relation entre une descrip- tion AADL et un formalisme de vérification. Nous avons choisi les réseaux de Petri pour illustrer notre propos car ...
204
SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE
... pour les composants développés formellement. 2.6 Les formalismes de spécification La phase de spécification repose sur un langage formel basé sur une syntaxe claire et précise avec une sémantique bien définie. Le choix ...
171
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
... (sémaphores, réseaux, bus, mémoires) et les charges de ...le temps d’exécution d’un scénario et de préciser l’échéance sur une exécution de bout en bout du scénario ...
10
Conception d'un générateur d'intergiciels temps réel embarqués dans l'automobile.
... la communication multiplexée entre contrôleurs réseaux (plus généralement entre ECUs) se fait par un modèle multipoints d’échange de trames. Plusieurs MOM ont été développés [WMSMQ, WJORAM, WSMQ]. Les travaux de ...
144
Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis.
... des réseaux de Petri, colorés ou tem- porels, vers le format PNML dès que celui-ci sera ...de réseaux de Petri, chose que nous avons été amenée à faire pendant ce travail de ...des réseaux de Petri ...
202
Utilisation des réseaux de neurones récurrents à temps continu dans le contexte d'une interaction sensorimotrice temps réel minimaliste crédible
... egalement une notion fondamentale du paradigme ´ enactif [Tis09]. J’ai choisi de d´ etailler une architecture ´ emergentiste parmi les principales existantes : Global Workspace, I-C SDAL, SASE, DARWIN, HTM, DESTIN, ...
41
Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement
... de temps et `a une augmentation du co ...syst`emes temps r´eel embarqu´es, il existe plusieurs alternatives pour l’int´egration d’un mod`ele fonctionnel dans un mod`ele de plateforme d’ex´ecution et chaque ...
222
Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles
... problème réel, et non décidée a priori ; elle doit pouvoir être contrôlée par l'architecte, et elle doit orir une méthode permettant d'assurer la compatibilité avec les spéci cations initiales ; elle doit assurer ...
176
Ordonnancement temps réel pour architectures hétérogènes reconfigurables basé sur des structures de réseaux de neurones
... Dans [20], les auteurs pr´esentent un algorithme de placement non bas´e sur les MER permettant de r´eduire la fragmentation. Lorsqu’une tˆ ache τ doit ˆetre plac´ee, l’algo- rithme construit des r´egions interdites. Une ...
160
2011 — Automatisation de la mesure fonctionnelle COSMIC - ISO 19761 des logiciels temps-réel embarqués, en se basant sur leurs spécifications fonctionnelles
... L’application de la méthode COSMIC aux logiciels temps-réel a été l’objet d’une recherche menée par Diab et al. qui proposent dans [12] une formalisation des règles d’application de la méthode COSMIC pour ...
230
La polysémie du temps réel et du temps différée
... du temps et surtout à son irréversibilité : un rapport en phase pour le « temps réel », ce qui lui confère effectivement en ce sens une propriété ca- pitale de la réalité avec l’attribut de ...
10
Systèmes communicants sans fil pour les réseaux avioniques embarqués
... le temps de transmission de chaque station tout en lui donnant la possi- bilit´ e de transmettre plusieurs ...des temps de transmission des trames arriv´ ees dans les files de transmission durant ...
181
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS
... systèmes temps-réel fonctionnent selon ce ...systèmes temps-réel souples sont des exemples typiques de systèmes qui ne peuvent être forcés à se synchroniser avec leur ...
151
Ordonnancement en temps réel d'ateliers avec temps de préparation des ressources
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
251
Vérification des applications temps réel
... pour garantir lors de l'exploitation et de la vie du système que ertaines propriétés sont toujours préservées. Dans e hapitre, nous aborderons prin
ipale- ment le problème de la véri
ation de propriétés qui soient spé
...
16
SIRENE-F : système pour la construction et l'exécution de réseaux neuro=flous en vue d'applications en temps réel
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
15
2012 — Optimisation de la gestion en temps réel des réseaux urbains de drainage basée sur la qualité des eaux
... par temps de pluie (Lessard et Lavallée, 1985), ce n’est que depuis 1999, après la construction des stations de traitement des eaux usées et plusieurs années d’études, qu’un premier projet d’implantation d’une GOC ...
203
2017 — Détection en temps réel de l'instabilité transitoire des réseaux électriques avec les mesures synchronisées de phaseurs
... les réseaux électriques actuels équipés de nombreux régulateurs de tension, ce type d’instabilité est essentiellement associé à un manque d’amortissement des oscillations (Rogers, ...de temps plus long ...
277