Browsing by Author "LAYADI ,Said"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Formal Verification of Heterogeneous Systems using relative clock regions
    (Faculty of sciences, 2023) HARRAGA ,Hanane; TAABANI, Maroua; LAYADI ,Said
    Currently, formal methods are increasingly being used to analyze the behavior of real-time systems. These systems are often part of critical applications, meaning that an error during their operation can have serious consequences in domains such as avionics, industrial process control and nuclear power plant control. For this reason, these systems need to be verified before their implementation. Formal verification methods, or simply formal methods, are increasingly being utilized to meet the requirements imposed on this type of systems. In this study, we focused on the verification of heterogeneous real-time systems. This verification require the proposal of formal approaches that facilitate the development of verification tools. Formal methods offer effective techniques for verifying a given system. The used model, called duration action timed automata with relative time (daTA-R), is an extension of standard timed automata. In this model, distributed real-time systems are composed of a set of daTA components. We assume that each component is characterized by a set of local clocks that evolve at a different frequency, but relative to the clocks of other components. To study the semantics of such systems, we have used the parameter called ”slope,” which represents the ratio between the clock frequencies. Also, we have used the equivalence relation between clock valuations to move towards region graphs. Finally, a tool has been developed to construct, for each daTA-R, the corresponding regions automaton
  • Thumbnail Image
    Item
    Validation et Vérification formelle d’un systèmes de cache distribué
    (Faculté des sciences, 2023) BOUCHEMAL, Yassmine; MOUMEN ,Wisal; BOULAICHE, Mehdi; LAYADI ,Said
    Ce mémoire de master propose une étude approfondie sur l’application de la coloration de graphe dans le contexte d’un systèmes de cache distribué . Les systèmes de cache distribué sont largement utilisés pour améliorer les performances des systèmes informatiques en stockant les données fré quemment utilisé es dans des caches répartis. Cependant, le placement optimal des données dans les caches reste un défi majeur. Dans ce mémoire, nous explorons l’utilisation de la coloration de graphe comme approche pour résoudre ce problème de placement des données dans un systèmes de cache distribué . Nous comment¸cons par une revue approfondie des travaux existants sur les systèmes de cache distribué et la coloration de graphe. Ensuite, nous proposons une méthodologie détaillée pour modéliser et résoudre le problème de placement des données a` l’aide de la coloration de graphe. Nous étudions également différentes stratégies d’algorithme de coloration pour optimiser les performances du systèmes de cache distribué . En conclusion, ce mémoire de master présente une approche novatrice en utilisant la colora- tion de graphe pour résoudre le problème de temps de réponse et la redondance des données dans un systèmes de cache distribué . Les résultats obtenus indiquent que l’algorithme utilisé est adaptable a` des´ échelles différentes, mais il ne garantit pas systèmatiquement la solution optimale. La vérification formelle dans un systèmes de cache distribué assure la cohérence des données,et la validité des opérations de mise en cache et d’éviction , grace `a l’utilisation de méthodes et d’outils formels