Skip to Main content Skip to Navigation
Theses

Programmation Réactive Synchrone, Langage et Contrôle des Ressources

Frederic Dabrowski 1, 2
2 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : Reactive system continuously interact with an environment.
Synchronous languages (a family of languages dedicated to
the design of such systems) are used to describe parallel
behaviours running in a synchronous way, with respect to a
logical clock associated to an instantaneous broadcast of
the information.
The design of those languages enables a compilation of
programs to sequential code, finite state automata or circuits.
Yet the constraints set on their design to reach this goal restrict
their use to very specific fields.
Reactive programming is a paradigm based on a relaxation of those
constraints. More precisely, it is inspired by the Esterel language
and may be used for programming, e.g., event driven controllers, graphical
user interfaces, physical simulations, web services and multi-player games.
This document, split into two parts, deals with the notion
of safety in the framework of reactive programming.
In the first part, we consider the issue of controlling, by means
of a static analysis, the resources needed to run programs of
a synchronous process algebra inspired by the reactive paradigm.
In the second part, we are interested in programming multicore architectures.
We propose a programming discipline, enforced by a static analysis, which
extends to a more general framework the advantages of the
purely cooperative approach (scheduling) used in various languages
based on the reactive paradigm.
Document type :
Theses
Complete list of metadatas

Cited literature [92 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00151974
Contributor : Frédéric Dabrowski <>
Submitted on : Tuesday, June 5, 2007 - 5:33:59 PM
Last modification on : Thursday, September 24, 2020 - 4:00:25 PM
Long-term archiving on: : Thursday, April 8, 2010 - 7:01:14 PM

Identifiers

  • HAL Id : tel-00151974, version 1

Citation

Frederic Dabrowski. Programmation Réactive Synchrone, Langage et Contrôle des Ressources. Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2007. Français. ⟨tel-00151974⟩

Share

Metrics

Record views

848

Files downloads

909