Skip to Main content Skip to Navigation
Theses

Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés

Abstract : In order to specify and verify timed systems, we present in this thesis approaches using UMLstate machines and coloured Petri nets. Our first approach is a specification method that takesinto account a textual description of the system and generates the corresponding state machinediagram. This method helps a non-expert user to model a system in a structural way. We presenta tool that implements the specification method. Our second approach is the translation of UMLstate machine diagrams to coloured Petri nets diagrams. In this approach we take into account animportant set of UML state machine elements that allows the modelling of concurrent systems,etc. A tool that implements the approach and allows us to automate the translation is beingdeveloped. Finally, the last approach is the integration of time constraints in our specificationmethod and in our translation. We propose a set of annotations to model time in state machinediagrams, and we define the corresponding syntax and semantics.
Document type :
Theses
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02130460
Contributor : Abes Star :  Contact
Submitted on : Wednesday, May 15, 2019 - 6:41:23 PM
Last modification on : Saturday, February 15, 2020 - 2:03:55 AM

File

edgalilee_th_2016_benmoussa.pd...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02130460, version 1

Collections

Citation

Mohamed Benmoussa. Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés. Autre. Université Sorbonne Paris Cité, 2016. Français. ⟨NNT : 2016USPCD062⟩. ⟨tel-02130460⟩

Share

Metrics

Record views

91

Files downloads

20