Skip to Main content Skip to Navigation
Theses

Analyse et conception des systèmes temps-réel : translation d'une approche fonctionnelle à une approche orientée objet

Abstract : The work presented deals with the analysis and design of real-time systems. We present an original technique for the translation of structured specifications to object-oriented specifications. The need for such a technique and related literature are first presented. Then, are presented the different steps of the proposed technique. Its originality comes from the use of Petri nets as a translation medium. First, structured specifications (SA-RT formalism) are described by means of Petri nets. Then, resulting Petri nets are decomposed by using S-invariants to identify and define objects. Resulting objects are specified according to HOOD/PNO formalism. The proposed technique can be based on the static view of the specifications, the dynamic view or can be balanced between both of them. Several examples illustrate the different steps and possible approaches. Limits of the proposed technique, possibilities to use it jointly with others and to systematise it are also studied. Moreover, we investigate the possibility to use the obtained results to evaluate structured specifications. Some time extensions of Petri nets are investigated for this goal.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00010092
Contributor : Emilie Marchand <>
Submitted on : Friday, September 9, 2005 - 2:52:31 PM
Last modification on : Friday, January 10, 2020 - 9:08:09 PM
Long-term archiving on: : Tuesday, September 7, 2010 - 5:19:25 PM

Identifiers

  • HAL Id : tel-00010092, version 1

Citation

Adel Benzina. Analyse et conception des systèmes temps-réel : translation d'une approche fonctionnelle à une approche orientée objet. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 1997. Français. ⟨tel-00010092⟩

Share

Metrics

Record views

447

Files downloads

420