The course provides introduction to basic concepts and techniques of design and modeling of dependable and cyber-physical systems. The course covers: basic dependability concepts, software processes for development of dependable systems (V-model, etc.), model-driven software design and development, and architectural description languages for SW/HW (SysML, etc.).
All materials (slides, assignments, videos) will be available on Teams too
Once you register to the course, you should be automatically subscribed to the respective Teams group. If you have problems seeing the course in Teams, please contact the lecturer
Exam and credits
- Credit will be awarded based on attendance, completion of homeworks and active participation at the course.
- Students will be split to groups and several small homeworks will be given throughout the course. Students are expected to work on these homeworks in their group and present and discuss the results at the lecture following the assignment.
- If students cannot attend the lecture, they should discuss with the lecturer an alternative way to present their homework.
- Attendance at at least 80% of meetings.