====== Performance Analysis and Simulation ====== ---- ===== News ===== * **30/09/2019** A [[http://classroom.google.com|classroom]] is available. Please, login with your UniCam credentials and register for the course with code 870ezw. This classroom will be used to distribute course material and to interact with students (a short tutorial is available [[([[https://support.google.com/edu/classroom/answer/6020297?co=GENIE.Platform%3DDesktop&hl=en|help]])|here]]). * **19/09/2019** The page is online. ---- ===== General Information ===== **Teacher**: * Michele Loreti **ESSE3 Link** *[[https://didattica.unicam.it/Guide/PaginaADContest.do?ad_cont_id=10025*9999*2020*2016*9999&ANNO_ACCADEMICO=2019&ANNO_COORTE=2019&ANNO_REVISIONE=2019|Esse3]] **Classroom**: 870ezw ([[https://support.google.com/edu/classroom/answer/6020297?co=GENIE.Platform%3DDesktop&hl=en|help]]) **Lessons schedule**: * Tuesday, 4.00 p.m. - 6 p.m. (Room LA1) * Thursday, 4.00 p.m. - 6 p.m. (Room LB1) /* **Referenfes**: * [[https://www.ic.unicamp.br/~wainer/cursos/1s2013/ml/livro.pdf|All of Statistics]] * [[https://drive.google.com/open?id=1f3gyaHLBv_xr1_5if7wX7ANt4L150-op|On hypothesis testing for statistical model checking]] **Tools**: * [[http://www.dcs.ed.ac.uk/pepa/tools/|PEPA]] * [[https://repast.github.io|The Repast Suite]] * [[http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/biopepa.html|Bio-PEPA]] * [[https://github.com/quasylab/sibilla|Sibilla]] */ ---- ===== Course Objectives ===== In the course various aspects of computer-aided modelling for performance evaluation of (stochastic) dynamic systems will be introduced. The emphasis is on stochastic modelling of computer systems and communication networks; however other dynamic systems such as Collective Adaptive Systems and Cyber Physical Systems will also be considered. Different tools and techniques will be introduced to predict (or monitoring) system performance at the different stages of development. ---- ===== Course Contents ===== - Modelling and Simulation - Operational Laws - Constructing and Solving Markov Processes - More Complex Markov Processes - Population Models - Specification languages: Stochastic process Algebras - Simulation Models: Introduction and Motivation - Random Variables and Simulation - Statistical Analysis of Systems - Property specification - Scalable analysis techniques - Monitoring and Runtime Verification ---- ===== Study Material ===== /* **Course Slides** * {{ :didattica:magistrale:atse:ay_1819:01slides_v2.pdf | Slides 01: Introduction and Basic Principles of Performance Modelling.}} * {{ :didattica:magistrale:atse:ay_1819:02slides_v2.pdf | Slides 02: Operational Laws.}} * {{ :didattica:magistrale:atse:ay_1819:03slides.pdf | Slides 03: Markov Chains. }} * Slides 04: Transient Analysis of CTMC. ([[http://www.prismmodelchecker.org/lectures/pmc/08-ctmcs.pdf|CTMC 1]],[[http://www.prismmodelchecker.org/lectures/pmc/09-ctmcs.pdf|CTMC 2]]) * {{ :didattica:magistrale:atse:ay_1819:05slides.pdf |Slides 05: Population Models.}} * {{ :didattica:magistrale:atse:ay_1819:06slides.pdf |Slides 06: PEPA. }} * {{ :didattica:magistrale:atse:ay_1819:07slides.pdf |Slides 07: Simulation. }} * {{ :didattica:magistrale:atse:ay_1819:08slides.pdf |Slides 08: Statistics. }} * {{ :didattica:magistrale:atse:ay_1819:09slides.pdf |Slides 09: Statistical Inference. }} * {{ :didattica:magistrale:atse:ay_1819:10slides.pdf |Slides 10: Statistical Transient Analysis. }} * {{ :didattica:magistrale:atse:ay_1819:11slides.pdf |Slides 11: Sibilla, a framework for agent simulation and analysis. }} */ **Lectures** * Lecture 1, 8/10/2019 * Lecture 2, 10/10/2019 * Lecture 3, 15/10/2019 * Lecture 4, 17/10/2019 * Lecture 5, 22/10/2019 * Lecture 6, 24/10/2019 * Lecture 7, 29/10/2019 * Lecture 8, 31/10/2019 * Lecture 9, 5/11/2019 * Lecture 10, 7/11/2019 * Lecture 11, 12/11/2019 * Lecture 12, 14/11/2019 * Lecture 13, 19/11/2019 * Lecture 14, 21/11/2019 * Lecture 15, 26/11/2019 * Lecture 16, 28/11/2019 * Lecture 17, 3/12/2019 * Lecture 18, 5/12/2019 * Lecture 19, 10/12/2019 * Lecture 20, 12/12/2019 * Lecture 21, 17/12/2019 ---- ===== Exams ===== **Exam Dates** * The date is defined with the teacher. /* **Exam rules**: Each student selects **one** of the following topics and produces a short report (between 5 and 10 pages) that will be discussed at the exam: * Use either [[https://github.com/quasylab/sibilla|Sibilla]] or one of the tools listed above to model a scenario. Examples of possible scenarios are: * [[https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology|Epidemic Model]] * [[http://www.prismmodelchecker.org/casestudies/virus.phpVirus|Diffusion Model]] * [[https://en.wikipedia.org/wiki/Lotka–Volterra_equations|Predator-Prey Model]] * [[http://www.prismmodelchecker.org/casestudies/asynchronous_leader.php|Asynchronous Leader Election]] * [[http://www.prismmodelchecker.org/casestudies/crowds.php|Crowds protocol]] * [[http://www.prismmodelchecker.org/casestudies/stable_matching.php|Stable matching]] * ... * Study one of the following topics: * {{ :didattica:magistrale:atse:ay_1718:10.1007_s10009-014-0350-1.pdf |Statistical Model Checking}} (study the methods that was not considered in the lectures) * [[https://arxiv.org/abs/1506.08234|Robust Online Monitoring of Signal Temporal Logic]] * [[https://www.sciencedirect.com/science/article/pii/S0304397515002224?via%3Dihub| System design of stochastic models using robustness of temporal properties]] * [[https://www.sciencedirect.com/science/article/pii/S0890540116000055?via%3Dihub| Smoothed model checking ]] (A technique for parameter optimisation) * [[https://www.sciencedirect.com/science/article/pii/S0166531613000023?via%3Dihub| Continuous approximation of stochastic models]] * A student can suggest a topic of her/his interest. */