OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Synthèse d’observateurs à partir d’exigences temporelles

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic Synthèse d’observateurs à partir d’exigences temporelles. (2008) Revue des Nouvelles Technologies de l'Information (RNTI) .

[img](Document in French)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
330Kb

Abstract

A contrario des normes UML 2.1 et SysML, le profil UML TURTLE (Timed UML and RT-LOTOS Environment) dispose d’une sémantique formelle et d’une méthodologie. Avec les systèmes temps réel pour cible, cette méthodologie met l’accent sur la vérification formelle du comportement des objets. Le profil TURTLE est doté d’un langage graphique et formalisé d’expression d’exigences temporelles. La contribution de cet article réside dans la présentation d’algorithmes de génération d’observateurs à partir d’exigences temporelles exprimées dans ce langage. Ces observateurs sont destinés à guider la vérification formelle et en particulier à confronter le comportement des objets aux exigences temporelles tout en traçant ces dernières au long de la trajectoire de conception du système en cours d’étude. Un dispositif de charge d’une batterie de véhicule hybride sert d’étude de cas.

Item Type:Article
Additional Information:ISBN 2-85428-824-6
Audience (journal):Special issue journal
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Institut Eurécom (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
Laboratory name:
Statistics:download
Deposited By:Pierre de Saqui-Sannes

Repository Staff Only: item control page