Download our brochure

Home // Studies // FSTM // Master in In... // Profiles // Profile: Reliable Software Systems

Master in Information and Computer Sciences

Profile: Reliable Software Systems

Learning Outcomes

After successful completion of this profile the student will be able to

  • Apply development methods for engineering dependable systems
  • Perform a model-driven design of a system to ensure dependability and other quality factors
  • Use existing frameworks for dependable system development
  • Evaluate software development methods


For detailed course information please refer to the Programme section.

Semester 2

  • Required Courses:
    • Formal Methods
  • Related Courses:
    • Big Data Analytics
    • Introduction to Static Program Analysis
    • Software Vulnerabilities: Exploitation and Mitigation

Semester 3

  • Required Courses:
    • Model-Driven Software Development
    • Software Engineering Environments
    • Testing and Validation
  • Related Courses:
    • Autonomous Robot Software
    • Empirical Software Engineering
    • Fault and Intrusion Tolerance