Seminar details


salle A. Turing CE4

24 January 2013 - 15h30
Seminaire doctorant
by Ayoub Nouri from 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 | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4093345