Laboratory of Computer Science 2
In-depth understanding of the principles and theoretical background of formal methods application to system design and illustrations and problem solving in pattern recognition domain. Ability to design and conduct analytic, modeling, simulation and experimental investigation. Ability to design solutions to problems that are unfamiliar, incompletely defined, and have competing specifications. Ability to formulate the problem and critically evaluate the solution. Practical experience with design, implementation, and deployment of information and communication systems.
- match theoretical foundations of formal design methods with practical procedures.
- distinguish available tools for formal methods application to system design.
- apply tools for system formal verification.
- analyze and classify results obtained by the application of tools for formal system verification.
- modify the system structure in order to satisfy the desired feature.
- assess the quality of realization based on th results of laboratory procedures.
Forms of Teaching
In depth exposition of target systems related to laboratory practice.Exams
Exams on laboratory pactices (5).Laboratory Work
Checking of correctness in mutual exclusion algorithms for accesing shared computer resources.Programming Exercises
Programming in VIS and NuSMV environments.
|Type||Threshold||Percent of Grade||Threshold||Percent of Grade|
|Laboratory Exercises||0 %||50 %||0 %||50 %|
|Homeworks||0 %||30 %||0 %||30 %|
|Mid Term Exam: Written||0 %||10 %||0 %|
|Final Exam: Written||0 %||10 %|
|Exam: Written||0 %||20 %|
Laboratory practicals are based on theoretical courses: 1) Formal methods in system design and 2) Advanced operating systems.
Week by Week Schedule
- Administration and organization of laboratory practices.
- Laboratory practice A1, Hardware verification (e.g. multiple request arbiter)
- Lab A1 exam.
- Laboratory practice A2, Formal verification of critical operating systems synchronization and communication protocols.
- Lab A2 exam.
- Laboratory practice A3: Formal verification of communication protocols in distributed systems.
- Lab A3 exam.
- Laroratory practice B1: Symmetric cryptosystems. Advanced Encryption Standard (AES).
- Laboratory practice B1: Block cipher modes of operation (ECB, CBC, CFB, OFB, CTR).
- Lab B1 exam.
- Laboratory practice B2: Asymmetric cryptosystems (RSA).
- Laboratory practice B2: Hash functions (SHA).
- Laboratory practice B2: Digital signature.
- Laboratory practice B2: Sealed digital envelope.
- Lab B2 exam.