SluitenHelpPrint
Switch to English
Cursus: 192135310
192135310
Modeling and Analysis of Concurrent Systems
Cursus informatieRooster
Cursus192135310
Studiepunten (ECTS)5
CursustypeCursus
VoertaalEngels
Contactpersoondr.ir. R. Langerak
E-mailr.langerak@utwente.nl
Docenten
Examinator
dr.ir. R. Langerak
Docent
dr.ir. R. Langerak
Contactpersoon van de cursus
dr.ir. R. Langerak
Collegejaar2021
Aanvangsblok
1A
AanmeldingsprocedureZelf aanmelden via OSIRIS Student
Inschrijven via OSIRISJa
Cursusdoelen
After this course the student is able to autonomously:
•           apply process algebra to model simple concurrent systems
•           study literature where modeling formalisms for concurrent phenomena are introduced
•           solve problems about small examples of concurrent systems, using the studied formalisms
 
Inhoud
The first part of this course introduces a process calculus for the specification of concurrent systems. It is shown how bisimulation and observational equivalence provide powerful analysis tools for such specifications.
The second part of this course studies a stochastic extension of process algebra, and timed automata and UPPAAL. These formalisms are introduced by lectures and research papers.
Each part of the course is assessed by a take-home examination, in which the formalisms have to be applied to small examples.
 
This course is interesting for any student interested in modeling concurrency aspects as encountered in e.g. cyber physical systems, database and information systems, or security protocols.
 
Prerequisites At the beginning of the course the student is expected to:
•           be interested and motivated to work with mathematical formalisms
•           accept the challenge to study new formalisms from research papers
•           be able to deal with mathematical concepts like sets, relations, automata, and induction proofs.
 
Participating study
Master Computer Science
Participating study
Master Embedded Systems
Verplicht materiaal
-
Aanbevolen materiaal
Book
"Communicating and mobile systems: the pi-calculus", by Robin Milner, Cambridge University Press, 1999.
Werkvormen
Hoorcollege

Werkcollege

Toetsen
Take-home examinations

SluitenHelpPrint
Switch to English