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: 01.03.2023 - 02.06.2023

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 10. Reading 5. Individual problem solving 40. Laboratory sessions in small groups 5. Team work 20. Tutorials and other supervised activity in PC classroom, including audits 12. Report preparation and final audit 20. Reflection 20.

    Contact hours: 30

    Independent study: 100

DETAILS

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 : 2022-2023 Spring IV - V
    2023-2024 Spring IV - V

    Enrollment :

    Registration for Courses on Sisu (sisu.aalto.fi).