Seminar details
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.
