Scientific direction Development of key enabling technologies
Transfer of knowledge to industry

PhD : selection by topics

Extended Language for Real Time Systems Monitoring

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



The Phd Thesis is related to the ARTiMon monitoring tool developed in our Laboratory. The actual version of ARTiMon accepts a temporized linear time temporal logic for the specification of system requirements. The goal of the thesis is to study and implement language extensions and particularly we would like to specify probabilistic properties and have probabilistic verdicts. Other extensions could be explored, like fuzzy logic, regular expressions, automata, and analysis in the frequential domain in order to obtain a rather universal specification language.

Voir toutes nos offres