Thèse soutenue

FR  |  
EN
Accès à la thèse
Auteur / Autrice : Gabriel A. Wainer
Direction : Norbert GiambiasiClaudia Frydman
Type : Thèse de doctorat
Discipline(s) : Productique et informatiqueProductique et informatique
Date : Soutenance en 1998
Etablissement(s) : Aix-Marseille 3 en cotutelle avec Universidad de Buenos Aires

Mots clés

FR

Résumé

FR  |  
EN

Sur un plan conceptuel, le travail présenté dans ce mémoire est consacré à la définition d'un formalisme pour la description et la simulation de modèles cellulaires. Les paradigmes proposés constituent des extensions du formalisme DEVS et de celui des Automates Cellulaires. Des formalismes de spécifications ont été définis pour des modèles cellulaires binaires ou à trois états avec la possibilité de leur associer des retards ayant des sémantiques anticipatoires ou préemptives. Ces concepts de retards issus du domaine des circuits digitaux et adaptés aux automates cellulaires constituent une des originalités de ce travail. Sur un plan concret, nous avons développé un environnement de modélisation et de simulation basé sur les formalismes proposés. Il faut noter qu'une construction automatique d'un modèle exécutable peut être réalisée à partir de sa spécification ce qui simplifie le problème de la vérification du modèle et autorise un développement rapide de simulateurs. Avec cet environnement, il est possible d'effectuer des simulations de modèles hiérarchisés mais également, d'utiliser une mise à plat automatique des modèles pour obtenir des temps d'exécution notablement réduits.