Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/78
Title: rd-TA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
Other Titles: rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
Authors: Layadi, Said 
Affiliations: Faculty of Information and Communication Technology (ICT) 
Keywords: Temps Relatif;Automates Temporisés;Décidabilité;Graphe de Régions;Systèmes Temps-réel Distribués;Systèmes Multi-Agents;Réseaux ad Hoc Mobiles
Date: May-2017
Abstract: 
La vérification des systèmes temps-réel nécessite la proposition d’approches formelles qui permettent la construction des outils de vérification. Dans ce travail, nous adressons la question de l’accessibilité sur des variantes des automates temporisés (TA) dans lesquelles les horloges progressent selon des fréquences relatives. Nous adressons aussi la question de la satisfaction temporelle dans les systèmes multi-agents coordonnés tels que les agents peuvent se comporter en vraie concurrence et peuvent avoir des rythmes relatifs. Dans ce contexte, nous montrons que le problème de la satisfaction peut se réduire à une question d’accessibilité sur un graphe de régions. Nous introduisons les TA dynamiques avec temps relatif (rd-TA) pour pouvoir créer de nouveaux processus hétérogènes. Dans ce modèle, un système temporisé distribué est un ensemble de rd-TA. Chaque rd-TA est caractérisé par un ensemble d'horloges locales qui évoluent selon une fréquence relative par rapport à celles des horloges des autres composants. La contribution principale est la considération du paramètre 𝑠𝑙𝑜𝑝𝑒 qui permet de construire une abstraction de régions pour évaluer et prouver la décidabilité. Nous introduisons aussi des règles de dérivation afin de produire, à partir d’une spécification D-LOTOS, un TA étendu avec des durées d’actions et des vitesses relatives du temps (daTA-R).
URI: http://dspace.univ-constantine2.dz/handle/123456789/78
Thesis supervisor: Saidouni, Djamel Eddine
Appears in Collections:Electronic Theses and Dissertation

Files in This Item:
File Description SizeFormat
these_layadi.pdf3.7 MBAdobe PDFView/Open

Show full item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.