法兰克福应用科学大学 –高完整性系统
Frankfurt University of Applied Sciences：High Integrity Systems (HIS)
学位：理学硕士
课程语言：英语
开学时间：冬季入学(十月) 夏季入学(三月)
课程时程：4学期
申请截止日期：申请冬季入学截止于10月15日;申请夏季入学截止于4月15日。
课程介绍：
第一学年：
主要课程：安全关键计算机系统，高级形式化建模，数据分析介绍，实时系统，数据库管理系统的实施(DBMS)，模式化软件体系结构
选修课程I：分布式系统或数据挖掘，高级IT安全性，高级测试手段，形式规范和验证，系统理论与模型，事务管理
第二学年：多变量数据分析
选修课程II：标准与认证，高完整性系统当前主题，
选修课程III：人机界面，安全关键系统设计，智能传感器网络系统，模拟方法，高完整性系统项目
毕业论文
