T-79.179 Parallel and Distributed Digital Systems (3 cr)

Spring 2005

The T-79.179 course in Spring 2005 considered Petri nets and process algebras as formalisms that support formal analysis of parallel and distributed digital systems.

Note!

• The course T-79.179 can be replaced by taking the course T-79.4301 Parallel and Distributed Systems.

Lectures and exercise sessions

• The lectures were on Mondays at 17–20 in T2. The first lecture was on January 17. The lectures were in Finnish.
• There were two mutually exclusive exercise groups. The sessions of these two groups were equivalent in content. For the first group, the sessions were in Finnish. For the second group, the sessions were in English.
  • The sessions of the first group, i.e. the exercise sessions in Finnish, were on Wednesdays at 8–10 in T2. The first exercise session in Finnish was on January 19.
  • The sessions of the second group, i.e. the exercise sessions in English, were on Thursdays at 8–10 in T2. The first exercise session in English was on January 20.

Course staff

• Docent, D.Sc. (Tech.) Kimmo Varpaaniemi is the lecturer and the teacher in charge of T-79.179.
• Stud.Tech. Jukka Honkola is the teacher in the exercise sessions on [Rei85].
• Lic.Sc. (Tech.) Misa Keinänen is the teacher in the exercise sessions on [Fok00].

Newsgroup

opinnot.tik.rhj

Requirements for passing the course

In order to pass, a student must pass an exam and every part of a three-part one-person project. The course grade, expressed by using the C programming language, is
(T*U*V*W==0)?0:(int)round(((double)(4*T+U+V+W))/(double)7)
where T, U, V and W are of type int and between 0 and 5, T is the exam grade, and U, V and W are the grades of the parts of the project.

Required textbooks

• [Rei85] Wolfgang Reisig, Petri Nets: An Introduction, Springer 1985, 161 pp., ISBN 0-387-13723-8, or equivalently, ISBN 3-540-13723-8.
• [Fok00] Wan Fokkink, Introduction to Process Algebra, Springer 2000, 163 pp., ISBN 3-540-66579-X.

Handouts (opetusmonisteet)

• The handouts contain
  • the project description (the same as the electronic version in the section "On the project" below),
  • pages 60–72 of [ECSS03] (which is one of the references mentioned in the section "Material for the project" below),
  • Figure 1.1 (The V lifecycle model) of the doctoral dissertation by Simon Burton (Automated Generation of High Integrity Test Suites from Graphical Specifications, Department of Computer Science, University of York, UK, 2002), and
  • the material written by the course staff for the lectures and for the exercise sessions (the same as the electronic material in the section "Programme of the lectures and of the exercise sessions" below).
• The handouts do not cover all of the presented slides. However, each missing slide is a photocopy of some part of some spread in [Rei85] or [Fok00].
• The handouts do not include material mentioned in the section "Material for the project" below, except the above-mentioned pages 60–72 of [ECSS03].

Programme of the lectures and of the exercise sessions

• Abbreviations:
  • FLPS: lecture material in Finnish in PostScript form
  • FLPDF: lecture material in Finnish in PDF form
  • ELPS: lecture material in English in PostScript form
  • ELPDF: lecture material in English in PDF form
  • EQPS: exercise questions in English in PostScript form
  • EQPDF: exercise questions in English in PDF form
  • EAPS: exercise answers in English in PostScript form
  • EAPDF: exercise answers in English in PDF form
• Week 3 (January 17–23): Chapters 1 and 2 in [Rei85]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF, Errata (in ASCII form)
• Week 4 (January 24–30): Chapters 1 and 2 in [Fok00]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 5 (January 31 – February 6): Chapter 3 in [Rei85]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 6 (February 7–13): Chapter 3 in [Fok00]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 7 (February 14–20): Chapter 4 in [Rei85]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 8 (February 21–27): Chapter 4 in [Fok00]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 9 (February 28 – March 6): Chapter 5 in [Rei85]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 10 (March 7–13): Chapter 5 in [Fok00]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 11 (March 14–20): Chapter 6 in [Rei85]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Weeks 12 and 13 (March 21 – April 3, no teaching during the Easter holidays March 24–30): Chapter 6 in [Fok00]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF. In one of the lecture slides, ``The V lifecycle model'' refers to the above-mentioned Figure 1.1 of Burton's doctoral dissertation.
• Week 14 (April 4–10): Chapter 7 in [Rei85]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 15 (April 11–17): Chapter 7 in [Fok00]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 16 (April 18–24): Chapter 8 in [Rei85]. FLPS, FLPDF, EQPS, EQPDF, EAPS, EAPDF
• Week 17 (April 25 – May 1, exercise sessions in TB353, the exercise questions being included in the exercise answer documents): Chapter 9 in [Rei85]. FLPS, FLPDF, EAPS, EAPDF
• Week 18 (May 2–8, no exercise session): Final remarks. ELPS, ELPDF

