CloseHelpPrint
Kies de Nederlandse taal
Course module: 201200006
201200006
Quantitative Evaluation of Embedded Systems
Course info
Course module201200006
Credits (ECTS)5
Course typeCourse
Language of instructionEnglish
Contact persondr. A.K.I. Remke
E-maila.k.i.remke@utwente.nl
Lecturer(s)
Contactperson for the course
dr. A.K.I. Remke
Lecturer
dr. A.K.I. Remke
Academic year2016
Starting block
1B
RemarksOude cursuscode = 192130500
Application procedureYou apply via OSIRIS Student
Registration using OSIRISYes
Learning goals
At the end of the course, the student has a good overview over the kind of formalisms that are used when quantitative aspects like time, probability and resource usage play a role in the analysis of system behavior. The student knows how to use two particular examples of such formalisms, namely: dataflow graphs and Markov chains, and knows what their limitations are. In particular, the student has detailed knowledge of the formal semantics of these formalisms, the process equivalences and logics that are involved, and knows how to verify properties of those models through algebraic manipulation, calculation and model-checking. Also, the student has gained experience with the use of several analysis tools for verification and validation of quantitative formal models.
 
During the exam, one handwritten A4 (double-sided) is permitted, containing any information the student deems relevant to the course, as well as the use of a simple calculator.
 
Content
·  1 introductory class, giving an overview of the course (Anne Remke (UT)) 
·  a series of weblectures and 6 classes on Markov chains (Anne Remke (UT)) 
·  a series of weblectures and 4 classroom sessions on dataflow (Pieter Cuijpers (TU/e)) 
·  2 classes on probabilistic systems, with emphasis on applications (Marco Zuniga (TUD))
·  1 class by a guest-speaker reflecting on industrial practice
·  a graded practical assignment, involving amongst others the use of PRISM (for analyzing Markov chains and a combined modeling exercise covering both dataflow and Markovchains.
 
Note that this course heavily relies on web-material. This online material will be extensively used to explain and introduce new topics. Topics introduced in the online material will be exercised in class. It is therefore vital that the students prepare for the classes by viewing the online material first.