Information Systems Analysis (laboratories)

for students of computer studies (2 year, master).
kod kursu: INEA12103L

Laboratories of Information Systems Analysis is: modeling, simulation and verification of communication and transportation systems, using Petri Nets, temporal logic and timed automata.

The course is divided into 3 5-periods parts:

  1. Petri Nets.
  2. Queueing models (not mine part).
  3. Temporal Logic and Timed Automata.

The exercises of the 1st and 3rd part are to be done by students in 2-persons teams.

Agenda

Petri Nets

  • laboratories 1 (exercises): Construction and behavioral analysis of Petri nets. Deadline for the report: laboratories 2.
  • laboratories 2 (exercises): Construction of Petri nets with inhibitor arcs (part 1). Deadline for the report: laboratories 3.
  • laboratories 3 (exercises): Construction of Petri nets with inhibitor arcs (part 2). Deadline for the report: laboratories 4.
  • laboratories 4 (exercises): Construction of Petri nets with special features. Deadline for the report: laboratories 5.
  • laboratories 5 (exercises): Construction of Petri nets with timed arcs. Deadline for the report: in a week, thourgh the e-mail.

Temporal Logic and Timed Automata

  • laboratories 11 (exercises): Construction of simple UPPAAL automata. Deadline for the report: laboratories 12.
  • laboratories 12 (exercises): Construction and verification of
    synchronized timed UPPAAL automata (part 1). Deadline for the report: laboratories 13.
  • laboratories 13 (exercises):Construction and verification of
    synchronized timed UPPAAL automata (part 2). Deadline for the report: laboratories 14.
  • laboratories 14 (exercises): Construction and verification of synchronized NuSMV automata. Deadline for the report: laboratories 15.
  • laboratories 15 (exercises): Construction and verification of NuSMV automata for analysis of a program. Deadline for the report: the last day before the session starts.

How to install and use the NuSMV on Linux (Ubuntu)

Tools

Useful sites

Reports

Reports must be printed or written on paper. Please, give your name, surname and student ID number in the upper left corner of the 1st page. Do not staple the sheets, use a paper clip instead.

A report must contain results of all exercises given in a laboratory instruction.

Correction of a report, that was low graded, is not mandatory. Yet, it is possible within one week.

Grades

Partial and final grades

Students get grades for every final verions of their report. These are partial grades. A partial grade depands on points got for exercises (you can get up to 10 pts for every laboratories): grade = pts/2.

The final grade for the 1st part is the mean value of all reports thereof.

The final grade for the 3st part is the mean value of all reports thereof.

The final grade is the mean value of final grades from all the 3 parts.

Comments are closed.