Model-Based Development for Dependable Systems
Occasions for this course
-
Scope
7.5 credits
Time
2026-03-30 - 2026-06-07 (part time 50%)
Education level
Second cycle
Course type
Programme course
Application code
MDU-14095
Language
English
Study location
Västerås
Course syllabus & literature
See course syllabus and literature list (DVA484)Specific requirements
At least 120 credits of which at least 20 credits in Computer Science and also at least 7.5 credits in Software Engineering or development of avionics systems or development of safety-critical systems or corresponding.
In addition, Swedish B/Swedish 3 and English A/English 6 are required. For courses given entirely in English exemption is made from the requirement in Swedish B/Swedish 3.Selection
University credits
Spring semester 2027
-
Scope
7.5 credits
Time
2027-03-29 - 2027-06-06 (part time 50%)
Education level
Second cycle
Course type
Programme course
Application code
MDU-20157
Language
English
Study location
Västerås
Course syllabus & literature
See course syllabus and literature list (DVA484)Specific requirements
At least 120 credits of which at least 20 credits in Computer Science and also at least 7.5 credits in Software Engineering or development of avionics systems or development of safety-critical systems or corresponding. In addition Swedish course 3 or Swedish level 3 and English course 6 or English level 2 are required. For courses given entirely in English exemption is made from the requirement in Swedish course 3 or Swedish level 3.
Selection
University credits
Questions about the course?
If you have any questions about the course, please contact the Course Coordinator.