The course for autumn 2001 will be lectured under the code T-79.231
NEW: The exam for the course Tik-79.231 Parallel and Digital Systems will be held 9 May 2001 at 13-16 at the hall T2 or T1 (further information about the place will be given). The exam will thus be at the same time and in the same place as the exam for the finnish course Tik-79.179. The exam papers will be available in english and in finnish. One more time: There will be _no_ exam for the course Tik-79.231 in 8 May because the exam has been moved to 9 May.
NEW: Exam results, Jan 10, 2001.
NEW: Exam results, Dec 11, 2000.
NEW: Final results for homeworks.
NEW: The next exam will be on Wednesday, Jan 10th 2001, at 9:00-12:00, in the lecture hall T1.
NEW: Demonstration of homeworks on Friday December the 8th at 8.30 in lecture hall T3 (same place where the tutorials were held). I will give information about the correct answers (no model answers will be given, though) and the grading of homeworks.
NEW: The exam is on Dec 11, 2000, at 9:00-12:00 hrs, in the lecture hall T1. The other exams are in January, May, and September.
NEW: What to read for the exam (see below).
NEW: Assistance for homeworks in two wednesdays (22nd nov. and 29th nov.) at 14.15-16.00 in room B345 (near the return box for the home assignments). Note also that the tutorials have ended.
This course is the English version of Tik-79.179 Rinnakkaiset ja hajautetut digitaaliset järjestelmät (3 ov), which will be held in the spring term, 2001. Please note that the courses are similar, if not equal, in content.
Tämä on englanninkielinen versio kurssista Tik-79.179, joka opetusohjelman vastaisesti pidetään vasta kevätlukukaudella 2001. Voit osallistua valintasi mukaan joko englannin- tai suomenkieliseen kurssiin.
Concurrent and distributed systems play a significant role in the implementation of computer based applications. E.g. the Internet, telecommunications protocols, client/server systems, embedded systems, and process control are application domains where an understanding of concurrent or distributed systems and their underlying phenomena are needed. Some of the problems encountered are the issues of timing and synchronization; when solving these problems we benefit from a rigorous approach, formal methods, and efficient software tools.
The goal of the course is to give the student an introduction to the methods and formalisms used in the modelling and analysis of parallel and distributed systems. The lectures cover the theory and use of Petri nets, foundations of temporal logics, and process algebra. To practise modelling and applications of theory there is tutored practical work (laskuharjoitus) and compulsory homework.
There will be 5 home assignments, each of which is worth 10 points. One of the requirements to pass the course is to accumulate a total of at least 20 points from the home assignments. If you score 20 to 50 points you will gain extra points in the exam, incrementing your course grade with at most 2.
To be more exact, there will be 5 questions in the exam, each of which is worth 6 points, totalling to a maximum score of 30 points in the exam. To pass the course, 9 points are required (this is a must, you need 9 clean exam points to pass the course; the homework bonuses are calculated after that.)
In the above calculation of a student's mark for the course, a bonus is added to the exam total according to the following formula: T = E + (H - 20)/3, where T is the total points from the exam and homework, E is the total of points from the exam, and H is the score from the home assignments.Results
Tutorials are special events held by the assistant whereupon certain problems are worked on to give further enlightenment.
The tutorials and their answers will appear here. However, some of the pictures are not in a computer readable form so they will be missing