OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués

Cardoso, Janette Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués. (2007) [HDR]

[img]
Preview
(Document in French)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
2MB

Abstract

Je présente mes travaux qui se situent à différentes étapes du cycle de vie d'un système. Certains de mes travaux concernent l'expression des besoins et plus précisément le passage d'une expression semi-formelle des besoins (diagrammes UML) à leur expression formelle (réseau de Petri) pour des besoins de vérification. D'autres travaux concernent les phases de conception et de mise en oeuvre en s'appuyant sur des systèmes multi-agents, et des réseaux de Petri avec ou sans information imprécise (floue). Une partie de mes travaux traite des aspects formels avec la vérification de réseaux de Petri temporels et temporels flous. Ces travaux ont en commun un même outil de base, les réseaux de Petri, et se trouvent à l'intersection de différentes disciplines, faisant appel par exemple à la logique linéaire, la théorie des possibilités, le raisonnement temporel et UML. Ils sont organisés en quatre unités thématiques : - la sémantique des diagrammes UML décrivant la dynamique, - la vérification et mise en oeuvre de systèmes à événements discrets, - la spécification de contraintes floues, - la spécification et vérification de contraintes temporelles quantitatives imprécises et floues.

Item Type:HDR
Uncontrolled Keywords:
Institution: Université de Toulouse > Université de Toulouse I-Sciences Sociales - UT1
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Département Traitement de l'Information et Modélisation - DTIM (Toulouse, France) - Modélisation et Ingénierie des Systèmes - MOIS
Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Automatique, Dynamique et Interface des Systèmes - ADIS
Statistics:download
Deposited By: janette cardoso
Deposited On:21 Jan 2009 17:09

Repository Staff Only: item control page