Enrolment options

Please note! Course description is confirmed for two academic years, which means that in general, e.g. Learning outcomes, assessment methods and key content stays unchanged. However, via course syllabus, it is possible to specify or change the course execution in each realization of the course, such as how the contact sessions are organized, assessment methods weighted or materials used.

LEARNING OUTCOMES

After completing the course, a student will understand: benefits of formal methods application for automation systems analysis and synthesis; correctness of system's behaviour, compliance with performance and safety requirements; formal modelling of cyber-physical systems, including code-based model generation; formal synthesis of discrete event systems.

Credits: 5

Schedule: 26.02.2025 - 30.05.2025

Teacher in charge (valid for whole curriculum period):

Teacher in charge (applies in this implementation): Valeriy Vyatkin, Nikolaos Papakonstantinou, Polina Ovsiannikova

Contact information for the course (applies in this implementation):

CEFR level (valid for whole curriculum period):

Language of instruction and studies (applies in this implementation):

Teaching language: English. Languages of study attainment: English

CONTENT, ASSESSMENT AND WORKLOAD

Content
  • valid for whole curriculum period:

    The students will acquire theoretical background and practical experience of formal methods application for validation and synthesis of hardware, software and reactive embedded systems

Assessment Methods and Criteria
  • valid for whole curriculum period:

    The course is problem solving driven. The students will receive necessary knowledge for the problem solution via lectures and reading. The students will acquire practical skills of software tools during lab exercises. Exam.

Workload
  • valid for whole curriculum period:

    Lectures. Reading. Individual problem solving. Laboratory sessions in small groups. Team work. Tutorials and other supervised activity in PC classroom, including audits. Report preparation and final audit. Reflection.

DETAILS

Study Material
  • valid for whole curriculum period:

    Slides and handouts

Substitutes for Courses
Prerequisites
SDG: Sustainable Development Goals

    6 Clean Water and Sanitation

    7 Affordable and Clean Energy

    9 Industry, Innovation and Infrastructure

    13 Climate Action

FURTHER INFORMATION

Further Information
  • valid for whole curriculum period:

    Teaching Language: English

    Teaching Period: 2024-2025 Spring IV - V
    2025-2026 Spring IV - V

Guests cannot access this workspace. Please log in.