NETWORK MODELING DESIGN AND VERIFICATION

par Siham Khoussi

Projet de thèse en Informatique

Sous la direction de Saddek Bensalem et de Abdella Battou.

Thèses en préparation à Grenoble Alpes , dans le cadre de Mathématiques, Sciences et technologies de l'information, Informatique , en partenariat avec VERIMAG (laboratoire) depuis le 01-03-2017 .


  • Résumé

    Application des métodes formelles aux systèmes de réseaux. L'étude de cas considérée initiallement est le NFD (Named Data Networking Forwarding Daemon). En premier lieu, nous allons définir des proprietés non fonctionnelles du système etudie, puis nous allons appliquer le SMC (Statistical Model Checking) pour les vérifier. Les resultats obtenus seront utilisés pour proposer des amelioration au NFD.

  • Titre traduit

    NETWORK MODELING DESIGN AND VERIFICATION


  • Résumé

    Applying formal methods in the context of Networked controlled systems. The considered use case is the NFD (named data networking forwarding daemon). The first step is to define some non functional properties of the system under study and then use SMC (statistical model checking) to verify these properties. After analyzing the results, some design improvements of the forwarder will be proposed.