Formal Verification of Heterogeneous Systems using relative clock regions

Simple item page
dc.contributor.authorHARRAGA ,Hanane
dc.contributor.authorTAABANI, Maroua
dc.contributor.authorLAYADI ,Said
dc.date.accessioned2024-04-14T10:32:04Z
dc.date.available2024-04-14T10:32:04Z
dc.date.issued2023
dc.description.abstractCurrently, 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
dc.identifier.urihttp://dspace.univ-skikda.dz:4000/handle/123456789/887
dc.language.isofr
dc.publisherFaculty of sciences
dc.titleFormal Verification of Heterogeneous Systems using relative clock regions
dc.title.alternativeComputer systems (CS)
dc.typeMasters degree Thesis
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Formal Verification of Heterogeneous Systems using relative clock regions.pdf
Size:
1.24 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
Informatique