Modélisation et analyse du comportement des systèmes informatiques temporisés

Description

Étude d'un modèle mathématique pour formaliser le comportement des systèmes parallèles et temps réel, à des fins de spécification de problèmes, de description, d'analyse et de preuve de réalisations. Construction, à partir des mêmes notions, d'un calcul formel conduisant à des méthodes systématiques d'analyse de systèmes logiques temporisés, au niveau algorithmique

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00311787
2. http://tel.archives-ouvertes.fr/docs/00/31/18/20/PDF/Halbwachs.Nicolas_1984_these_v2.pdf

Tags

Système réparti

Système parallèle

Système temps réel

Spécification

Réseau Pétri

Ordonnancement

Série formelle

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00311787
Date	08 June 1984
Creators	Halbwachs, Nicolas
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	habilitation ࠤiriger des recherches