Программа дисциплины для направления подготовки магистра для магистерской программы

6.1Knowledge and skills evaluation criteria

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.
  

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.
  

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.
  

• 
  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.
  

• 
  Home assignment:
  

• 
  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.
  

• 
  Written test
  

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.

Directory: data
data -> Iea shcp/pvps working Group on pv/t solar Systems
data -> Jaeyong song
data -> By Fel (aka James Galloway) Table of Contents Chapter 1
data -> Vitaly Goldshteyn
data -> Hurricane Katrina, a climatological Perspective October 2005, Updated August 2006 Introduction
data -> 1997 Atlantic Tropical Storms
data -> Introduction
data -> The Impact of Saharan dust aerosols on tropical cyclones using wrf-chem: Model framework and satellite data constraint technique
data -> Earth-Atmosphere Interactions: Tropical Storm and Hurricane Activity in the Caribbean and Consequent Health Impacts
data -> Meeting Of September 16, 2010 today’s meeting

Download 192.54 Kb.

Share with your friends: