Master of Science in High Integrity Systems (HIS)
A practice-oriented Master's programme focused on the development and verification of safety-critical computer systems.
Best for:Best for students with a background in computer science seeking expertise in safety-critical software and system verification.
Overview
The High Integrity Systems (HIS) Master's programme at Frankfurt University of Applied Sciences is a four-semester course designed to equip students with advanced skills in safety-critical computing. The curriculum covers a broad spectrum of topics, including formal modelling, IT security, real-time systems, and machine learning. Students engage in both theoretical coursework and applied research, culminating in a Master's thesis in the final semester. The programme is taught entirely in English and emphasizes practical application to prepare graduates for professional roles in the global technology sector.
What you'll do
- Complete coursework in safety-critical computer systems and advanced formal modelling.
- Participate in laboratory sessions and practical projects related to system architecture.
- Engage in data analysis and mining tasks using modern computational tools.
- Conduct applied research for the final Master's thesis.
- Collaborate with peers on projects involving distributed systems and smart sensor networks.
Requirements
Degree required: Bachelor's degree in Computer Science or a closely related field.
Degree offered: Master of Science
Language: English; B2 level (e.g., IELTS Academic 5.5).
Instruction: English
- Proficiency in English at B2 level or higher.
- Foundational knowledge in computer science and software development.
- Ability to engage with complex mathematical and formal modelling concepts.
- Must meet the university's specific academic admission requirements for the Master's programme.
Funding & terms
Programme and admissions
Admissions not verified
A catalogue listing does not mean applications are open or funding is guaranteed. Check the source for your intake.
- Intake
- Not confirmed by the source
- Duration
- Not confirmed by the source
- Teaching language
- Not confirmed by the source
- Taught / research mode
- Not confirmed by the source
- Study mode
- Not confirmed by the source
- Campus
- Not confirmed by the source
- Prerequisites
- Not confirmed by the source
- Application instructions
- Not confirmed by the source
- Tuition
- Not confirmed by the source
- Funding
- Not confirmed by the source
How to apply
Applications must be submitted through the uni-assist portal. Prospective students should review the specific academic requirements on the university's course website before applying.
- Academic transcripts
- English language proficiency certificate
- Degree certificates
Contact
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.