Kursusbasen

Kursusoversigt

Kursusbeskrivelse

Kursusnavn (dansk):	Critical Systems Project
Kursusnavn (engelsk):	Critical Systems Project
Semester:	Efterår 2015
Udbydes under:	cand.it., softwareudvikling og -teknologi (sdt)
Omfang i ECTS:	7,50
Kursussprog:	Engelsk
Kursushjemmeside:	https://learnit.itu.dk
Min. antal deltagere:	1
Forventet antal deltagere:	0
Maks. antal deltagere:	40
Formelle forudsætninger:	System architecture and Security (Course), Discrete Mathematics and Distributed Systems in Java
Læringsmål:	After the project the student should be able to survey or apply one or more techniques and concepts covered in the Critical Systems Seminar on a practical or theoretical case of production of software for critical systems . The techniques and concepts are recalled in the content section below. If an automated tool is selected as topic, the student must in particular be able to apply and demonstrate the use of the tool, and to explain the strengths and weaknesses of the tool. If a theoretical method/technology is applied, the student must be able to work out a written example and explain it and its theoretical underpinnings. If a survey is chosen, the student should be able to explain and compare at least two research papers on the techniques and concepts chosen for the survey, of which one is part and one is not part of the curriculum of the Critical Systems Seminar.
Fagligt indhold:	Please note, that due to technical challenges, changes may occur before the start of the semester (week 35) – this applies to all sections of the course description. The overall aim of the project is to let the student apply one or more techniques and concepts covered in the critical systems seminar on a practical or theoretical case of production of software for critical systems. Concretely, the topics could be to survey and/or apply: • technologies for formally modelling and designing reliable and secure critical systems • Use of compliance rules and/or current industrial standards, and specification of rules informally and formally • Principles of formal verification (model-checking) and code scanning • Principles of behavioural types and their application for robust and reliable implementation of complex distributed systems • Principles of automated testing and integration and tools for continuous delivery • Socio-technical aspects of critical systems This project should prepare you to write a MSc thesis preparing you to take software developer and software/enterprise architect jobs in software houses and consultancies taking part in development of distributed, service-oriented and process-aware information systems for which correctness and security plays a critical role (such as electronic patient records and other healthcare software, financial software, e-voting, administrative systems, embedded software in safety-critical devices such transportation etc), as well as it serves as a potential entry point to research in model-based design, process-aware information systems, formal methods, programming, logic and semantics. The project will be supervised by lectures at ITU working in the area of critical systems closely connected to the Critical Systems strategy area at ITU.
Læringsaktiviteter:	The project runs intensively two days a week from week 43.
Obligatoriske aktivititer:	Hand in of project description.
Eksamensform og -beskrivelse:	X. experimental examination form (7-scale; external exam) Hand-in of project report. Duration of oral exam: At the exam the group first gives a 10 minutes presentation of the report. After this, each student is examined individually for 10 minutes.
Litteratur udover forskningsartikler:	TBD