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