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: 28.02.2024 - 31.05.2024
Teacher in charge (valid for whole curriculum period):
Teacher in charge (applies in this implementation): Valeriy Vyatkin
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
valid for whole curriculum period:
Prerequisites
valid for whole curriculum period:
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 - VEnrollment :
Registration for Courses on Sisu (sisu.aalto.fi).