Materials
The study material are available on the Moodle page of the course.
Slides presented in 2020 are among the attached files.
Design process (Balázs Scherer):
- VIMIMA11_DAI_01 Introduction
- VIMIMA11_DAI_02 Configuration Management
-
VIMIMA11_DAI_03-04 Development lifecycle models
-
VIMIMA11_DAI_05 Software design
-
VIMIMA11_DAI_06-07 Testing
Safety-critical systems (István Majzik):
-
VIMIMA11_DAI_08 Safety basics
-
VIMIMA11_DAI_09-10 Safety architectures
-
VIMIMA11_DAI_11 Hazard analysis
-
VIMIMA11_DAI_12 Dependability analysis
-
VIMIMA11_DAI_13 Formal modelling and verification
.
Attached files:
Submitted by Majzik István on 2017. August 25. 10:27 | Last updated: 2022. September 2. 10:32