IT-Universitetet i København
  Tilbage Kursusoversigt
Kursusnavn (dansk):Critical Systems Project 
Kursusnavn (engelsk):Critical Systems Project 
Semester:Efterår 2016 
Udbydes, softwareudvikling og -teknologi (sdt) 
Omfang i ECTS:7,50 
Min. antal deltagere:
Forventet antal deltagere:
Maks. antal deltagere:25 
Formelle forudsætninger:System architecture and Security (Course), Discrete Mathematics and Critical Systems Seminar. 
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:In the project 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.

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 security by design, process-aware information systems, formal methods, programming, logic and semantics. 

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 run-time verification).

The project runs intensively two days a week from week 43. 

Obligatoriske aktivititer:Hand in of project description.

Be aware: The student will receive the grade NA (not attended) at the ordinary exam, if the mandatory activities are not approved and the student will use an exam attempt." 
Eksamensform og -beskrivelse:D1G Aflevering med mundtlig eksamen baseret på projekt i gruppe. Delt ansvar for projekt., (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