CONTRIBUTION A LA SPÉCIFICATION DES SYSTÈMES TEMPS RÉELS : L'APPROCHE UML/PNO

Abstract : This work focuses on the UML/PNO (Unified Modelling Language with Petri Net Objects) approach for the specification of real-time systems. It enhances the UML dynamic diagrams with the Petri Nets (PN) formal language. The concept of real-time components, called "Compound Object", has been developed as an extension of the UML sub-systems. The aim is to improve the system modelling and structuring. The behaviour of a Compound Object is described by means of time PN. The timing intervals are assigned to PN places and transitions. Thus, formal verification of timing constraints can be done. The validation approach relies upon on the semi-automatic translation of the UML dynamic diagrams into Petri Nets. During such a derivation, some UML diagrams inconsistencies are automatically detected. Then, existing PN tools can be used for simulation and performance analysis. The verification process uses a model-checking analysis based on linear state class graph. When a non-respected timing constraint occurs, a theorem proving approach based on linear logic is used in order to capture the causality relationships. A part of the UML/PNO approach has been integrated in a CASE Tool as an "ArgoPNO" module. It is now available in the ArgoUML environment.
Complete list of metadatas

Cited literature [251 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01044988
Contributor : Jérôme Delatour <>
Submitted on : Thursday, July 24, 2014 - 2:30:06 PM
Last modification on : Friday, June 14, 2019 - 6:31:06 PM
Long-term archiving on : Tuesday, November 25, 2014 - 4:31:03 PM

Identifiers

  • HAL Id : tel-01044988, version 1

Citation

Jérôme Delatour. CONTRIBUTION A LA SPÉCIFICATION DES SYSTÈMES TEMPS RÉELS : L'APPROCHE UML/PNO. Génie logiciel [cs.SE]. Université Paul Sabatier - Toulouse III, 2003. Français. ⟨tel-01044988⟩

Share

Metrics

Record views

419

Files downloads

797