Normal view MARC view ISBD view

Spécifications formelles de systèmes de commande à événements discrets / par Watcharee Jumpamule ; sous la direction de Jean-Luc Paillet

Auteur principal : Jumpamule, Watcharee, 1961-, AuteurAuteur secondaire : Paillet, Jean-Luc, Directeur de thèseAuteur secondaire collectivité : Université de Provence, Etablissement de soutenanceType de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 2002Description : 1 vol. (V-134 p.) : fig. ; 30 cmBibliographie : Bibliogr. p. 109-113.Sujet MSC : 93C65, Systems theory; control -- Control systems, Discrete event systems
68Q60, Computer science -- Theory of computing, Specification and verification (program logics, model checking, etc.)
68T35, Computer science -- Artificial intelligence, Languages and software systems (knowledge-based systems, expert systems, etc.)
68U20, Computer science -- Computing methodologies and applications, Simulation
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note de thèse: Thèse de doctorat, informatique, 2002, Aix-Marseille 1
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses JUM (Browse shelf) Available 01472-01

Bibliogr. p. 109-113

Thèse de doctorat informatique 2002 Aix-Marseille 1

Dans cette thèse, nous proposons une méthodologie "multi-formalisme" pour spécifier et valider des systèmes à événements discrets. Nous spécifions ces systèmes, à l'aide d'un langage déclaratif de haut niveau, basé sur un formalisme appelé DECM. Ce langage utilise des concepts proches du langage naturel, basés sur le concept d'événement. On peut décrire le processus concerné, sous la forme d'une séquence d'actions à effectuer tout le long d'un cycle de fonctionnement normal. Enfin, nous proposons une méthodologie de validation par simulation. Dans cette méthodologie, les spécifications de haut niveau d'un système sont transformées dans un formalisme de plus bas niveau, DEVS, qui permet d'exprimer des modèles directement simulables. Nous avons développé pour cela un logiciel de transformation DECM-DEVS, qui permet d'obtenir automatiquement ces modèles simulables, décrits dans un langage formel adéquat et utilisables par un simulateur développé dans le laboratoire d'accueil LSIS. Nous montrons comment une simulation "incrémentale" permet de valider les spécifications initiales, en partant de modèles atomiques et en construisant des modèles simulables de plus en plus complexes pour obtenir finalement le modèle du système complet. Nous utilisons pour cela la technique de couplage, qui permet une construction modulaire et hiérarchique de modèles. Nous avons effectué quelques expérimentations sur des modèles complexes. Celles-ci nous permettent de détecter des erreurs de spécification, de révéler la nécessité d'affiner les spécifications de haut niveau, notamment au sujet des délais temporels, et de constater que des spécifications correctes sont suffisamment robustes

There are no comments for this item.

Log in to your account to post a comment.