Credits	4 cr
Period	24 + 12 (2 + 1) I-II
Objectives	Modern software systems are often implemented as parallel and distributed systems. This can give benefits such as improved performance. However, designing, implementing, and testing such systems involves new challenges not fully addressed by traditional software engineering methods developed for sequential systems. This course will introduce the student to techniques for the development of parallel systems. The main used method is the modelling of parallel and distributed systems. These design models of systems can then be analysed through computer-aided verification methods. The main focus on the course is on modelling methods and practical modelling of parallel and distributed systems. Basics of computer-aided verification methods will also be discussed.
Contents	Modelling of systems. Computer-aided verification of properties.
Prerequisites	T-79.1001/1002, T-79.3001, and the compulsory mathematics studies of the study programme.
Course replacements	Replaces former courses T-79.179 Parallel and distributed digital systems and T-79.231 Parallel and distributed digital systems.
Target audience
Requirements	Exam and home exercises. Note: The exercises should be done individually, no exercise groups/sharing of solutions allowed.
Assessment	Exam and home exercises: at least 50% of points from home exercises to pass, at least 80% of points gives +1 to exam grade.
Literature	Lecture slides and other course materials will be distributed in electronic form through Noppa.
Language of instruction	EN. English.
Course staff	Lecturer: Professor Keijo Heljanko Course Assistant: Tuomas Launianen
Office hours	Please email for an appointment.
Additional information	OLD course homepages can be found through: T-79.4301Parallel and Distributed Systems, Spring 2008.
CEF level