Type of control
|
Control form
|
1 year
|
Settings **
|
1
|
2
|
3
|
4
|
Mid-term
(week)
|
Written test
|
8
|
|
|
|
Written test; 80 minutes
|
|
|
|
|
|
Home assignment
|
|
|
|
6
|
Written report; two weeks; minimal size of a report is 5 pages.
|
Intermediate
|
Exam
|
|
*
|
|
|
Written test; 80 minutes
|
Total
|
Exam
|
|
|
|
*
|
5 days for an assesment
|
6.1Knowledge and skills evaluation criteria
Written test, mid-term control (module 1):
Students should demonstrate:
-
understanding of the formalisms and notions, learnt during the first module (communicating finite automata, Petri nets);
-
able to use major algorithms of distributed systems’ analysis (reachability graph construction, coverability graph construction etc);
-
skills of modeling and analysis (reachability graph, coverability graph etc) of distributed and parallel systems via learnt formalisms.
Exam, intermediate control (module 2):
Students should demonstrate:
-
understanding of the basic formalisms and notions learnt in first two modules (communicating finite automata, Petri nets, coloured Petri nets, process algebra CCS);
-
skills of modeling and analysis (reachability graph, coverability graph, S- and T- invariants, traps, siphons, strong/weak bisimulation, etc ) of distributed and parallel systems via learnt formalisms and algorithms.
Home assignment (module 4):
Students should demonstrate:
-
skills to model complex distributed systems via PROMELA modeling language;
-
skills to use SPIN verification system to debug and conduct model checking of models constructed in PROMELA;
-
ability to argument the suggested solution;
-
ability to analyse the suggested solution for advantages and disadvantages;
-
ability to propose further improvements of the solution;
-
ability to find alternative solutions of the given assignment.
Evaluation criteria:
-
correctness of the suggested solution;
-
completeness of the solution (if all of the potential problems with correctness and performance are taken into account);
-
analysis of the suggested solution (recognition of shortages and benefits of the suggested solution; diagnosis of the solution performance bottlenecks, or explanation, why the solution is free of them);
-
argumentation of the suggested solution correctness;
-
suggested alternative solutions and comparison of them with the submitted solution;
-
accuracy of the submitted report.
Evaluations are made in the 10 point system.
During acceptance of a practical or home assignment, students can be given additional questions to check their understanding of the assignment matter. If student is not able to answer or argue about the question, then the mark can be lowered.
An official means of communicating with students is e-mail. Students can ask their questions about assignments and theoretical issues in classrooms, as well as by e-mail.
The home task deals with constructing a formal model and verifying it and can be done individually of in small (2-3 students) groups. Given a concrete distributed system (communication protocol, a system of interacting agents, resource producing/consuming system etc.) student should accomplish the following items:
-
Develop a Petri net model of a given distributed system.
-
Describe the main behavioral properties of the constructed model.
-
Classify the behavioral properties and chose appropriate methods and/or tools for specifying and verifying these properties.
-
Verify the behavior of the constructed system.
The written test is a computer testing assessment based on the topics covered in the course.
6.2Grading system
Students classwork is evaluated via assignments given in a class. Each assignment weighted in points depending on the assignment complexity. Points of an assignment are given in the assignment description. If an assignment is submitted on the same day as it was given, it is accepted with the coefficient 1. If the assignment is submitted at the next class, it is accepted with the coefficient 0.75, and they are considered as self-study. These assignments form grade Оауд+сам i, where i – is a number of the current module.
Evaluation criteria:
-
completeness of the solution (if all of the potential problems with correctness and performance are taken into account);
-
analysis of the suggested solution (recognition of shortages and benefits of the suggested solution; diagnosis of the solution performance bottlenecks, or explanation, why the solution is free of them);
-
argumentation of the suggested solution correctness;
In addition an instructor evaluate proactive attitude of students in a class:
-
proactive attitude of a student in solving offered assignments:
-
suggesting alternative solutions and comparison of them with the submitted solution;
-
demonstrating erudition in the field under study (deeper knowledge, than proposed in the frame of the course).
-
demonstrating erudition in adjacent fields of knowledge;
-
ability to find defect in the submitted solution;
-
ability to freely apply learnt methods and algorithms.
Grade for practical and self-study work are written down in a worksheet. Cumulative grade Оауд+сам i for practical work or self-study is calculated at the end of i-th module before intermediate or final control.
Intermediate grade for module 1:
Ок/р 1 – grade for the exam in module 1;
Отекущий 1 = Ок/р 1;
Онакопленная 1= 0,5 Отекущий 1 + 0,5 Оауд+сам 1
Опромежуточная 1 = Онакопленная 1
Rounding of the cumulative and the intermediate grades is done by “round half up” rule.
Intermediate grade for module 2:
Онакопленная 2= 0,5 Оауд+сам 2 +0,5 Онакопленная 1
Опромежуточная 2 = 0,6·Онакопленная 2 + 0,4·Опромежуточный экзамен
Rounding of the cumulative and the intermediate grades is done by “round half up” rule.
Intermediate grade for module 3:
Онакопленная 3= 0,4 Оауд+сам 3 +0,6 Онакопленная 2
Опромежуточная 3 = Онакопленная 2
Final grade for module 4:
Одз – оценка за домашнее задание в 4 модуле.
Отекущий = Одз;
Онакопленная 4= 0,5* Отекущий + 0,5* Оауд+сам 4
Онакопленная итоговая= (Опромежуточная 2+ Опромежуточная 3+Онакопленная 4):4
Rounding of the cumulative and the final grades is done by “round half up” rule. Опромежуточная 1 is accounted in the final grade as the part of Опромежуточная 2.
Оитоговый экзамен – grade for the final exam of module 4.
Rounding of the final exam grade is done by “round half up” rule.
The overall course grade in a diploma is calculated by the next formula:
Орезульт = 0,6 Онакопленная итоговая + 0,4·Оитоговый экзамен
Rounding of the overall course grade is done by “round half up” rule.
PAY ATTENTION: the grade for the final exam is blocking, i.e. if it is unsatisfactory (0-3 in ten-point scale) then the overall course grade is equal to the grade for the final exam.
Share with your friends: |