Laajuus: 5

Aikataulu: 23.02.2017 - 22.05.2017

Opetusperiodi (voimassa 01.08.2018-31.07.2020): 

IV-V (autumn) 2018 - 2019

IV-V (autumn) 2019 - 2020

Osaamistavoitteet (voimassa 01.08.2018-31.07.2020): 

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.

Sisältö (voimassa 01.08.2018-31.07.2020): 

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

Toteutus, työmuodot ja arvosteluperusteet (voimassa 01.08.2018-31.07.2020): 

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.

Työmäärä toteutustavoittain (voimassa 01.08.2018-31.07.2020): 

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

Oppimateriaali (voimassa 01.08.2018-31.07.2020): 

Slides and handouts

Kurssin kotisivu (voimassa 01.08.2018-31.07.2020): 

https://mycourses.aalto.fi/course/search.php?search=ELEC-E8110

Esitiedot (voimassa 01.08.2018-31.07.2020): 

Required:  Automation 1 and 2 or similar knowledge.  Software development practice. Useful: Discrete mathematics

Arvosteluasteikko (voimassa 01.08.2018-31.07.2020): 

1-5

Lisätietoja (voimassa 01.08.2018-31.07.2020): 

language class 3: English

Opintojakson kuvaus