Exams

• Friday, May 13, 2005, at 13–16 in T1 and/or in K. PostScript, PDF
• Wednesday, August 31, 2005, at 13–16 in T1. PostScript, PDF
• Friday, December 16, 2005, at 9–12 in T1.
• Monday, February 27, 2006, at 17–20 in T1.
• Each examinee is supposed to have read the textbooks [Rei85] and [Fok00] before attending an exam. Any other material in the course is technically redundant with respect to the exams.

Availability of the required textbooks

• HUT Main Library, at least up to the extent expressed by the following excerpt from http://lib.hut.fi/Collections/collections.html: "One copy of required textbooks has been reserved for reading room use. These are available at the loans counter. The copies reserved for reading room use can be borrowed only overnight and over a weekend."
• HUT Library of Computer Science and Engineering, at least up to the extent expressed by the following excerpt from http://www.hut.fi/Yksikot/T-kirjasto/lainaus.htm: "Kurssikirjojen käsikirjastokappaleita annetaan yö- ja viikonloppulainaksi; lainaus alkaa 1 tunti ennen sulkemisaikaa. Yölainat on palautettava lukukauden aikana ja lukukauden ulkopuolella seuraavana aukiolopäivänä 1 tunnin kuluessa kirjaston avaamisesta."
• Some www bookstores sell used copies of [Rei85].
• Unused copies of [Fok00] can be bought from any bookstore that sells academic textbooks.
• Though you might wish a place from which photocopies could be borrowed, please do not assume that the course staff would provide such a place.

On the project

• A detailed description of the project is electronically available as PostScript files ( tttspec.ps + crossing.ps + space.ps) and as PDF files ( tttspec.pdf + crossing.pdf + space.pdf).
• May 9, 2005, was the deadline for each of the three parts.

Material for the project

• [VHHP95] Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo, PROD Reference Manual, Technical Report B13, Digital Systems Laboratory, Helsinki University of Technology, 1995. Anyone reading the report should also have the errata of the report and the up-to-date addendum to the report. The report, the errata and the addendum are electronically available as PostScript files ( HUT-TCS-B13.ps + HUT-TCS-B13-errata.ps + HUT-TCS-B13-changes.ps) and as PDF files ( HUT-TCS-B13.pdf + HUT-TCS-B13-errata.pdf + HUT-TCS-B13-changes.pdf).
• [Wou01] Arno Gerhard Wouters, Manual for the µCRL tool set (version 2.8.2), Report SEN-R0130, Theme SEN2 (Specification and Analysis of Embedded Systems), Cluster SEN (Software Engineering), CWI (Centrum voor Wiskunde en Informatica (The National Research Institute for Mathematics and Computer Science)), Amsterdam, The Netherlands, 2001. The report is electronically available as a PostScript file ( http://homepages.cwi.nl/~mcrl/mcrl_manual.ps) and as a PDF file ( http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0130.pdf).
• [Mäk03] Marko Mäkelä, Maria: Modular Reachability Analyzer for Algebraic System Nets, User's Guide, 2003 or later. The guide is electronically available as a PDF file: one for the version 1.3.4 ( maria-1.3.4.pdf) and another for the development version ( maria-snapshot.pdf).
• [ECSS03] ECSS (European Cooperation for Space Standardization), ECSS-E-50-12A SpaceWire — Links, nodes, routers and networks (24 January 2003), ECSS Secretariat, ESA-ESTEC (European Space Agency / European Space Research and Technology Centre) Requirements & Standards Division, Noordwijk, The Netherlands, 2003. This ECSS Standard is electronically available as a PDF file, but in order to get such a file, you are supposed to go to the page http://www.ecss.nl/forums/ecss/_templates/default.htm?target=http://www.ecss.nl/forums/ecss/dispatch.cgi/standards/docProfile/100203/d20030221102504/No/t100203.htm and follow the instructions there.
• The material for the project can be read independently of the other course material, whereas the course staff should be able to answer questions on whatever is unclear in the project. The newsgroup opinnot.tik.rhj is the most appropriate forum for such questions and answers.

Disclaimer

T-79.179 in the past

Spring 2004, Spring 2003, Spring 2002, Spring 2001, Spring 2000.