Direction scientifique
Transfert de connaissances vers l'industrie

Nos Thèses par thème

Language étendu pour le monitoring des systèmes temps-réel

Département Ingénierie Logiciels et Systèmes (LIST)

Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués

01-04-2019

SL-DRT-19-0248

nicolas.rapin@cea.fr

Informatique et logiciels (.pdf)

La thèse est liée à l'outil de monitoring ARTiMon développé dans le laboratoire. Cet outil surveille, pendant l'exécution d'un système, si des invariants issus des spécifications du système restent valides. L'objectif de cet outil est donc de détecter si un système en fonctionnement s'écarte de ses comportements spécifiés. Dans sa version actuelle le langage d'ARTiMon est fortement inspiré des logiques temporelles temporisées. La thèse aura pour but d'explorer des extensions possibles du langage d'entrée d'ARTiMon. Notamment on souhaiterait intégrer des propriétés probabilistes, des éléments de logique floue, des expressions régulières, ou des propriétés dans le domaine fréquentiel. Ces extensions devront être accompagnées de la définition d'algorithmes opérationnels de calcul qui pourront être intégré à l'outil.

Télécharger l'offre (.zip)

Voir toutes nos offres