Modélisation et analyse du comportement des systèmes informatiques temporisés / Nicolas Halbwachs ; sous la direction de Gabrièle Saucier

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Temps réel (informatique)

Traitement réparti

Analyse des systèmes

Saucier, Gabrièle (1941-.... ; informaticienne) (Directeur de thèse / thesis advisor)

Université Joseph Fourier (Grenoble, Isère, France ; 1971-2015) (Organisme de soutenance / degree-grantor)

Institut national polytechnique (Grenoble, Isère, France ; 1900-....) (Organisme de soutenance / degree-grantor)

Relation : Modélisation et analyse du comportement des systèmes informatiques temporisés / Nicolas Halbwachs ; sous la direction de Gabrièle Saucier / Grenoble : Université Joseph Fourier , 2008

Résumé / Abstract : Etude 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