SAFETY CRITICAL SOFTWARE

Card image cap
  • DURATION
    20 WEEKS
  • SUBJECT AREA
    Software Engineering
  • COURSE LEVEL
    Second Cycle
  • CREDITS
    6.0 HP
  • INSTITUTION
    Mälardalen University
  • STUDY TYPE
    Distance
  • START DATE
    2024-09-02
  • END DATE
    2025-01-19

COURSE DESCRIPTION

The purpose is to give the students an overview of issues and methods for development and assurance of safety-critical software, including details of selected technologies, methods and tools.

The course includes four modules:

  • Introduction to functional safety; knowledge that give increased understanding of the relationship between Embedded systems / safety-critical system / accidents / complexity / development models (development lifecycle models) / certification / “the safety case”.
  • Analysis and modelling methods; review of analysis and modelling techniques for the development of safety-critical systems.
  • Verification and validation of safety critical software, methods and activities to perform verification and validation.
  • Architectures for safety critical systems. Safety as a design constraint.

 

courses you may also like