Verimag

Détails sur le séminaire

salle A. Turing CE4
24 janvier 2013 - 15h30
Seminaire doctorant
par Ayoub Nouri de Verimag



Résumé : Towards an Integrated Approach for Performance Evaluation of Embedded Systems : Statistical Model Checking and Learning-based Abstraction.

We are trying in this work to combine Statistical Model Checking with abstraction based on Learning techniques to make the former technique more scalable. In the same time we are doing code generation targeting multicolor platforms to be able to get real metrics from physical platform or accurate simulators to make the models to be checked more faithful. Our main interest is to use this integrated approach for embedded systems performance evaluation purposes.




Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 875097