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 year2015
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.
inhoud
 *   6 classes on dataflow (Pieter Cuijpers (TU/e))
 *   2 classes on Page Rank (Marco Zuniga (TUD))
 *   8 classes on probabilistic systems, with emphasis on Markov Chains (Anne Remke (UT))
 *   1 class by a guest-speaker reflecting on industrial practice
 *   a practical assignment on the use of SDF3 (dataflow)
 *   a practical assignment on the use of PRISM (probabilistic automata)
 
The practical assignments are graded, and each make up one sixth of the final grade. The final exam thus counts for two thirds.
 
Note that the course heavily relies on web-material. This online material will be used to explain and introduce new topics. The classes will mainly focus on applying the material in the form of exercises. It is therefore vital that the students prepare for the classes by viewing the online material first, instead of the more usual form in which students practice the learned material at home after the class.
Content
Assumed previous knowledge
-
PARTICIPATING STUDY
M-EMSYS
PARTICIPATING STUDY
M-CSC
PARTICIPATING STUDY
M-TEL
PARTICIPATING STUDY
M-EE
Required materials
-
Recommended materials
Literature
Verzameling van artikelen, slides, via Blackboard
Course guide
manual + downloads
Instructional modes
Lecture

Tutorial

Tests
Assignment and written exam

CloseHelpPrint
Kies de Nederlandse taal