MSc in Computer Science and Engineering
The following description of the study line is for students admitted by September 2008 or later
Study Line: Reliable Software Systems
IT systems form the infrastructure of society. There is a push towards making services available only via the web, sometimes not even offering human interaction. This puts strong demands on the ability to conceive, design and implement useful IT systems quickly and reliably. These systems must be designed around sound security concerns right from the start. Ensuring the confidentiality of banking or health data and maintaining the integrity of essential documents are vital to protect against a "big brother" society or one that can be brought to a stand-still by "denial of service" attacks.
- Consult the study handbook and the course base for more information on courses, grades and deadlines.
- Contact the director of studies, associate professor Jørgen Villadsen, DTU Informatics, in case of questions regarding the program.
- It is not mandatory to follow a study line and there is no registration in advance for a study line but the director of studies must be notified before the thesis is handed in.
- It is only possible to obtain a diploma supplement for a single study line even if more than one study line has been followed.
The Flag Model
Study Line Requirements
One of the following two general competences courses is mandatory (only one can count as general competences course):
42435 Knowledge-Based Entrepreneurship (5 ECTS)
42490 Technology, Economics, Management and Organization (10 ECTS)
The course 02243 Access Control and Distributed Systems can count as general competences course if taken in January 2010 or earlier.
The student must obtain at least 17.5 ECTS points among the following general competences courses:
02220 Distributed Systems (7.5 ECTS)
02221 Principles of Distributed Systems (5 ECTS) - Terminated
02223 Fundamentals of Modern Embedded Systems (7.5 ECTS)
02242 Program Analysis (7.5 ECTS)
02291 System Integration (5 ECTS)
Furthermore if taken in January 2010 or earlier the course 02243 can wholly or partly count towards these 17.5 ECTS points instead of counting towards the 12.5 ECTS points listed below as technological specialization courses for the study line.
The student must supplement with the following courses such that the general competences courses comprise 30 ECTS points altogether:
02205 Principles of System-on-Chip Design (5 ECTS)
02206 Design of Integrated Circuits (7.5 ECTS) - Terminated
02207 Advanced Digital Design Techniques (5 ECTS) - Terminated
02222 Distributed Systems (10 ECTS) - Terminated
02239 Data Security (7.5 ECTS)
02249 Computationally Hard Problems (7.5 ECTS)
02285 Artificial Intelligence and Multi-Agent Systems (7.5 ECTS)
The student must obtain at least 12.5 ECTS points among the following technological specialization courses:
02232 Applied Cryptography (5 ECTS) - Terminated
02241 Robust Software Systems (5 ECTS)
02243 Access Control and Distributed Systems (5 ECTS)
02244 Language-Based Security (7.5 ECTS)
02246 Model Checking (7.5 ECTS)
The student must supplement with the following courses such that the technological specialization courses comprise 30 ECTS points altogether:
02204 Design of Asynchronous Circuits (5 ECTS)
02205 Principles of System-on-Chip Design (5 ECTS)
02206 Design of Integrated Circuits (7.5 ECTS) - Terminated
02207 Advanced Digital Design Techniques (5 ECTS) - Terminated
02208 Test of Digital Systems (7.5 ECTS)
02211 Advanced Computer Architecture (5 ECTS)
02217 Design of Arithmetic Processors (5 ECTS)
02220 Distributed Systems (7.5 ECTS)
02221 Principles of Distributed Systems (5 ECTS) - Terminated
02222 Distributed Systems (10 ECTS) - Terminated
02223 Fundamentals of Modern Embedded Systems (7.5 ECTS)
02224 Real-Time Systems (5 ECTS)
02225 Real-Time Systems (7.5 ECTS) - Terminated
02228 Safety-Critical Embedded Systems (7.5 ECTS)
02231 Advanced Modelling and Analysis of Embedded Systems (5 ECTS)
02233 Network Security (5 ECTS)
02234 Current Topics in System Security (5 ECTS)
02238 Biometric Systems (5 ECTS)
02239 Data Security (7.5 ECTS)
02242 Program Analysis (7.5 ECTS)
02249 Computationally Hard Problems (7.5 ECTS)
02261 Usability Engineering (5 ECTS) - Terminated
02263 Formal Aspects of Software Engineering (5 ECTS)
02264 Requirements Engineering (10 ECTS)
02265 Advanced Topics in Software Engineering (5 ECTS)
02266 User Experience Engineering (5 ECTS)
02267 Software Development of Web Services (5 ECTS)
02281 Data Logic (5 ECTS)
02283 Algorithms for Massive Data Sets (5 ECTS)
02284 Knowledge-Based Systems (5 ECTS)
02285 Artificial Intelligence and Multi-Agent Systems (7.5 ECTS)
02286 Logic in Computer Science, Artificial Intelligence and Multi-Agent Systems (7.5 ECTS)
02291 System Integration (5 ECTS)
The general competences courses and technological specialization courses overlap (for such courses the ECTS points can be split but they can count only once).
The master thesis must count 30, 35, 40, 45 or 50 ECTS points and the subject of the thesis must be approved by the director of studies for the program.
Finally the student must have passed a sufficient number of electives to bring the total number of ECTS points up to 120 for the entire program (information about electives can be found in the study handbook).