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: 
application/pdf iconVIMIMA11_DAI_01_Introduction_v1.pdf
application/pdf iconVIMIMA11_DAI_02_ConfigurationManagement.pdf
application/pdf iconVIMIMA11_DAI_0304_Development_Lifecycle_models_v2.pdf
application/pdf iconVIMIMA11_DAI_05_Software_design.pdf
application/pdf iconVIMIMA11_DAI_06_07_SoftwareVerification.pdf
application/pdf iconVIMIMA11_DAI_08_Safety_Basics.pdf
application/pdf iconVIMIMA11_DAI_09-10_Safety_Architecture.pdf
application/pdf iconVIMIMA11_DAI_11_Hazard_Analysis.pdf
application/pdf iconVIMIMA11_DAI_12_Dependability_Analysis.pdf
application/pdf iconVIMIMA11_DAI_13_Formal_Modelling_Verification.pdf
Submitted by Majzik István on 2017. August 25. 11:27 | Last updated: 2022. September 2. 11:32
© 2010-2024 BME MIT