Modèles composables et concurrents pour le temps-réel

Abstract : This thesis is concerned with the modelling of real-time systems using Petri nets. We investigate both the problem of time representation, and of preemption (i.e., interruption of the processes of a system) which is often needed for real-time applications.

We consider Petri nets without explicit temporal information. The key idea of our approach consists in introducing time through specific sub-nets representing clocks present in the system being modelled. This results in what we refer to as causal time since causality is the only means by which the precedence relationship between event occurrences is specified. For a succinct formulation of the causal time model, we use M-nets which are a class of coloured Petri nets endowed with compositional operators similar to those used by the standard process algebras. We extend the M-nets model in order to allow an efficient representation of asynchronous interprocess communication, and establish a number of theoretical results concerning such an extension. We use the resulting M-nets to model several clocks with varied characteristics, showing how they can be synchronised or kept independent. The suitability of the proposed approach is evaluated using a case study, and it is then used to give a semantics of the parallel programming language B(PN)² extended with real-time constructs.

In order to deal with preemption, we propose another extension of the M-nets model supporting operators for process suspension/resuming and abortion. The resulting model is investigated at the theoretical level, and applied to B(PN)² enhanced with exceptions and tasks.
Document type :
Theses
Complete list of metadatas

Cited literature [113 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00114680
Contributor : Franck Pommereau <>
Submitted on : Friday, November 17, 2006 - 1:38:40 PM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM
Long-term archiving on : Tuesday, April 6, 2010 - 7:42:06 PM

Identifiers

  • HAL Id : tel-00114680, version 1

Collections

Citation

Franck Pommereau. Modèles composables et concurrents pour le temps-réel. Modélisation et simulation. Université Paris 12, 2002. Français. ⟨tel-00114680⟩

Share

Metrics

Record views

246

Files downloads

515